3970 search results - page 449 / 794 » A Logic For Causal Reasoning |
165
click to vote
ATAL
2004
Springer
16 years 6 days ago
2004
Springer
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agen...
186
click to vote
LOPSTR
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
186
click to vote
WLP
2004
Springer
16 years 3 days ago
2004
Springer
: The growing use of XML in commercial as well as non-commercial domains to transport information poses new challenges to concepts to access these information. Common ways to acces...
189
click to vote
CSL
2003
Springer
16 years 15 hour ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
151
Voted
AAAI
2007
15 years 9 months ago
2007
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...