4074 search results - page 229 / 815 » Defining Computational Aesthetics |
91
Voted
AAAI
2006
15 years 2 months ago
2006
In this paper, we propose a family of operators for merging stratified knowledge bases under integrity constraints. The operators are defined in a model-theoretic way. Our merging...
96
Voted
AISM
2004
15 years 2 months ago
2004
The `Need to Know' concept is often quoted but rarely defined in the literature. In general the principle directs that unless an individual has a specific reason to have acce...
102
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...
93
Voted
DLOG
2006
15 years 2 months ago
2006
We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent C...
108
Voted
FLAIRS
2004
15 years 2 months ago
2004
In this paper we define the notion of causal chains. Causal chains are a particular kind of sequential patterns that reflect causality relations according to background knowledge....