Matches in SemOpenAlex for { <https://semopenalex.org/work/W1754920243> ?p ?o ?g. }
- W1754920243 endingPage "872" @default.
- W1754920243 startingPage "867" @default.
- W1754920243 abstract "The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents' choices. An example of this kind of emotions is regret. In order to meet this objective, we exploit the well-known STIT logic [Belnap et al., 2001; Horty, 2001]. STIT logic has been proposed in the domain of formal philosophy in the nineties and, more recently, it has been imported into the field of theoretical computer science where its formal relationships with other logics for multi-agent systems such as ATL and Coalition Logic (CL) have been studied. STIT is a very suitable formalism to reason about choices and capabilities of agents and groups of agents. Unfortunately, the version of STIT with agents and groups has been recently proved to be undecidable. In this work we study a decidable fragment of STIT with agents and groups which is sufficiently expressive for our purpose of formalizing counterfactual emotions." @default.
- W1754920243 created "2016-06-24" @default.
- W1754920243 creator A5037462924 @default.
- W1754920243 creator A5064915259 @default.
- W1754920243 date "2009-07-11" @default.
- W1754920243 modified "2023-09-26" @default.
- W1754920243 title "A logic for reasoning about counterfactual emotions" @default.
- W1754920243 cites W104517667 @default.
- W1754920243 cites W109475704 @default.
- W1754920243 cites W139572677 @default.
- W1754920243 cites W1450949929 @default.
- W1754920243 cites W1485990531 @default.
- W1754920243 cites W1497329491 @default.
- W1754920243 cites W1500679563 @default.
- W1754920243 cites W1503012095 @default.
- W1754920243 cites W1504850170 @default.
- W1754920243 cites W1515861164 @default.
- W1754920243 cites W1525770870 @default.
- W1754920243 cites W1559672525 @default.
- W1754920243 cites W1563470303 @default.
- W1754920243 cites W1581387623 @default.
- W1754920243 cites W1582462312 @default.
- W1754920243 cites W1588072535 @default.
- W1754920243 cites W1591422284 @default.
- W1754920243 cites W1596067335 @default.
- W1754920243 cites W1635582243 @default.
- W1754920243 cites W1636554345 @default.
- W1754920243 cites W1666229076 @default.
- W1754920243 cites W180848323 @default.
- W1754920243 cites W1966797434 @default.
- W1754920243 cites W1967137657 @default.
- W1754920243 cites W1977137834 @default.
- W1754920243 cites W1983202944 @default.
- W1754920243 cites W1984186949 @default.
- W1754920243 cites W1984871604 @default.
- W1754920243 cites W1989001504 @default.
- W1754920243 cites W1990990748 @default.
- W1754920243 cites W1993584577 @default.
- W1754920243 cites W2005563599 @default.
- W1754920243 cites W2019544011 @default.
- W1754920243 cites W2021629288 @default.
- W1754920243 cites W2027446231 @default.
- W1754920243 cites W2034232242 @default.
- W1754920243 cites W2040689732 @default.
- W1754920243 cites W2042863830 @default.
- W1754920243 cites W2047174296 @default.
- W1754920243 cites W2048654653 @default.
- W1754920243 cites W2048838831 @default.
- W1754920243 cites W2048905609 @default.
- W1754920243 cites W2054071520 @default.
- W1754920243 cites W2072964584 @default.
- W1754920243 cites W2073491323 @default.
- W1754920243 cites W2075693168 @default.
- W1754920243 cites W2076073997 @default.
- W1754920243 cites W2085858758 @default.
- W1754920243 cites W2086089338 @default.
- W1754920243 cites W2096453912 @default.
- W1754920243 cites W2096959337 @default.
- W1754920243 cites W2098053732 @default.
- W1754920243 cites W2099504903 @default.
- W1754920243 cites W2101665212 @default.
- W1754920243 cites W2102639289 @default.
- W1754920243 cites W2104046563 @default.
- W1754920243 cites W2104365695 @default.
- W1754920243 cites W2105533871 @default.
- W1754920243 cites W2109058602 @default.
- W1754920243 cites W2109267419 @default.
- W1754920243 cites W2120945046 @default.
- W1754920243 cites W2125480788 @default.
- W1754920243 cites W2135837828 @default.
- W1754920243 cites W2138977506 @default.
- W1754920243 cites W2146031753 @default.
- W1754920243 cites W2147757067 @default.
- W1754920243 cites W2148012831 @default.
- W1754920243 cites W2150167453 @default.
- W1754920243 cites W2154870128 @default.
- W1754920243 cites W2156325353 @default.
- W1754920243 cites W2158419735 @default.
- W1754920243 cites W2159131252 @default.
- W1754920243 cites W2290863464 @default.
- W1754920243 cites W2339343773 @default.
- W1754920243 cites W2399360454 @default.
- W1754920243 cites W2431139695 @default.
- W1754920243 cites W2504013670 @default.
- W1754920243 cites W2504705498 @default.
- W1754920243 cites W2593990962 @default.
- W1754920243 cites W2610670723 @default.
- W1754920243 cites W28264423 @default.
- W1754920243 cites W2900790966 @default.
- W1754920243 cites W354646 @default.
- W1754920243 cites W56147531 @default.
- W1754920243 cites W5642659 @default.
- W1754920243 cites W77325351 @default.
- W1754920243 cites W87027658 @default.
- W1754920243 cites W2270619669 @default.
- W1754920243 hasPublicationYear "2009" @default.
- W1754920243 type Work @default.
- W1754920243 sameAs 1754920243 @default.