1941 search results - page 18 / 389 » Reasoning about Computations Using Two-Levels of Logic |
104
click to vote
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
107
click to vote
CCIA
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we present an action language which is called AP oss in order to perform reasoning about actions under uncertainty. This language is based on a possibilistc logic pr...
115
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
157
Voted
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
111
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...