Functional and constraint logic programming
Constraints in computational logics
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Reasoning about Actions with CHRs and Finite Domain Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Towards State Update Axioms: Reifying Successor State Axioms
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Decidability Results for the Propositional Fluent Calculus
CL '00 Proceedings of the First International Conference on Computational Logic
A New Equational Foundation for the Fluent Calculus
CL '00 Proceedings of the First International Conference on Computational Logic
A Theory of First-Order Counterfactual Reasoning
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams
CL '00 Proceedings of the First International Conference on Computational Logic
A general framework for lazy functional logic programming with algebraic polymorphic types
Theory and Practice of Logic Programming
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
Event calculus and temporal action logics compared
Artificial Intelligence
Specification, analysis and simulation of the dynamics within an organisation
Applied Intelligence
SIMULATION AND ANALYSIS OF CONTROLLED MULTI-REPRESENTATIONAL REASONING PROCESSES
Applied Artificial Intelligence
θ-Subsumption Based on Object Context
Inductive Logic Programming
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
FLUCAP: a heuristic search planner for first-order MDPs
Journal of Artificial Intelligence Research
On linear logic planning and concurrency
Information and Computation
Semantics for a useful fragment of the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Computing ramifications by postprocessing
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Event calculus and temporal action logics compared
Artificial Intelligence
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Integration of behavioural requirements specification within compositional knowledge engineering
Knowledge-Based Systems
Challenges for action theories
Challenges for action theories
The boundary between decidable and undecidable fragments of the fluent calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Solving planning problems by partial deduction
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Reasoning about continuous processes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Artificial Intelligence
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
Requirements analysis of an agent’s reasoning capability
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Modelling the dynamics of reasoning processes: Reasoning by assumption
Cognitive Systems Research
| Hi-index | 0.00 |