827 search results - page 93 / 166 » Proof-Theoretic Soundness and Completeness |
76
Voted
AIPS
2003
15 years 2 months ago
2003
Symbolic universal planning based on the reduced Ordered Binary Decision Diagram (OBDD) has been shown to be an efficient approach for planning in non-deterministic domains. To d...
108
Voted
FMOODS
2003
15 years 2 months ago
2003
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 ...
97
Voted
NIPS
2004
15 years 2 months ago
2004
We study the synthesis of neural coding, selective attention and perceptual decision making. We build a hierarchical neural architecture that implements Bayesian integration of no...
111
click to vote
UAI
2001
15 years 2 months ago
2001
We present a sound and complete calculus for causal relevance that uses Pearl's functional causal models as semantics. The calculus consists of axioms and rules of inference ...
99
Voted
AAAI
1998
15 years 2 months ago
1998
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...