7335 search results - page 424 / 1467 » Scene Based Reasoning |
175
click to vote
DLOG
1998
15 years 7 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
131
click to vote
DAGSTUHL
1990
15 years 7 months ago
1990
A parallel distributed computational model for reasoning and learning is discussed based on a belief network paradigm. Issues like reasoning and learning for the proposed model ar...
159
click to vote
DLOG
2008
15 years 7 months ago
2008
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...
167
click to vote
EOR
2007
15 years 6 months ago
2007
The purpose of this paper is to learn the order of criteria of lexicographic decision under various reasonable assumptions. We give a sample evaluation and an oracle based algorit...
148
click to vote
DLOG
2010
15 years 4 months ago
2010
The least common subsumer (lcs) w.r.t general EL-TBoxes does not need to exists in general due to cyclic axioms. In this paper we present an algorithm for computing role-depth boun...