528 search results - page 50 / 106 » Epistemic Logic and Planning |
ICAART
2010
INSTICC
15 years 29 days ago
2010
INSTICC
CORR
2009
Springer
14 years 9 months ago
2009
Springer
ATAL
2011
Springer
2011
Springer
Agents that speak: modelling communicative plans and information sources in a logic of announcements
13 years 12 months ago
139
click to vote
CL
2000
Springer
15 years 4 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
15 years 1 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...