1143 search results - page 4 / 229 » Prospective Logic Agents |
156
click to vote
FLAIRS
1998
15 years 7 months ago
1998
Epistemic and doxastic modal logics (Hintikka [1962]), and the logics of theory change and belief revision (Alchourr6net. al. [1985], Giirdenfors [1988]) are used for the represen...
110
Voted
AAAI
2007
15 years 8 months ago
2007
193
click to vote
TIME
2007
IEEE
16 years 6 days ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
161
click to vote
INTENV
2010
15 years 22 days ago
2010
We explore a coherent combination of two jointly implemented logic programming based systems, namely those of Evolution Prospection and Intention Recognition, to address a number o...
