Sciweavers

11 search results - page 3 / 3
» dl2asp: Implementing Default Logic via Answer Set Programmin...
Sort
View
NMR
2004
Springer
13 years 11 months ago
Frame consistency: computing with causal explanations
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
Andrea Bracciali, Antonis C. Kakas