A theory of diagnosis from first principles
Artificial Intelligence
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Explanation and prediction: an architecture for default and abductive reasoning
Computational Intelligence
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Stationary semantics for disjunctive logic programs and deductive databases
Proceedings of the 1990 North American conference on Logic programming
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
The Stanford GraphBase: a platform for combinatorial computing
The Stanford GraphBase: a platform for combinatorial computing
Proceedings of the eleventh international conference on Logic programming
Complexity and expressive power of disjunctive logic programming (research overview)
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Reducing disjunctive to non-disjunctive semantics by shift-operations
Fundamenta Informaticae - Special issue: to the memory of Prof. Helena Rasiowa
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation
Information and Computation
ACM Transactions on Database Systems (TODS)
Abduction from logic program: semantics and complexity
Theoretical Computer Science
Foundations of logic programming
Principles of knowledge representation
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
Expressive power and complexity of partial models for disjunctive deductive databases
Theoretical Computer Science
Preferred answer sets for extended logic programs
Artificial Intelligence
Beyond NP: the QSAT phase transition
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
Artificial Intelligence
On the complexity of unique solutions
Journal of the ACM (JACM)
Optimization of disjunctive queries
Proceedings of the 1999 international conference on Logic programming
Declarative problem-solving in DLV
Logic-based artificial intelligence
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)
Answer set programming and plan generation
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
On the partial semantics for disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
Computation of Stable Models and Its Integration with Logical Query Processing
IEEE Transactions on Knowledge and Data Engineering
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Semantics of Disjunctive Deductive Databases
ICDT '92 Proceedings of the 4th International Conference on Database Theory
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Stable Model Checking Made Easy
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Answer Set Planning under Action Costs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Answer Set Programming by Ant Colony Optimization
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
XSB: A System for Effciently Computing WFS
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Propositional Satisfiability in Answer-Set Programming
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Logic and Databases: A 20 Year Retrospective
LID '96 Proceedings of the International Workshop on Logic in Databases
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae
AI*IA '97 Proceedings of the 5th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
ASSAT: computing answer sets of a logic program by SAT solvers
Eighteenth national conference on Artificial intelligence
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
Computing preferred answer sets by meta-interpretation in Answer Set Programming
Theory and Practice of Logic Programming
Disjunctive logic programs with inheritance
Theory and Practice of Logic Programming
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A comparative study of logic programs with preference
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Experimenting with heuristics for answer set programming
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A framework for declarative update specifications in logic programs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Consistent query answering under inclusion dependencies
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
The INFOMIX system for advanced integration of incomplete and inconsistent data
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Proceedings of the 14th ACM international conference on Information and knowledge management
Consistent query answering under key and exclusion dependencies: algorithms and experiments
Proceedings of the 14th ACM international conference on Information and knowledge management
Graphs and colorings for answer set programming
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Unfolding partiality and disjunctions in stable model semantics
ACM Transactions on Computational Logic (TOCL)
Predicate-calculus-based logics for modeling and solving search problems
ACM Transactions on Computational Logic (TOCL)
Causes and explanations in the structural-model approach: tractable cases
Artificial Intelligence
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
A backjumping technique for disjunctive logic programming
AI Communications
Answer Set Programming Based on Propositional Satisfiability
Journal of Automated Reasoning
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Combining relational algebra, SQL, constraint modelling, and local search
Theory and Practice of Logic Programming
A knowledge-based approach for selecting information sources
Theory and Practice of Logic Programming
Magic Sets and their application to data integration
Journal of Computer and System Sciences
Semantical characterizations and complexity of equivalences in answer set programming
ACM Transactions on Computational Logic (TOCL)
dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
External sources of knowledge and value invention in logic programming
Annals of Mathematics and Artificial Intelligence
Comparing action descriptions based on semantic preferences
Annals of Mathematics and Artificial Intelligence
Computer-aided Support for Secure Tropos
Automated Software Engineering
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
Exploiting functional dependencies in declarative problem specifications
Artificial Intelligence
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
Logic programs with monotone abstract constraint atoms*
Theory and Practice of Logic Programming
Model checking multi-agent systems with logic based Petri nets
Annals of Mathematics and Artificial Intelligence
On look-ahead heuristics in disjunctive logic programming
Annals of Mathematics and Artificial Intelligence
Complexity results for answer set programming with bounded predicate arities and implications
Annals of Mathematics and Artificial Intelligence
Enhancing DLV instantiator by backjumping techniques
Annals of Mathematics and Artificial Intelligence
Repair localization for query answering from inconsistent databases
ACM Transactions on Database Systems (TODS)
Computing minimum cost diagnoses to repair populated DL-based ontologies
Proceedings of the 17th international conference on World Wide Web
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Interactive access control for autonomic systems: From theory to implementation
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
USING A THEOREM PROVER FOR REASONING ON CONSTRAINT PROBLEMS
Applied Artificial Intelligence
Semantic forgetting in answer set programming
Artificial Intelligence
Expressive power and abstraction in Essence
Constraints
Ontology-based inference for causal explanation
Integrated Computer-Aided Engineering
Discarte: a disjunctive internet cartographer
Proceedings of the ACM SIGCOMM 2008 conference on Data communication
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
Outlier detection using default reasoning
Artificial Intelligence
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Modeling and Analyzing Variability for Mobile Information Systems
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
Rules and Ontologies for the Semantic Web
Reasoning Web
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Ranking semantic information for e-government: complaints management
OBI '08 Proceedings of the first international workshop on Ontology-supported business intelligence
Enhancing a DLP System for Advanced Database Applications
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
A Model-Driven Approach for the Specification and Analysis of Access Control Policies
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Fast Counting with Bounded Treewidth
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Snapshot Generation in a Constructive Object-Oriented Modeling Language
Logic-Based Program Synthesis and Transformation
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Here's the Beef: Answer Set Programming !
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Computable Functions in ASP: Theory and Implementation
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Program Correspondence under the Answer-Set Semantics: The Non-ground Case
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Safe Formulas in the General Theory of Stable Models (Preliminary Report)
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Automata and Answer Set Programming
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
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
Extended asp tableaux and rule redundancy in normal logic programs1
Theory and Practice of Logic Programming
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics
Applications of Declarative Programming and Knowledge Management
My work with Victor Marek: a mathematician looks at answer set programming
Annals of Mathematics and Artificial Intelligence
On the relation among answer set solvers
Annals of Mathematics and Artificial Intelligence
Integrating answer set programming and constraint logic programming
Annals of Mathematics and Artificial Intelligence
Comparison of semantics of disjunctive logic programs based on model-equivalent reduction
Journal of Computer Science and Technology
Resource allocation with answer-set programming
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
From the textual description of an accident to its causes
Artificial Intelligence
Evaluating ASP and commercial solvers on the CSPLib
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
On Probing and Multi-Threading in PLATYPUS
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
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
Towards a Type Discipline for Answer Set Programming
Types for Proofs and Programs
Logic programs with abstract constraint atoms
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Forgetting and conflict resolving in disjunctive logic programming
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Alternation as a programming paradigm
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
A logical framework for configuration software
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Metabolic Network Expansion with Answer Set Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Answer Set Programming with Constraints Using Lazy Grounding
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Manifold Answer-Set Programs for Meta-reasoning
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Computing Stable Models via Reductions to Difference Logic
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A First Order Forward Chaining Approach for Answer Set Computing
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
An ASP-Based System for e-Tourism
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Applying ASP to UML Model Validation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
An ASP System with Functions, Lists, and Sets
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Input Language of ASP Grounder Gringo
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
An ASP-Based Data Integration System
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
Some DLV Applications for Knowledge Management
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Exploiting ASP in Real-World Applications: Main Strengths and Challenges
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Designing, Specifying and Querying Metadata for Virtual Data Integration Systems
Globe '09 Proceedings of the 2nd International Conference on Data Management in Grid and Peer-to-Peer Systems
Quasi-Classical Model Semantics for Logic Programs --- A Paraconsistent Approach
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
A meta-programming technique for debugging answer-set programs
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A reductive semantics for counting and choice in answer set programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
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
Discovering classes of strongly equivalent logic programs
Journal of Artificial Intelligence Research
Grounding for model expansion in k-guarded formulas with inductive definitions
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conflict-driven answer set solving
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
From answer set logic programming to circumscription via logic of GK
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
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
Heuristics for hard ASP programs
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Causes and explanations in the structural-model approach: Tractable cases
Artificial Intelligence
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Forwarding Credible Information in Multi-agent Systems
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Verifying Software Requirements Based on Answer Set Programming
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
A parallel ASP instantiator based on DLV
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Logic programs with abstract constraint atoms: The role of computations
Artificial Intelligence
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Theory and Practice of Logic Programming
Support for context-aware monitoring in home healthcare
Journal of Ambient Intelligence and Smart Environments
Reconciling description logics and rules
Journal of the ACM (JACM)
The first answer set programming system competition
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Debugging ASP programs by means of ASP
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
On the complexity of answer set programming with aggregates
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
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
Head-elementary-set-free logic programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
The LP-OD system: logic programming meets outlier detection
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
GrinGo: a new grounder for answer set programming
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Programming applications in CIFF
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Constraint processing in relational database systems: from theory to implementation
Proceedings of the 2010 ACM Symposium on Applied Computing
The consistency extractor system: Answer set programs for consistent query answering in databases
Data & Knowledge Engineering
Ontology-based inference for causal explanation
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Implementing knowledge update sequences
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
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
FDNC: decidable non-monotonic disjunctive logic programs with function symbols
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Modeling cooperation in P2P data management systems
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
An overview of AI research in Italy
Artificial intelligence
Data conflict resolution using trust mappings
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
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
Disjunctive databases for representing repairs
Annals of Mathematics and Artificial Intelligence
Monadic datalog over finite structures of bounded treewidth
ACM Transactions on Computational Logic (TOCL)
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
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic (TOCL)
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
A 25-year perspective on logic programming
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs
Fundamenta Informaticae
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
A formalism for causal explanations with an answer set programming translation
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Dealing with incomplete normative states
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
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
A dynamic-programming based ASP-solver
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Defeasibility in answer set programs via argumentation theories
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Artificial Intelligence
From answer set logic programming to circumscription via logic of GK
Artificial Intelligence
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
Rule-based contextual reasoning in ambient intelligence
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Enhancing a smart space with answer set programming
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Loop-separable programs and their first-order definability
Artificial Intelligence
Speed-up techniques for negation in grounding
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
DES: A Deductive Database System
Electronic Notes in Theoretical Computer Science (ENTCS)
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Dynamic Magic Sets and super-coherent answer set programs
AI Communications - Answer Set Programming
Learning and using domain-specific heuristics in ASP solvers
AI Communications - Answer Set Programming
Symmetry-breaking answer set solving
AI Communications - Answer Set Programming
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs
Fundamenta Informaticae
Theory and Practice of Logic Programming
Functional answer set programming
Theory and Practice of Logic Programming
Detecting inconsistencies in large biological networks with answer set programming
Theory and Practice of Logic Programming
Reasoning support for risk prediction and prevention in independent living
Theory and Practice of Logic Programming
Exception handling in web service processes
The evolution of conceptual modeling
Manifold answer-set programs and their applications
Logic programming, knowledge representation, and nonmonotonic reasoning
Challenges in answer set solving
Logic programming, knowledge representation, and nonmonotonic reasoning
Compact translations of non-disjunctive answer set programs to propositional clauses
Logic programming, knowledge representation, and nonmonotonic reasoning
Effectively reasoning about infinite sets in answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
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
Optimization methods for the partner units problem
CPAIOR'11 Proceedings of the 8th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Dynamic magic sets for programs with monotone recursive aggregates
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
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
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Content-Based Privacy Management on the Social Web
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
Aggregates and priorities in P2P data management systems
Proceedings of the 15th Symposium on International Database Engineering & Applications
Semantic Web search based on ontological conjunctive queries
Web Semantics: Science, Services and Agents on the World Wide Web
Synonymous theories and knowledge representations in answer set programming
Journal of Computer and System Sciences
Journal of Computer and System Sciences
Towards implementations for advanced equivalence checking in answer-set programming
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Nonmonotonic logic programs for the semantic web
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Data integration and answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
External sources of computation for answer set solvers
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
PLATYPUS: a platform for distributed answer set solving
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Solving hard ASP programs efficiently
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Data integration: a challenging ASP application
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
CIRC2DLP: translating circumscription into disjunctive logic programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
A DLP system with object-oriented features
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Using a theorem prover for reasoning on constraint problems
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
The loop formula based semantics of description logic programs
Theoretical Computer Science
SAT as an effective solving technology for constraint problems
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Decidable fragments of logic programming with value invention
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A logic-based tool for semantic information extraction
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
The nomore++ approach to answer set solving
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Reducing propositional theories in equilibrium logic to logic programs
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Tableau calculi for answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
TOAST: applying answer set programming to superoptimisation
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Efficient application of answer set programming for advanced data integration
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
An ASP-based system for team-building in the gioia-tauro seaport
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Magic sets and their application to data integration
ICDT'05 Proceedings of the 10th international conference on Database Theory
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
Detecting and breaking symmetries by reasoning on problem specifications
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
On elementary loops of logic programs
Theory and Practice of Logic Programming
Flexible pattern discovery with (extended) disjunctive logic programming
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Query answering in peer-to-peer data exchange systems
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Aggregated Fuzzy Answer Set Programming
Annals of Mathematics and Artificial Intelligence
Semantically correct query answers in the presence of null values
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
On the first-order reducibility of unions of conjunctive queries over inconsistent databases
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
A core language for fuzzy answer set programming
International Journal of Approximate Reasoning
LPForget: a system of forgetting in answer set programming
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Semantic web search based on ontological conjunctive queries
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
A logical approach to web user interface adaptation
USAB'11 Proceedings of the 7th conference on Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society: information Quality in e-Health
A deductive database with datalog and SQL query languages
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
The HiLeX system for semantic information extraction
Transactions on Large-Scale Data- and Knowledge-Centered Systems V
Exploiting bounded treewidth with datalog (a survey)
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Equivalence between extended datalog programs -- a brief survey
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
The disjunctive datalog system DLV
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Knowledge representation language p-log --- a short introduction
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
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
Optimizing inequality joins in datalog with approximated constraint propagation
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
Tiresias: the database oracle for how-to queries
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
Magic Sets for disjunctive Datalog programs
Artificial Intelligence
Uniform evaluation of nonmonotonic DL-Programs
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Handling preferences in p2p systems
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Outer Joins in a Deductive Database System
Electronic Notes in Theoretical Computer Science (ENTCS)
Finitely recursive programs: Decidability and bottom-up computation
AI Communications
Repairing inconsistent dimensions in data warehouses
Data & Knowledge Engineering
Look-back Techniques for ASP Programs with Aggregates
Fundamenta Informaticae
To vladimir lifschitz on his 65th birthday
Correct Reasoning
The intelligent grounder of DLV
Correct Reasoning
Declarative distributed computing
Correct Reasoning
Aligning software configuration with business and IT context
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
A method for generating CSS to improve web accessibility for old users
ICCHP'12 Proceedings of the 13th international conference on Computers Helping People with Special Needs - Volume Part I
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Query Compilation under the disjunctive well-founded semantics
Fundamenta Informaticae
Graphs and Colorings for Answer Set Programming with Preferences
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Towards ontology-based OLAP: datalog-based reasoning over multidimensional ontologies
Proceedings of the fifteenth international workshop on Data warehousing and OLAP
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Deriving knowledge representation guidelines by analyzing knowledge engineer behavior
Decision Support Systems
MAGIK: managing completeness of data
Proceedings of the 21st ACM international conference on Information and knowledge management
Ontology-based semantic search on the Web and its combination with the power of inductive reasoning
Annals of Mathematics and Artificial Intelligence
τε2asp: implementing τε via answer set programming
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Inconsistency management for traffic regulations: formalization and complexity results
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
The multi-engine ASP solver ME-ASP
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Declarative datalog debugging for mere mortals
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Consistency and repair for XML write-access control policies
The VLDB Journal — The International Journal on Very Large Data Bases
Evaluating tree-decomposition based algorithms for answer set programming
LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization
Multi-dimensional navigation modeling using BI analysis graphs
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
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
International Journal of Software Science and Computational Intelligence
Complexity of judgment aggregation
Journal of Artificial Intelligence Research
A Model-Theoretic Approach to Belief Change in Answer Set Programming
ACM Transactions on Computational Logic (TOCL)
Tableau Calculi for Logic Programs under Answer Set Semantics
ACM Transactions on Computational Logic (TOCL)
Constraint Propagation for First-Order Logic and Inductive Definitions
ACM Transactions on Computational Logic (TOCL)
Experiments with reduction finding
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Automata for infinite argumentation structures
Artificial Intelligence
Answer set programming: language, applications and development tools
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
An integrated environment for reasoning over ontologies via logic programming
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Complete approximations of incomplete queries
Proceedings of the VLDB Endowment
Advanced conflict-driven disjunctive answer set solving
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Computing stable models for nonmonotonic existential rules
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Acyclicity notions for existential rules and their application to query answering in ontologies
Journal of Artificial Intelligence Research
Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms
International Journal of Approximate Reasoning
International Journal of Approximate Reasoning
Synthesizing Concurrent Programs Using Answer Set Programming
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
Nested Weight Constraints in ASP
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |
Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive in a precise mathematical sense: it allows one to express every property of finite structures that is decidable in the complexity class ΣP2 (NPNP). Thus, under widely believed assumptions, DLP is strictly more expressive than normal (disjunction-free) logic programming, whose expressiveness is limited to properties decidable in NP. Importantly, apart from enlarging the class of applications which can be encoded in the language, disjunction often allows for representing problems of lower complexity in a simpler and more natural fashion.This article presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem solving, we provide a formal definition of its kernel language, function-free disjunctive logic programs (also known as disjunctive datalog), extended by weak constraints, which are a powerful tool to express optimization problems. We then illustrate the usage of DLV as a tool for knowledge representation and reasoning, describing a new declarative programming methodology which allows one to encode complex problems (up to ΔP3-complete problems) in a declarative fashion. On the foundational side, we provide a detailed analysis of the computational complexity of the language of DLV, and by deriving new complexity results we chart a complete picture of the complexity of this language and important fragments thereof.Furthermore, we illustrate the general architecture of the DLV system, which has been influenced by these results. As for applications, we overview application front-ends which have been developed on top of DLV to solve specific knowledge representation tasks, and we briefly describe the main international projects investigating the potential of the system for industrial exploitation. Finally, we report about thorough experimentation and benchmarking, which has been carried out to assess the efficiency of the system. The experimental results confirm the solidity of DLV and highlight its potential for emerging application areas like knowledge management and information integration.