303 search results - page 50 / 61 » From Description Logic Provers to Knowledge Representation S... |
122
click to vote
FOMI
2009
14 years 10 months ago
2009
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...
117
Voted
IJDAR
2002
15 years 3 days ago
2002
We present a document analysis system able to assign logical labels and extract the reading order in a broad set of documents. All information sources, from geometric features and ...
122
click to vote
COMPUTER
2007
15 years 12 days ago
2007
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...
124
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
101
click to vote
FTRTFT
1998
Springer
15 years 4 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...