| Reference : Consistency Conditions for Beliefs and Intentions |
| Scientific congresses, symposiums and conference proceedings : Unpublished conference | |||
| Engineering, computing & technology : Computer science | |||
| http://hdl.handle.net/10993/20198 | |||
| Consistency Conditions for Beliefs and Intentions | |
| English | |
Van Zee, Marc  [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] | |
| Doder, Dragan [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >] | |
| Dastani, Mehdi [] | |
| van der Torre, Leon [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >] | |
| 2015 | |
| Yes | |
| International | |
| the Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning | |
| from | |
| [en] semantics for actions over time | |
| [en] Icard et al. introduce a semantics for actions over
time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief- intention database. First, we show incompleteness of their axiomatization and we adapt their semantics and provide a complete axiomatization for it. Second, we show that Icard et al.’s definition of coherence is too weak, and we define a stronger notion of coherence us- ing our new logic | |
| Researchers ; Professionals ; Students ; General public ; Others | |
| http://hdl.handle.net/10993/20198 | |
| http://www.marcvanzee.nl/publications/2015/commonsense2015_consistency_conditions_for_beliefs_and_intentions.pdf |
| File(s) associated to this reference | ||||||||||||||
|
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.
