1937 search results - page 202 / 388 » Rule Based Updates on Simple Knowledge Bases |
168
click to vote
MKM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
144
click to vote
ITS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
148
click to vote
AGTIVE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
131
click to vote
ITCC
2002
IEEE
15 years 9 months ago
2002
IEEE
Software tools used to administer databases are vendor specific, proprietary, and require extensive prior database knowledge on the part of the database professional. We present d...
149
click to vote
DLOG
2007
15 years 6 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...