Semantic query optimization in expert systems and database systems
Proceedings from the first international workshop on Expert database systems
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Perspectives in deductive databases
Journal of Logic Programming
Foundations of deductive databases and logic programming
Foundations of deductive databases and logic programming
Foundations of deductive databases and logic programming
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Negation as failure using tight derivations for general logic programs
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Foundations of semantic query optimization for deductive databases
Foundations of deductive databases and logic programming
Performance evaluation of data intensive logic programs
Foundations of deductive databases and logic programming
Foundations of deductive databases and logic programming
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A fixpoint semantics for disjunctive logic programs
Journal of Logic Programming
Handbook of theoretical computer science (vol. B)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Communications of the ACM
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Logic and Data Bases
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
The use of theorem-proving techniques in question-answering systems
ACM '68 Proceedings of the 1968 23rd ACM national conference
Cooperative responses from a portable natural language data base query system.
Cooperative responses from a portable natural language data base query system.
Query optimization by semantic reasoning
Query optimization by semantic reasoning
Rule validation based on logical deduction
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Towards a relational model for exclusively disjunctive information
CSC '93 Proceedings of the 1993 ACM conference on Computer science
An experience with CASE tool support for financial product design
ACM SIGMIS Database
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
IEEE Transactions on Knowledge and Data Engineering
DrawCAD: using deductive object-relational databases in CAD
Software—Practice & Experience
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Artificial Intelligence Review
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
Developing a marketing decision model using a knowledge-based system
Knowledge-Based Systems
AIMS: a tool for the view-based analysis of streams of flight data
SSDBM'12 Proceedings of the 24th international conference on Scientific and Statistical Database Management
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
| Hi-index | 48.22 |