1814 search results - page 39 / 363 » Extended First-Order Logic |
95
Voted
IJCAI
1993
15 years 2 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
90
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...
121
Voted
DEDUCTIVE
1994
15 years 2 months ago
1994
Non-deterministic operators are needed in First-Order relational languages and Datalog to extend the expressive power of such languages and support efficient formulations of lowco...
196
Voted
POPL
1999
ACM
15 years 5 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
96
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. We present a formally verified quantifier elimination procedure for the first order theory over linear mixed real-integer arithmetics in higher-order logic based on a wor...