Sciweavers

3970 search results - page 5 / 794
» A Logic For Causal Reasoning
Sort
View
CORR
2011
Springer
180views Education» more  CORR 2011»
14 years 6 months ago
Representing First-Order Causal Theories by Logic Programs
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vlad...
83
Voted
JMLR
2008
120views more  JMLR 2008»
14 years 11 months ago
Causal Reasoning with Ancestral Graphs
Causal reasoning is primarily concerned with what would happen to a system under external interventions. In particular, we are often interested in predicting the probability distr...
Jiji Zhang
90
Voted
AAAI
1990
15 years 25 days ago
A Circumscriptive Theory for Causal and Evidential Support
Reasoning about causality is an interesting application area of formal nonmonotonic theories. Here we focus our attention on a certain aspect of causal reasoning, namely causaZ as...
Eunok Paek
104
Voted
AAAI
2007
15 years 2 months ago
Forgetting Actions in Domain Descriptions
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...
Esra Erdem, Paolo Ferraris
79
Voted
ICLP
2007
Springer
15 years 5 months ago
Multivalued Action Languages with Constraints in CLP(FD)
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
Agostino Dovier, Andrea Formisano, Enrico Pontelli