4126 search results - page 336 / 826 » Set based logic programming |
133
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. ...
117
click to vote
EUROMICRO
1997
IEEE
15 years 9 months ago
1997
IEEE
Metacomputing is an emergent paradigm that makes possible to distribute applications over a heterogeneous set of computing systems to exploit all available resources. The paper pr...
144
click to vote
CRIWG
2006
15 years 6 months ago
2006
This paper presents a system called CodeBreaker for supporting small and medium size software development based on an extreme programming principle. The system follows a decentrali...
162
click to vote
LPNMR
1993
Springer
15 years 9 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
140
click to vote
ICCD
2004
IEEE
2004
IEEE
Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation
16 years 1 months ago
In this paper we discuss the application of circuit-based logical reasoning to simplify optimization problems expressed as integer linear programs (ILP) over circuit states. We de...