SYGRAF: Implementing Logic Programs in a Database Style
IEEE Transactions on Software Engineering
VIP-MDBS: a logic multidatabase system
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Towards an efficient evaluation of general queries: quantifier and disjunction processing revisited
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Logic programming as constructivism: a formalization and its application to databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards a deductive database for small simple groups
ACM SIGSAM Bulletin
Development and evaluation of an application in a deductive environment
CIKM '93 Proceedings of the second international conference on Information and knowledge management
On deductive databases with incomplete information
ACM Transactions on Information Systems (TOIS)
Query evaluation in deductive databases with alternating fixpoint semantics
ACM Transactions on Database Systems (TODS)
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Integrity Checking in Deductive Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Integrity Constraints Checking In Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
ACM Transactions on Computational Logic (TOCL)
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
Answer Set Programming for Single-Player Games in General Game Playing
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Maintaining control while delegating trust: Integrity constraints in trust management
ACM Transactions on Information and System Security (TISSEC)
Automated theorem proving for general game playing
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Translating general game descriptions into an action language
Logic programming, knowledge representation, and nonmonotonic reasoning
Automated verification of state sequence invariants in general game playing
Artificial Intelligence
The general game playing description language is universal
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
| Hi-index | 0.00 |