850 search results - page 68 / 170 » A Logic Programming Language Based on Binding Algebras |
171
click to vote
AGP
2010
IEEE
15 years 9 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
148
click to vote
ICLP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
156
Voted
GPCE
2008
Springer
15 years 5 months ago
2008
Springer
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL i...
145
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
142
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...