Semantical considerations on nonmonotonic logic
Artificial Intelligence
Nonmonotonic logic and temporal projection
Artificial Intelligence
Strongly equivalent logic programs
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
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
ASSAT: computing answer sets of a logic program by SAT solvers
Artificial Intelligence - Special issue on nonmonotonic reasoning
Why are there so many loop formulas?
ACM Transactions on Computational Logic (TOCL)
Inferring Phylogenetic Trees Using Answer Set Programming
Journal of Automated Reasoning
The first answer set programming system competition
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Answer sets for propositional theories
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Computing Weighted Solutions in Answer Set Programming
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Symmetric splitting in the general theory of stable models
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Circumscriptive event calculus as answer set programming
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Constraint processing in relational database systems: from theory to implementation
Proceedings of the 2010 ACM Symposium on Applied Computing
Identifying generic noun phrases
ACL '10 Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
Abstract answer set solvers with backjumping and learning
Theory and Practice of Logic Programming
Thirteen definitions of a stable model
Fields of logic and computation
Applications of answer set programming in phylogenetic systematics
Logic programming, knowledge representation, and nonmonotonic reasoning
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
CLP(QS): a declarative spatial reasoning framework
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Synthesizing small and reliable tile sets for patterned DNA self-assembly
DNA'11 Proceedings of the 17th international conference on DNA computing and molecular programming
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
Consistency and provenance in rule processing
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Towards HIPAA-compliant healthcare systems
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Computing weighted solutions in ASP: representation-based method vs. search-based method
Annals of Mathematics and Artificial Intelligence
Datalog programs and their stable models
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Analyzing pathways using ASP-based approaches
ANB'10 Proceedings of the 4th international conference on Algebraic and Numeric Biology
Enhancing directory virtualization to detect insider activity
Security and Communication Networks
Armin: Automatic Trance Music Composition using Answer Set Programming
Fundamenta Informaticae - Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR)
Applications of action languages in cognitive robotics
Correct Reasoning
An equational approach to logic programming
Correct Reasoning
Stepwise debugging of description-logic programs
Correct Reasoning
Journal of Artificial Intelligence Research
Intelligent Service Robotics
Processing incomplete temporal information in controlled natural language
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Relational theories with null values and non-herbrand stable models
Theory and Practice of Logic Programming
Provenance analyzer: exploring provenance semantics with logic rules
TaPP'13 Proceedings of the 5th USENIX conference on Theory and Practice of Provenance
Provenance analyzer: exploring provenance semantics with logic rules
Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance
Search methods for tile sets in patterned DNA self-assembly
Journal of Computer and System Sciences
Action language BC: preliminary report
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Answer set programming modulo theories and reasoning about continuous changes
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in knowledge representation, it is particularly useful in knowledge-intensive applications. ASP programs consist of rules that look like Prolog rules, but the computational mechanisms used in ASP are different: they are based on the ideas that have led to the creation of fast satisfiability solvers for propositional logic.