3776 search results - page 392 / 756 » Partition-Based Logical Reasoning |
145
Voted
CADE
2002
Springer
16 years 7 months ago
2002
Springer
188
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
This paper reports on the formal proof of correctness of a compiler from a substantial subset of Java source language to Java bytecode in the proof environment Isabelle. This work ...
190
Voted
RWEB
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attentio...
196
Voted
TIME
2008
IEEE
16 years 1 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
196
click to vote
IDEAL
2005
Springer
16 years 29 days ago
2005
Springer
Artificial neural networks play an important role for pattern recognition tasks. However, due to poor comprehensibility of the learned network, and the inability to represent expl...