2563 search results - page 322 / 513 » Phenomenology, Representations and Complexity |
181
click to vote
WIA
2000
Springer
15 years 10 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
218
click to vote
DESRIST
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we describe the concept of ontological design. We show how ontologies can be used as cognitive maps of complex, ill-structured, plastic problems. They can be used t...
206
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
In this paper, we present a novel method, the first to date to our knowledge, which is capable of directly and automatically producing a concise and idealized 3D representation f...
186
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
218
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Many real-world applications of AI require both probability and first-order logic to deal with uncertainty and structural complexity. Logical AI has focused mainly on handling com...