2012 search results - page 195 / 403 » CORAL - Control, Relations and Logic |
173
click to vote
AUSAI
1998
Springer
15 years 10 months ago
1998
Springer
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...
170
click to vote
CADE
1992
Springer
15 years 10 months ago
1992
Springer
In the "little theories" version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theor...
135
click to vote
KBSE
1995
IEEE
15 years 10 months ago
1995
IEEE
The KBSE community is actively engaged in finding ways to represent software and the activities that relate to various stages in its lifecycle. While the wealth of modeling activ...
183
click to vote
AAAI
2007
15 years 9 months ago
2007
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...
147
click to vote
DLOG
2008
15 years 9 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...