The impact of logic programming on databases
Communications of the ACM
Adding disjunction to datalog (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
An execution model for limited ambiguity rules and its application to derived data update
ACM Transactions on Database Systems (TODS)
Normalizing incomplete databases
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Solving satisfiability and implication problems in database systems
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
Closed world assumption for disjunctive reasoning
Journal of Computer Science and Technology
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Clausal logic and logic programming in algebraic domains
Information and Computation
An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases
Journal of Intelligent Information Systems
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Processing indefinite deductive databases under the possible model semantics
Fundamenta Informaticae
On the partial semantics for disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence
Using clausal deductive databases for defining semantics in disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
Deduction Trees and the View Update Problem in Indefinite Deductive Databases
Journal of Automated Reasoning
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA
Journal of Automated Reasoning
On the Computation of the Disjunctive Well-Founded Semantics
Journal of Automated Reasoning
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases
Journal of Automated Reasoning
On the complexity of data disjunctions
Theoretical Computer Science - Complexity and logic
An Extended Petri Net Model for Normal Logic Programs
IEEE Transactions on Knowledge and Data Engineering
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Using Constraints for Efficient Query Processing in Nondeterministic Databases
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries
IEEE Transactions on Knowledge and Data Engineering
Answering Queries Using Materialized Views with Disjunctions
ICDT '99 Proceedings of the 7th International Conference on Database Theory
An Order-Sorted Resolution with Implicitly Negative Sorts
Proceedings of the 17th International Conference on Logic Programming
On Reasoning about Structural Equality in XML: A Description Logic Approach
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Procedural Semantics for Fuzzy Disjunctive Programs
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Query Optimization of Disjunctive Databases with Constraints through Binding Propagation
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Binding Propagation in Disjunctive Databases
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Disjunctive Logic Program = Horn Program + Control Program
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Minimal Answer Computation and SOL
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Extending Disjunctive Logic Programming by T-norms
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A Top-Down Procedure for Disjunctive Well-Founded Semantics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Compilation of Disjunctive Logic Programs Using an Extended WAM
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy
New Generation Computing
On the rewriting and efficient computation of bound disjunctive datalog queries
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
ACM Transactions on Computational Logic (TOCL)
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
Computing with features as formulae
Computational Linguistics
Minimal founded semantics for disjunctive logic programs and deductive databases
Theory and Practice of Logic Programming
Disjunctive logic programs with inheritance
Theory and Practice of Logic Programming
A logic-based approach to data integration
Theory and Practice of Logic Programming
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
Comparisons and computation of well-founded semantics for disjunctive logic programs
ACM Transactions on Computational Logic (TOCL)
Symmetric structure in logic programming
Journal of Computer Science and Technology
Disjunction and modular goal-directed proof search
ACM Transactions on Computational Logic (TOCL)
Encyclopedia of Computer Science
On reasoning about structural equality in XML: a description logic approach
Theoretical Computer Science - Database theory
Optimization of bound disjunctive queries with constraints
Theory and Practice of Logic Programming
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Negative ordered hyper-resolution as a proof procedure for disjunctive logic programming
Fundamenta Informaticae
Exploiting agents in e-learning and skills management context
AI Communications
A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
New Generation Computing
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
The Diagnosis Frontend of the dlv system
AI Communications
Quantitative Disjunctive Logic Programming: semantics and computation
AI Communications
Parametric connectives in Disjunctive Logic Programming
AI Communications
Query Compilation under the disjunctive well-founded semantics
Fundamenta Informaticae
Reasoning under minimal upper bounds in propositional logic
Theoretical Computer Science
Complexity results for answer set programming with bounded predicate arities and implications
Annals of Mathematics and Artificial Intelligence
ACM SIGMOD Record
Computing Only Minimal Answers in Disjunctive Deductive Databases
Journal of Automated Reasoning
The DLV Project: A Tour from Theory and Research to Applications and Market
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Stable model checking made easy
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Model elimination, logic programming and computing answers
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Semantic classifications of queries to relational databases
Proceedings of the 2nd international conference on Semantics in databases
Introduction to part III: decision support by advanced logic programming
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
A fixpoint approach to state generation for stratifiable disjunctive deductive databases
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information systems
A transformation-based approach to view updating in stratifiable deductive databases
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Logic-based knowledge representation
Artificial intelligence today
A 25-year perspective on logic programming
A minimal-model based horizontal fragmentation algorithm for disjunctive deductive databases
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Dynamic magic sets for programs with monotone recursive aggregates
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Logic programming and uncertainty
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Probabilistic disjunctive logic programming
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
A well-founded semantics with disjunction
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A DLP system with object-oriented features
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Process representation and reasoning using a logic formalism with object-oriented features
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Rules and ontologies in f-logic
Proceedings of the First international conference on Reasoning Web
Magic Sets for disjunctive Datalog programs
Artificial Intelligence
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Disjunctive programs with set constraints
Correct Reasoning
Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming
Fundamenta Informaticae
Query Compilation under the disjunctive well-founded semantics
Fundamenta Informaticae
Processing Indefinite Deductive Databases under the Possible Model Semantics
Fundamenta Informaticae
Processing Deductive Databases under the Disjunctive Stable Model Semantics
Fundamenta Informaticae
Combining Closed World Assumptions with Stable Negation
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
Semantics For Disjunctive Logic Programs With Explicit And Default Negation
Fundamenta Informaticae
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Aluminum: principled scenario exploration through minimality
Proceedings of the 2013 International Conference on Software Engineering
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
First-order expressibility and boundedness of disjunctive logic programs
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.02 |