605 search results - page 20 / 121 » Dealing with logical omniscience |
205
click to vote
PLDI
2011
ACM
14 years 8 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
159
click to vote
FUZZIEEE
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper deals with aggregation operators. A new class of aggregation operators, called asymptotically idempotent, is introduced. A generalization of the basic notion of aggregat...
135
click to vote
IJCAI
2001
15 years 7 months ago
2001
We present an empirical analysis of optimization techniques devised to speed up the so-called TBox classification supported by description logic systems which have to deal with ve...
168
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...
162
click to vote
IBERAMIA
2004
Springer
15 years 11 months ago
2004
Springer
The theory of multi-adjoint logic programs has been introduced as a unifying framework to deal with uncertainty, imprecise data or incomplete information. From the applicative part...