First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Loop formulas for circumscription
Artificial Intelligence
Solving logic program conflict through strong and weak forgettings
Artificial Intelligence
Remedying inconsistent sets of premises
International Journal of Approximate Reasoning
Artificial Intelligence
Semantic forgetting in answer set programming
Artificial Intelligence
Compact preference representation and Boolean games
Autonomous Agents and Multi-Agent Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Variable forgetting in preference relations over propositional domains
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Loop formulas for circumscription
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Knowledge forgetting: Properties and applications
Artificial Intelligence
A unified framework for representing logic program updates
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Compiling causal theories to successor state axioms and STRIPS-like systems
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Causal theories of action: a computational core
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Variable forgetting in reasoning about knowledge
Journal of Artificial Intelligence Research
Solving logic program conflict through strong and weak forgettings
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Loop formulas for circumscription
Artificial Intelligence
Solving logic program conflict through strong and weak forgettings
Artificial Intelligence
Remedying inconsistent sets of premises
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Projection and scope-determined circumscription
Journal of Symbolic Computation
| Hi-index | 0.00 |