618 search results - page 21 / 124 » Meaning and Partiality Revised |
156
Voted
AI
2001
Springer
15 years 5 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
133
Voted
WFLP
2000
Springer
15 years 5 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
109
click to vote
ASE
2006
15 years 1 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
114
click to vote
AAAI
2007
15 years 4 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
130
Voted
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...