3546 search results - page 384 / 710 » A Causal Logic of Logic Programming |
129
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
ICLP
2005
Springer
15 years 7 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 ...
110
click to vote
ICFEM
2004
Springer
15 years 7 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...
126
click to vote
ILP
2003
Springer
15 years 6 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...
115
click to vote
ICLP
2001
Springer
15 years 6 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...