Sciweavers

972 search results - page 48 / 195
» Reasoning with Conditional Time-Intervals
Sort
View
JAIR
2006
88views more  JAIR 2006»
13 years 7 months ago
On Graphical Modeling of Preference and Importance
In recent years, CP-nets have emerged as a useful tool for supporting preference elicitation, reasoning, and representation. CP-nets capture and support reasoning with qualitative...
Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Sh...
FLAIRS
2004
13 years 9 months ago
Computing Marginals with Hierarchical Acyclic Hypergraphs
How to compute marginals efficiently is one of major concerned problems in probabilistic reasoning systems. Traditional graphical models do not preserve all conditional independen...
S. K. Michael Wong, Tao Lin
DEON
2006
Springer
13 years 9 months ago
A Logical Architecture of a Normative System
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
Guido Boella, Leendert W. N. van der Torre
ECSQARU
2007
Springer
14 years 1 months ago
Language Invariance and Spectrum Exchangeability in Inductive Logic
A sufficient condition is given for a probability function in Inductive Logic (with relations of all arities) satisfying spectrum exchangeability to additionally satisfy Language ...
Jürgen Landes, Jeff B. Paris, Alena Vencovsk&...
CADE
2005
Springer
14 years 8 months ago
Connecting Many-Sorted Theories
Abstract. Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must...
Franz Baader, Silvio Ghilardi