Perspectives on database theory
ACM SIGACT News
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Annals of Mathematics and Artificial Intelligence
Logic knowledge bases with two default rules
Annals of Mathematics and Artificial Intelligence
Generalized Quantifiers in Logic Programs
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
Between Well-Founded Semantics and Stable Model Semantics
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Symmetric structure in logic programming
Journal of Computer Science and Technology
On querying simple conceptual graphs with negation
Data & Knowledge Engineering
A New Partial Semantics for Disjunctive Deductive Databases
Fundamenta Informaticae
Framed temporal logic programming
Science of Computer Programming
Semantics of framed temporal logic programs
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A New Partial Semantics for Disjunctive Deductive Databases
Fundamenta Informaticae
Combining Closed World Assumptions with Stable Negation
Fundamenta Informaticae
| Hi-index | 0.00 |