Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
The indefinite closed world assumption
Data & Knowledge Engineering
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Succinct model semantics: a simple model for inclusive interpretations
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Automated theorem proving: A logical basis (Fundamental studies in computer science)
| Hi-index | 0.00 |