4617 search results - page 736 / 924 » Automation of Diagrammatic Reasoning |
174
click to vote
LICS
2003
IEEE
16 years 11 days ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
191
click to vote
LICS
2003
IEEE
16 years 11 days ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
194
click to vote
LICS
2003
IEEE
16 years 11 days ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
170
click to vote
TPHOL
2003
IEEE
16 years 11 days ago
2003
IEEE
Abstract. We show that certain input-output relations, termed inductive invariants are of central importance for termination proofs of algorithms defined by nested recursion. Indu...
207
click to vote
ASP
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...