4617 search results - page 836 / 924 » Automation of Diagrammatic Reasoning |
162
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
180
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...
149
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
174
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
172
click to vote
TPHOL
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...