Abductive Knowledge Base Updates for Contextual Reasoning
Journal of Intelligent Information Systems
Abductive coordination for logic agents
Proceedings of the 1999 ACM symposium on Applied computing
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Induction, Abduction, and Consequence-Finding
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
An Implementation for Abductive Logic Agents
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
The unified problem-solving method development language UPML
Knowledge and Information Systems
How Can Agents Know What to Assume When?
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
An abductive framework for general logic programs and other nonmonotonic systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Bottom-up abduction by model generation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Consequence-finding based on ordered linear resolution
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Found ations of assumption-based truth maintenance systems: preliminary report
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Found ations of assumption-based truth maintenance systems: preliminary report
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Assumption-based reasoning in dynamic normative agent systems
Web Intelligence and Agent Systems
ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$
Journal of Automated Reasoning
Implementing weighted abduction in Markov logic
IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
The SOCS computational logic approach to the specification and verification of agent societies
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
LAILA: a language for coordinating abductive reasoning among logic agents
Computer Languages
Computational Linguistics
| Hi-index | 0.00 |