654 search results - page 42 / 131 » Graph-based Knowledge Representation and Reasoning |
IJCAI
1989
13 years 10 months ago
1989
Platypus is a constraint-based reasoning engine for synthesis, diagnosis and other recognition tasks. While its target applications are similar to those of many rule-based expert ...
AI
2010
Springer
13 years 9 months ago
2010
Springer
In this paper, a fairly general framework for reasoning from inconsistent propositional bases is defined. Variable forgetting is used as a basic operation for weakening pieces of ...
CADE
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
FSKD
2011
Springer
12 years 8 months ago
2011
Springer
—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...
ASP
2003
Springer
14 years 2 months ago
2003
Springer
We present CR-Prolog2, an extension of A-Prolog with cr-rules and ordered disjunction. CR-rules can be used to formalize various types of common-sense knowledge and reasoning, tha...