3970 search results - page 445 / 794 » A Logic For Causal Reasoning |
189
Voted
PADL
2005
Springer
16 years 8 days ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
178
click to vote
LPAR
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...
162
click to vote
BIRTHDAY
2003
Springer
16 years 23 hour ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
155
click to vote
KI
1999
Springer
15 years 11 months ago
1999
Springer
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, it can, for instance, be u...
195
click to vote
AAAI
2008
15 years 9 months ago
2008
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...