1223 search results - page 33 / 245 » A Logic for Reasoning about Evidence |
117
click to vote
OWLED
2007
15 years 3 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
113
click to vote
TASE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
138
click to vote
AMSTERDAM
2009
14 years 11 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...
120
click to vote
LPAR
2010
Springer
15 years 11 days ago
2010
Springer
Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Ford’s logi...
145
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...