A problem-oriented inferential database system
ACM Transactions on Database Systems (TODS)
On the relationship between autoepistemic logic and parallel circumscription
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
The extended closed world assumption and its relationship to parallel circumscription
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Maintenance of stratified databases viewed as a belief revision system
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A practical approach to semantic configuration management
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Compiling dyadic first-order specifications into map algebra
Theoretical Computer Science - Algebraic methods in language processing
A Possible World Semantics for Disjunctive Databases
IEEE Transactions on Knowledge and Data Engineering
On the semantics of supernormal defaults
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Logic-based knowledge representation
Artificial intelligence today
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Supporting role based provisioning with rules using OWL and F-logic
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Supporting open and closed world reasoning on the web
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Logic Programs, Norms and Action
Hi-index | 0.00 |