528 search results - page 50 / 106 » Epistemic Logic and Planning |
ICAART
2010
INSTICC
13 years 10 months ago
2010
INSTICC
CORR
2009
Springer
13 years 6 months ago
2009
Springer
ATAL
2011
Springer
2011
Springer
Agents that speak: modelling communicative plans and information sources in a logic of announcements
12 years 9 months ago
CL
2000
Springer
14 years 1 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
IJCAI
1997
13 years 10 months ago
1997
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...