Nonmonotonic logic and temporal projection
Artificial Intelligence
The anomalous extension problem in default reasoning
Artificial Intelligence
Autoepistemic logic and formalization of commonsense reasoning: preliminary report
Proceedings of the 2nd international workshop on Non-monotonic reasoning
Logic programs with classical negation
Logic programming
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Control knowledge in planning: benefits and tradeoffs
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Proceedings of the 1999 international conference on Logic programming
Extending and implementing the stable model semantics
Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Encoding Planning Problems in Nonmonotonic Logic Programs
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Preferred Answer Sets for Ordered Logic Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Introduction: progress in formal commonsense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
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
Extending Answer Sets for Logic Programming Agents
Annals of Mathematics and Artificial Intelligence
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Induction from answer sets in nonmonotonic logic programs
ACM Transactions on Computational Logic (TOCL)
Preferred answer sets for ordered logic programs
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Issues in parallel execution of non-monotonic reasoning systems
Parallel Computing
Domain-dependent knowledge in answer set planning
ACM Transactions on Computational Logic (TOCL)
Theory and Practice of Logic Programming
Coordination in answer set programming
ACM Transactions on Computational Logic (TOCL)
Complexity results for answer set programming with bounded predicate arities and implications
Annals of Mathematics and Artificial Intelligence
Semantic forgetting in answer set programming
Artificial Intelligence
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Here's the Beef: Answer Set Programming !
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Inductive Negotiation in Answer Set Programming
Declarative Agent Languages and Technologies VI
GFO-Bio: A biological core ontology
Applied Ontology - Towards a Metaontology for the Biomedical Domain
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming
Extended asp tableaux and rule redundancy in normal logic programs1
Theory and Practice of Logic Programming
Consistency property of finite FC-normal logic programs
Journal of Computer Science and Technology
Know-how for motivated BDI agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Logic Programs with Multiple Chances
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
On the Existence of Answer Sets in Normal Extended Logic Programs
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Adding time and intervals to procedural and hierarchical control specifications
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
A modular action description language
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Answer Set Programming for Single-Player Games in General Game Playing
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Logic Programming for Multiagent Planning with Negotiation
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
On the Input Language of ASP Grounder Gringo
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A theory of forgetting in logic programming
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Mapping problem-space to solution-space features: a feature interaction approach
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
An extension to conformant planning using logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
Theory and Practice of Logic Programming
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
Generating possible interpretations of compliance regulation using answer set programming
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
Hierarchical decision making in multi-agent systems using answer set programming
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Answer set programming for the semantic web
ICLP'07 Proceedings of the 23rd international conference on Logic programming
The independent choice logic and beyond
Probabilistic inductive logic programming
Using ASP for knowledge management with user authorization
Data & Knowledge Engineering
An ASP based method for subassembly identification
ROBIO'09 Proceedings of the 2009 international conference on Robotics and biomimetics
ANGLE: An autonomous, normative and guidable agent with changing knowledge
Information Sciences: an International Journal
Identifying generic noun phrases
ACL '10 Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
Using ASP to improve the information reuse in mechanical assembly sequence planning
PRICAI'10 Proceedings of the 11th Pacific Rim international conference on Trends in artificial intelligence
Approximation of action theories and its application to conformant planning
Artificial Intelligence
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Symmetry-breaking answer set solving
AI Communications - Answer Set Programming
Automatic music composition using answer set programming
Theory and Practice of Logic Programming
ASP as a cognitive modeling tool: short-term memory and long-term memory
Logic programming, knowledge representation, and nonmonotonic reasoning
Applications of answer set programming in phylogenetic systematics
Logic programming, knowledge representation, and nonmonotonic reasoning
Combining answer set programming and prolog: the ASP-PROLOG system
Logic programming, knowledge representation, and nonmonotonic reasoning
Answer set programming at a glance
Communications of the ACM
Probabilistic rule learning in nonmonotonic domains
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Preferential reasoning on a web of trust
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Preferences in answer set programming
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Synthesis from temporal specifications using preferred answer set programming
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Structure-based algorithms for computing preferred arguments of defeasible knowledge bases
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Cooperating answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Dually structured concepts in the semantic web: answer set programming approach
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Qualitative model of game theory
MDAI'05 Proceedings of the Second international conference on Modeling Decisions for Artificial Intelligence
Character-Based cladistics and answer set programming
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
An ordered logic program solver
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
A rule based knowledge transaction model for mobile environments
Information Sciences: an International Journal
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Equivalence between extended datalog programs -- a brief survey
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Weighted-Sequence problem: ASP vs CASP and declarative vs problem-oriented solving
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Toward consistency checking of natural language temporal requirements
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
GFO-Bio: A biological core ontology
Applied Ontology - Towards a Metaontology for the Biomedical Domain
Gearing up for effective ASP planning
Correct Reasoning
Temporal logic for process specification and recognition
Intelligent Service Robotics
Annotating answer-set programs in lana*
Theory and Practice of Logic Programming
Conflict-driven asp solving with external sources
Theory and Practice of Logic Programming
Cloud risk analysis by textual models
Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing
Computational alignment of goals and scenarios for complex systems
Proceedings of the 2013 International Conference on Software Engineering
Argumentation frameworks as constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.02 |
The idea of answer set programming is to represent a given computational problem by a logic program whose answer sets correspond to solutions, and then use an answer set solver, such as SMODELS or DLV, to find an answer set for this program. Applications of this method to planning are related to the line of research on the frame problem that started with the invention of formal nonmonotonic reasoning in 1980.