3970 search results - page 157 / 794 » A Logic For Causal Reasoning |
144
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Friedman and Halpern have introduced the inference by plausibility structures, which provides semantics for various default logics. This is a generalization of known inferences, su...
127
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
136
click to vote
ICLP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
170
click to vote
TIME
2003
IEEE
15 years 9 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
159
Voted
COSIT
1999
Springer
15 years 8 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...