Act, and the rest will follow: exploiting determinism in planning as satisfiability
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Logic-based artificial intelligence
Getting to the airport: the oldest planning problem in AI
Logic-based artificial intelligence
Two components of an action language
Annals of Mathematics and Artificial Intelligence
ML Systems: A Proof Theory for Contexts
Journal of Logic, Language and Information
Planning under Incomplete Knowledge
CL '00 Proceedings of the First International Conference on Computational Logic
A new direction in AI: toward a computational theory of perceptions
Technologies for constructing intelligent systems
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning
Annals of Mathematics and Artificial Intelligence
Disjunctive logic programs with inheritance
Theory and Practice of Logic Programming
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Elaboration tolerance through object-orientation
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Heuristic planning: a declarative approach based on strategies for action selection
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Autoepistemic logic and introspective circumscription
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Precisiated natural language (PNL)
AI Magazine
Consciousness, Agents and the Knowledge Game
Minds and Machines
Loop formulas for circumscription
Artificial Intelligence
Reasoning about attitudes of complaining customers
Knowledge-Based Systems
Argument-based critics and recommenders: a qualitative perspective on user support systems
Data & Knowledge Engineering - Special issue: WIDM 2004
Artificial Intelligence
The Acquisition of Linguistic Competence for Communicating Propositional Logic Sentences
Engineering Societies in the Agents World VIII
Artificial Intelligence
Horn Query Learning with Multiple Refinement
SEAL '08 Proceedings of the 7th International Conference on Simulated Evolution and Learning
A modular action description language
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Loop formulas for circumscription
Artificial Intelligence
Some cognitive aspects of a turing test for children
Proceedings of the 2005 joint Chinese-German conference on Cognitive systems
Network thinking and network intelligence
WImBI'06 Proceedings of the 1st WICI international conference on Web intelligence meets brain informatics
Propositional logic of context
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
From systems to logic in the early development of nonmonotonic reasoning
Artificial Intelligence
Natural language communication between human and artificial agents
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Propositional logic syntax acquisition
EELC'06 Proceedings of the Third international conference on Emergence and Evolution of Linguistic Communication: symbol Grounding and Beyond
Unfounded sets and well-founded semantics of answer set programs with aggregates
Journal of Artificial Intelligence Research
Fundamenta Informaticae
Reasoning About Theory Adequacy. A New Solution To The Qualification Problem
Fundamenta Informaticae
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Providing personalized Internet services by means of context-aware spoken dialogue systems
Journal of Ambient Intelligence and Smart Environments - Context Awareness
| Hi-index | 0.00 |