1598 search results - page 64 / 320 » A Unified Computation Model for Functional and Logic Program... |
141
click to vote
ICDCS
1998
IEEE
15 years 8 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
154
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
164
click to vote
AGP
2003
IEEE
15 years 9 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
160
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...
153
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...