381 search results - page 33 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
105
click to vote
RIAO
2000
15 years 2 months ago
2000
We present a framework to analyze color documents of complex layout. In addition, no assumption is made on the layout. Our framework combines in a content-driven bottom-up approac...
120
click to vote
JUCS
2006
15 years 1 months ago
2006
Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of...
130
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
115
click to vote
ICLP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
127
click to vote
CADE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...