442 search results - page 33 / 89 » Knowledge Representation Using High-Level Non-monotonic Reas... |
112
click to vote
PADL
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
128
Voted
ITS
2004
Springer
15 years 8 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 ...
138
click to vote
CSL
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ï...
130
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
114
Voted
AMAI
2005
Springer
15 years 2 months ago
2005
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...