LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Minimum model semantics for logic programs with negation-as-failure
ACM Transactions on Computational Logic (TOCL)
Disjunction and modular goal-directed proof search
ACM Transactions on Computational Logic (TOCL)
Temporal stratification tests for linear and branching-time deductive databases
Theoretical Computer Science
A connectionist computational model for epistemic and temporal reasoning
Neural Computation
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Conservative intensional extension of Tarski's semantics
Advances in Artificial Intelligence - Special issue on Artificial Intelligence Applications in Biomedicine
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |