5506 search results - page 124 / 1102 » Minimal Logic Programs |
135
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
121
click to vote
ICDCS
2003
IEEE
15 years 8 months ago
2003
IEEE
Mobile code carried by a mobile agent can automatically travel to several data sources in order to complete a designated program. Traditionally, most mobile agent systems [7][8][1...
132
click to vote
ASPDAC
2000
ACM
15 years 7 months ago
2000
ACM
Global placement of hypergraphs is critical in the top-down placement of large timing-driven designs 10, 16 . Placement quality is evaluated in terms of the half-perimeter wirelen...
250
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
105
click to vote
SUM
2009
Springer
15 years 9 months 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...