Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
Extending and implementing the stable model semantics
Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Constraint Processing
BerkMin: A Fast and Robust Sat-Solver
Proceedings of the conference on Design, automation and test in Europe
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)
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
A backjumping technique for disjunctive logic programming
AI Communications
Answer Set Programming Based on Propositional Satisfiability
Journal of Automated Reasoning
Fast SAT-based answer set solver
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
A model-theoretic counterpart of loop formulas
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Tableau calculi for answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
On look-ahead heuristics in disjunctive logic programming
Annals of Mathematics and Artificial Intelligence
Enhancing DLV instantiator by backjumping techniques
Annals of Mathematics and Artificial Intelligence
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
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
Engineering an Incremental ASP Solver
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Design and implementation of aggregate functions in the dlv system*
Theory and Practice of Logic Programming
Extended asp tableaux and rule redundancy in normal logic programs1
Theory and Practice of Logic Programming
On the relation among answer set solvers
Annals of Mathematics and Artificial Intelligence
Solution Enumeration for Projected Boolean Search Problems
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Advanced Preprocessing for Answer Set Solving
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Dealing Automatically with Exceptions by Introducing Specificity in ASP
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Finding Similar or Diverse Solutions in Answer Set Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
A First Order Forward Chaining Approach for Answer Set Computing
LPNMR '09 Proceedings of the 10th 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
A Simple Distributed Conflict-Driven Answer Set Solver
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
The Conflict-Driven Answer Set Solver clasp: Progress Report
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
The First Version of a New ASP Solver: ASPeRiX
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
ANTON: Composing Logic and Logic Composing
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Experiences Running a Parallel Answer Set Solver on Blue Gene
Proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Efficient haplotype inference with answer set programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A parallel ASP instantiator based on DLV
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Experimenting with look-back heuristics for hard ASP programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Conflict-driven answer set enumeration
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Clasp: a conflict-driven answer set solver
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
On the effectiveness of looking ahead in search for answer sets
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Generic tableaux for answer set programming
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Extended ASP tableaux and rule redundancy in normal logic programs
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Advanced techniques for answer set programming
ICLP'07 Proceedings of the 23rd international conference on Logic programming
A translational approach to constraint answer set solving
Theory and Practice of Logic Programming
A program-level approach to revising logic programs under the answer set semantics
Theory and Practice of Logic Programming
Testing and debugging techniques for answer set solver development
Theory and Practice of Logic Programming
Dialectical Proofs for Constrained Argumentation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
A 25-year perspective on logic programming
Decomposition of distributed nonmonotonic multi-context systems
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
dl2asp: implementing default logic via answer set programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
The DMCS solver for distributed nonmonotonic multi-context systems
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
DLVMC: enhanced model checking in DLV
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
Answer set programming, the solving paradigm for knowledge representation and reasoning
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
InstQL: a query language for virtual institutions using answer set programming
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Boosting local search thanks to CDCL
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Loop-separable programs and their first-order definability
Artificial Intelligence
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Learning and using domain-specific heuristics in ASP solvers
AI Communications - Answer Set Programming
Abstract answer set solvers with backjumping and learning
Theory and Practice of Logic Programming
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
ASP at work: spin-off and applications of the DLV system
Logic programming, knowledge representation, and nonmonotonic reasoning
ASTREA: answer sets for a trusted reasoning environment for agents
Logic programming, knowledge representation, and nonmonotonic reasoning
Relational information exchange and aggregation in multi-context systems
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Industrial-size scheduling with ASP+CP
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
ASPIDE: integrated development environment for answer set programming
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
A portfolio solver for answer set programming: preliminary report
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Cluster-based ASP solving with claspar
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
The third answer set programming competition: preliminary report of the system competition track
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Norm refinement and design through inductive learning
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Using a normative framework to explore the prototyping of wireless grids
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Over-subscription planning with boolean optimization: an assessment of state-of-the-art solutions
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Computing weighted solutions in ASP: representation-based method vs. search-based method
Annals of Mathematics and Artificial Intelligence
Zero-One designs produce small hard SAT instances
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
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
Practical and methodological aspects of the use of cutting-edge ASP tools
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Unfounded sets and well-founded semantics of answer set programs with aggregates
Journal of Artificial Intelligence Research
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
A case study of expressively constrainable level design automation tools for a puzzle game
Proceedings of the International Conference on the Foundations of Digital Games
Translation-based constraint answer set solving
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Solving disjunctive temporal problems with preferences using maximum satisfiability
AI Communications - 18th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
Generalized k-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation
Discrete Applied Mathematics
Look-back Techniques for ASP Programs with Aggregates
Fundamenta Informaticae
Faulty interaction identification via constraint solving and optimization
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Armin: Automatic Trance Music Composition using Answer Set Programming
Fundamenta Informaticae - Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR)
The intelligent grounder of DLV
Correct Reasoning
Gearing up for effective ASP planning
Correct Reasoning
Processing incomplete temporal information in controlled natural language
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
τε2asp: implementing τε via answer set programming
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
The multi-engine ASP solver ME-ASP
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Revisiting the training of logic models of protein signaling networks with ASP
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
Comparing the effectiveness of reasoning formalisms for partial models
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Quantifying homogeneity of instance sets for algorithm configuration
LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization
Temporal logic for process specification and recognition
Intelligent Service Robotics
Asp modulo csp: The clingcon system
Theory and Practice of Logic Programming
Multi-threaded asp solving with clasp
Theory and Practice of Logic Programming
Annotating answer-set programs in lana*
Theory and Practice of Logic Programming
Tableau Calculi for Logic Programs under Answer Set Semantics
ACM Transactions on Computational Logic (TOCL)
A model-based approach to the automatic revision of secondary legislation
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Inductive definitions in constraint programming
ACSC '13 Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Search methods for tile sets in patterned DNA self-assembly
Journal of Computer and System Sciences
Abstract dialectical frameworks revisited
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Improved SAT-based ATPG: more constraints, better compaction
Proceedings of the International Conference on Computer-Aided Design
Relating constraint answer set programming languages and algorithms
Artificial Intelligence
Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms
International Journal of Approximate Reasoning
Hi-index | 0.00 |
We introduce a new approach to computing answer sets of logic programs, based on concepts from constraint processing (CSP) and satisfiability checking (SAT). The idea is to view inferences in answer set programming (ASP) as unit propagation on no-goods. This provides us with a uniform constraint-based framework for the different kinds of inferences in ASP. It also allows us to apply advanced techniques from the areas of CSP and SAT. We have implemented our approach in the new ASP solver clasp. Our experiments show that the approach is competitive with state-of-the-art ASP solvers.