10568 search results - page 337 / 2114 » Computer Intelligence and Formalization |
128
click to vote
FLAIRS
2007
15 years 6 months ago
2007
In this paper we propose an ontology (formal knowledge base) creation methodology based on integrating external ontologies into the one developed by a community of the domain expe...
128
click to vote
EVOW
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper introduces AtomSwarm, a framework for soundbased performance using swarm dynamics. The classical ruleset for flocking simulations is augmented with genetically...
115
click to vote
FLAIRS
2003
15 years 5 months ago
2003
In this paper, we discuss a formalism for modeling regions that are exposed to movement or deformation. The basis of our formalism is the RCC theory, which uses topological relati...
127
click to vote
AAAI
1990
15 years 5 months ago
1990
Reasoning about causality is an interesting application area of formal nonmonotonic theories. Here we focus our attention on a certain aspect of causal reasoning, namely causaZ as...
138
click to vote
AMAI
2008
Springer
15 years 4 months ago
2008
Springer
We provide a description of generalized default logic as a unified formalism for nonmonotonic reasoning. Special attention will be paid to the role of the monotonic logic underlyi...