The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Logic-based artificial intelligence
The logic of totally and partially ordered plans: a deductive database approach
Annals of Mathematics and Artificial Intelligence
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Two components of an action language
Annals of Mathematics and Artificial Intelligence
Relating logic programming theories of actions and partial order planning
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
A Deductive Database Approach to A.I. Planning
Journal of Intelligent Information Systems
The Ramification and Qualification Problems in Temporal Databases
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Meta-knowledge in systems design: panacea … or undelivered promise?
The Knowledge Engineering Review
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
The ramification problem in temporal databases: changing beliefs about the past
Data & Knowledge Engineering - Special issue: WIDM 2004
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Explanation in the situation calculus
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Cp-logic: A language of causal probabilistic events and its relation to logic programming
Theory and Practice of Logic Programming
A tool for addressing the ramification problem in spatial databases: A solution implemented in SQL
Expert Systems with Applications: An International Journal
A tool for ramification reasoning over temporal OWL knowledge bases
International Journal of Knowledge-based and Intelligent Engineering Systems
Formalizing narratives using nested circumscription
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Initial steps towards run-time support for norm-governed systems
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
The ramification problem in temporal databases: an approach with conflicting constraints
Journal of Intelligent Information Systems
First order action logic: an approach for modeling the communication process between agents
CM'96 Proceedings of the First international conference on Communication Modeling: The language/action perspective
The ramification problem in temporal databases: a solution implemented in SQL
Applied Intelligence
Working with events and states in PENG light
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
The design of intelligent socio-technical systems
Artificial Intelligence Review
Hi-index | 0.00 |