3776 search results - page 392 / 756 » Partition-Based Logical Reasoning |
143
Voted
CADE
2002
Springer
16 years 5 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 ...
145
click to vote
RWEB
2009
Springer
15 years 11 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...
140
Voted
TIME
2008
IEEE
15 years 11 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...
138
click to vote
IDEAL
2005
Springer
15 years 10 months 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...