Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Operational pointer semantics: solution to self-referential puzzles I
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Reasoning about knowledge: an overview
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
On the logic of cooperation and propositional control
Artificial Intelligence
Temporal Action Logic for Question Answering in an Adventure Game
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Mechanisms for automated negotiation in state oriented domains
Journal of Artificial Intelligence Research
Knowledge preconditions for actions and plans
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |