4224 search results - page 201 / 845 » Reasoning about Choice |
181
click to vote
TARK
2007
Springer
16 years 1 months ago
2007
Springer
This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through theorems is employed. A new property called Awareness Leads to Knowledge shows t...
169
Voted
LICS
2002
IEEE
16 years 21 hour ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
199
Voted
KR
2010
Springer
15 years 12 months ago
2010
Springer
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the...
184
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
208
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Dominance constraints are widely used in computational linguistics as a language for talking and reasoning about trees. In this paper, we extend dominance constraints by ...