850 search results - page 68 / 170 » A Logic Programming Language Based on Binding Algebras |
138
click to vote
AGP
2010
IEEE
15 years 6 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...
122
click to vote
ICLP
2004
Springer
15 years 6 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...
132
click to vote
GPCE
2008
Springer
15 years 2 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...
109
click to vote
CONCUR
2004
Springer
15 years 6 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...
113
click to vote
AI
2004
Springer
15 years 1 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...