Fixed point theorems in logic programming
Annals of Mathematics and Artificial Intelligence
Building a knowledge base: an example
Annals of Mathematics and Artificial Intelligence
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
On the existence of stable models of non-stratified logic programs
Theory and Practice of Logic Programming
On finitely recursive programs1
Theory and Practice of Logic Programming
Annals of Mathematics and Artificial Intelligence
Disjunctive Signed Logic Programs
Fundamenta Informaticae
Hi-index | 0.00 |