Negation as Failure through Abduction: Reasoning about Termination
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Classes of terminating logic programs
Theory and Practice of Logic Programming
Interactive access control for autonomic systems: From theory to implementation
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
The role of abduction in declarative authorization policies
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Distributed abductive reasoning with constraints
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Multi-agent abductive reasoning with confidentiality
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
An ID-logic formalization of the composition of autonomous databases
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Hi-index | 0.00 |