Sciweavers

805 search results - page 120 / 161
» On the Semantics of Conditional Commitment
Sort
View
IJCAI
2001
15 years 5 months ago
IBAL: A Probabilistic Rational Programming Language
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
Avi Pfeffer
FLAIRS
2003
15 years 5 months ago
Automated Data Fusion and Situation Assessment in Space Systems
Spacecraft are key components of military operations and everyday life. To achieve space situation awareness, human operators must monitor large numbers of parameters. During off-...
Mark L. Hanson, Paul G. Gonsalves
FMOODS
2003
15 years 5 months ago
Inductive Proof Outlines for Monitors in Java
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
Erika Ábrahám, Frank S. de Boer, Wil...
UAI
2004
15 years 5 months ago
Mixtures of Deterministic-Probabilistic Networks and their AND/OR Search Space
The paper introduces mixed networks, a new framework for expressing and reasoning with probabilistic and deterministic information. The framework combines belief networks with con...
Rina Dechter, Robert Mateescu
IJCAI
1989
15 years 5 months ago
Plausible Inferencing Using Extended Composition
This paper considers the composition of tuples from two relations in order to derive additional tuples of one of these relations. Our purpose is to determine when the composition i...
Michael N. Huhns, Larry M. Stephens