4401 search results - page 245 / 881 » Computing with Default Logic |
141
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
174
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
121
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
This paper describes a family of novel dynamically reconfigurable logic gates based on double-gate carbon nanotube field-effect transistors which demonstrate p-type or n-type switc...
130
click to vote
SUM
2009
Springer
16 years 16 hour ago
2009
Springer
Abstract. In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of infor...
148
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...