303 search results - page 36 / 61 » From Description Logic Provers to Knowledge Representation S... |
91
Voted
CORR
2006
Springer
15 years 15 days ago
2006
Springer
ABSTRACT. Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical repr...
85
Voted
IBPRIA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper an object learning system for image understanding is proposed. The knowledge acquisition system is designed as a supervised learning task, which emphasises ...
116
Voted
DLOG
2004
15 years 1 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
89
Voted
IJCAI
1989
15 years 1 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 ...
124
Voted
KR
2000
Springer
15 years 4 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...