LUPS---a language for updating logic programs
Artificial Intelligence
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
Maximal state independent approximations to minimal real change
Annals of Mathematics and Artificial Intelligence
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming
Journal of Automated Reasoning
Logic Programming Updating - A Guided Approach
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
The Complexity of Logic Program Updates
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Maximal Expansions of Database Updates
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
LUPS - A Language for Updating Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Monotone Expansion of Updates in Logical Databases
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
On Complexity of Updates through Integrity Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
Towards generalized rule-based updates
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A causal theory of ramifications and qualifications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Revising knowledge in multi-agent systems using revision programming with preferences
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Approximating answer sets of unitary lifschitz-woo programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
| Hi-index | 0.00 |