508 search results - page 25 / 102 » A logical account of pspace |
AMSTERDAM
2009
13 years 5 months ago
2009
An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...
AAAI
2008
13 years 10 months ago
2008
In this paper we investigate nonmonotonic `modes of inference'. Our approach uses modal (conditional) logic to establish a uniform framework in which to study nonmonotonic co...
JAIR
2006
13 years 7 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
In [1], systems of weakening of intuitionistic negation logic called Zn and CZn were developed in the spirit of da Costa’s approach(c.f. [2]) by preserving, differently from da C...
AAAI
2006
13 years 9 months ago
2006
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore's Autoepistemic Logic, Konolige's ...