Programming Goal-Driven Web Sites Using an Agent Logic Language
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Encoding Solutions of the Frame Problem in Dynamic Logic
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
A Semantics for Persistency in Propositional Dynamic Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Reasoning about Actions in a Multiagent Domain
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Programming Rational Agents in a Modal Action Logic
Annals of Mathematics and Artificial Intelligence
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions
Artificial Intelligence Review
Metatheory of actions: Beyond consistency
Artificial Intelligence
Finding Alternatives Web Services to Parry Breakdowns
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
EPDL: a logic for causal reasoning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A semantical account of progression in the presence of defaults
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Logic Based Approach to the Static Analysis of Production Systems
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Modeling Abstract Behavior: A Dynamic Logic Approach
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
A dynamic description logic for representation and reasoning about actions
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Journal of Artificial Intelligence Research
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
Preferential Reasoning for Modal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
PDL with intersection and converse is decidable
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Journal of Automated Reasoning
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |