Sciweavers

242 search results - page 32 / 49
» Reasoning about Rationality and Beliefs
Sort
View
SCAI
2001
13 years 9 months ago
Meaning and Partiality Revised
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key...
Jørgen Villadsen
ICAIL
2009
ACM
14 years 2 months ago
Modular argumentation for modelling legal doctrines of performance relief
Legal doctrines provide principles, guidelines and rules for dispute resolution in reasoning with cases. To apply legal doctrines, the context of a contract consisting of differe...
Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung
FMSD
2002
114views more  FMSD 2002»
13 years 7 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
KR
1992
Springer
14 years 2 days ago
Conversational Events and Discourse State Change: A Preliminary Report
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...
Massimo Poesio
AAMAS
2005
Springer
13 years 8 months ago
Formalisations of Capabilities for BDI-Agents
Intentional agent systems are increasingly being used in a wide range of complex applications. Capabilities has recently been introduced into some of these systems as a software en...
Lin Padgham, Patrick Lambrix