1131 search results - page 86 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
195
Voted
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...
100
Voted
RTA
2010
Springer
15 years 6 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on de...
139
Voted
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
125
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
122
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...