Principles, practice, and applications of tabled logic programming
ACM SIGSOFT Software Engineering Notes
A New Formulation of Tabled Resolution with Delay
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Evolving Multi-agent Viewpoints - an Architecture
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Psychiatric Diagnosis from the Viewpoint of Computational Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Belief revision via Lamarckian evolution
New Generation Computing
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
Abduction in well-founded semantics and generalized stable models via tabled dual programs
Theory and Practice of Logic Programming
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |