2236 search results - page 164 / 448 » Language Independence and Language Tolerance in Logic Progra... |
160
click to vote
ASPLOS
2006
ACM
16 years 13 days ago
2006
ACM
Redundant threading architectures duplicate all instructions to detect and possibly recover from transient faults. Several lighter weight Partial Redundant Threading (PRT) archite...
158
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
This paper presents iXSCL, an XML based language for the specification of objects in the Soft Computing area. iXSCL adopts a compositional approach in which objects are construct...
297
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
194
click to vote
CCL
1994
Springer
15 years 10 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
176
click to vote
UAI
2003
15 years 7 months ago
2003
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...