Temporal logic programming is complete and expressive
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
Communicating control knowledge to a deductive database system
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
The impact of logic programming on databases
Communications of the ACM
Connecting software components with declarative glue
ICSE '92 Proceedings of the 14th international conference on Software engineering
A deductive database audit trail
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Complexity aspects of various semantics for disjunctive databases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Development and evaluation of an application in a deductive environment
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Perspectives on database theory
ACM SIGACT News
Semantics for update rule programs and implementation in a relational database management system
ACM Transactions on Database Systems (TODS)
Integrating Multiple Learning Strategies in First Order Logics
Machine Learning - Special issue on multistrategy learning
Learning Function-Free Horn Expressions
Machine Learning - The Eleventh Annual Conference on computational Learning Theory
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Evaluation of Queries under Closed-World Assumption. Part II: The Hierarchical Case
Journal of Automated Reasoning
Classification and Compilation of Linear Recursive Queries in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Using a Relational Database to Support Explanation in a Knowledge-Based System
IEEE Transactions on Knowledge and Data Engineering
A Knowledge Model For Unifying Deductive and Non-Deductive Heterogeneous Databases
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Kaleidoscope Data Model for An English-like Query Language
VLDB '91 Proceedings of the 17th 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
Learning Range Restricted Horn Expressions
EuroCOLT '99 Proceedings of the 4th European Conference on Computational Learning Theory
On reasoning about structural equality in XML: a description logic approach
Theoretical Computer Science - Database theory
A methodology and tool support for managing business rules in organisations
Information Systems
Privacy constraint processing in a privacy-enhanced database management system
Data & Knowledge Engineering
A knowledge-based approach for selecting information sources
Theory and Practice of Logic Programming
Semantical characterizations and complexity of equivalences in answer set programming
ACM Transactions on Computational Logic (TOCL)
Using a Rule Language for Capturing Semantics in Web-Based Systems
Proceedings of the 2007 conference on Databases and Information Systems IV: Selected Papers from the Seventh International Baltic Conference DB&IS'2006
An ASP-Based Data Integration System
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Bidirectional answer set programs with function symbols
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A methodology and tool support for managing business rules in organisations
Information Systems
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
Maintaining consistency in a stratified production system program
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A 25-year perspective on logic programming
Optimizing the distributed evaluation of stratified programs via structural analysis
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Magic Sets for disjunctive Datalog programs
Artificial Intelligence
To vladimir lifschitz on his 65th birthday
Correct Reasoning
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
A delayed splitting bottom-up procedure for model generation
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Hi-index | 0.02 |