10568 search results - page 336 / 2114 » Computer Intelligence and Formalization |
132
click to vote
ECAL
2001
Springer
15 years 8 months ago
2001
Springer
In this paper a formal approach to construction of a similarity measure for complex creatures is presented. The simulation model is described, and a Framsticks agent is expressed i...
122
click to vote
DIAGRAMS
2000
Springer
15 years 8 months ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
119
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we study unsatisfiable queries posed to a mediator in an information integration system and expressed in the logical formalism of the information integration system...
128
click to vote
ECAI
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...
153
click to vote
IAT
2009
IEEE
15 years 8 months ago
2009
IEEE
This work proposes a system process for extracting automatically a fuzzy ontology from a collection of web resources. The approach exploits the Formal Concept Analysis theory for ...