653 search results - page 8 / 131 » Partial equilibrium logic |
113
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
107
Voted
AAAI
2006
15 years 3 months ago
2006
It is often convenient to represent probabilistic models in a first-order fashion, using logical atoms such as
115
Voted
ELP
1993
15 years 6 months ago
1993
We describe how the calculus of partial inductive definitions is used to represent logics. This calculus includes the powerful principle of definitional reflection. We describe two...
116
Voted
JAR
2002
15 years 1 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
109
Voted
ENTCS
2006
15 years 1 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...