Journal of the ACM (JACM)
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation
Information and Computation
Strongly equivalent logic programs
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Answer set programming and plan generation
Artificial Intelligence
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
Developing a Declarative Rule Language for Applications in Product Configuration
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
ASSAT: computing answer sets of a logic program by SAT solvers
Eighteenth national conference on Artificial intelligence
Annals of Mathematics and Artificial Intelligence
From SPARQL to rules (and back)
Proceedings of the 16th international conference on World Wide Web
A common view on strong, uniform, and other notions of equivalence in answer-set programming*
Theory and Practice of Logic Programming
Computable Functions in ASP: Theory and Implementation
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
On finitely recursive programs1
Theory and Practice of Logic Programming
Probabilistic reasoning with answer sets
Theory and Practice of Logic Programming
Design and implementation of aggregate functions in the dlv system*
Theory and Practice of Logic Programming
Stable models and difference logic
Annals of Mathematics and Artificial Intelligence
Modular Nonmonotonic Logic Programming Revisited
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Answer Set Programming: A Primer
Reasoning Web. Semantic Technologies for Information Systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
Exception Handling for Repair in Service-Based Processes
IEEE Transactions on Software Engineering
Testing and debugging techniques for answer set solver development
Theory and Practice of Logic Programming
Stable models and circumscription
Artificial Intelligence
Automatic music composition using answer set programming
Theory and Practice of Logic Programming
Applications of answer set programming in phylogenetic systematics
Logic programming, knowledge representation, and nonmonotonic reasoning
Team-building with answer set programming in the gioia-tauro seaport
Theory and Practice of Logic Programming
DC proposal: towards a framework for efficient query answering and integration of geospatial data
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
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
Parameterized splitting: a simple modification-based approach
Correct Reasoning
Applications of action languages in cognitive robotics
Correct Reasoning
LELIE: a tool dedicated to procedure and requirement authoring
EACL 2012 Proceedings of the Second Workshop on Computational Linguistics and Writing (CLW 2012): Linguistic and Cognitive Aspects of Document Creation and Document Engineering
Intelligent Service Robotics
Inconsistency management for traffic regulations: formalization and complexity results
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Exploiting unfounded sets for HEX-Program evaluation
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A PROV encoding for provenance analysis using deductive rules
IPAW'12 Proceedings of the 4th international conference on Provenance and Annotation of Data and Processes
(Re)Configuration using web data: a case study on the reviewer assignment problem
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
D-flat: Declarative problem solving using tree decompositions and answer-set programming
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
Eliminating nonmonotonic DL-Atoms in description logic programs
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Modeling stable matching problems with answer set programming
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Answer set programming modulo theories and reasoning about continuous changes
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Forgetting for answer set programs revisited
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Artificial Intelligence: From programs to solvers
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 48.22 |
The motivation and key concepts behind answer set programming---a promising approach to declarative problem solving.