2062 search results - page 165 / 413 » Derivatives of Logical Formulas |
114
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
149
click to vote
BDA
2006
15 years 5 months ago
2006
Surprisingly enough, there has been few investigations for typing references of semistructured data and XML documents. This paper build on a previous proposal [7] introducing simp...
129
click to vote
AAAI
1998
15 years 5 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...
116
click to vote
IJCAI
1993
15 years 5 months ago
1993
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
141
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...