4513 search results - page 545 / 903 » Logic programming with satisfiability |
128
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
134
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
154
click to vote
ILP
2003
Springer
15 years 10 months ago
2003
Springer
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success...
155
click to vote
ICLP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
164
click to vote
LPKR
1997
Springer
15 years 8 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...