736 search results - page 133 / 148 » A Science of Reasoning (Extended Abstract) |
129
Voted
CADE
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
97
Voted
LPKR
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
107
Voted
DLOG
2007
15 years 2 months ago
2007
Abstract. Concept approximation is an inference service for Description Logics that provides “translations” of concept descriptions from one DL to a less expressive DL. In [4] ...
109
click to vote
FLOPS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
101
click to vote
ECAI
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...