Sciweavers

3081 search results - page 485 / 617
» A Formal Ontology of Properties
Sort
View
AAAI
2004
15 years 7 months ago
Spatial Aggregation for Qualitative Assessment of Scientific Computations
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...
Chris Bailey-Kellogg, Naren Ramakrishnan
CLIMA
2004
15 years 7 months ago
Declarative Agent Control
In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of ag...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
DAGSTUHL
2006
15 years 7 months ago
An Operator-based Approach to Incremental Development of Conform Protocol State Machines
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
Arnaud Lanoix, Dieu Donné Okalas Ossami, Je...
UAI
1996
15 years 7 months ago
Context-Specific Independence in Bayesian Networks
Bayesiannetworks provide a languagefor qualitatively representing the conditional independence properties of a distribution. This allows a natural and compact representation of th...
Craig Boutilier, Nir Friedman, Moisés Golds...
IJCAI
1989
15 years 7 months ago
A Modest, but Semantically Well Founded, Inheritance Reasoner
A modest exception allowing inheritance reasoner is presented. The reasoner allows restricted, but semantically well founded, defeasible property inheritance. Furthermore, it give...
Fahiem Bacchus