3481 search results - page 459 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
156
click to vote
PLDI
2006
ACM
15 years 10 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...
132
click to vote
ICFEM
2004
Springer
15 years 9 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...
153
click to vote
ILP
2003
Springer
15 years 9 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...
163
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...
149
click to vote
KES
2006
Springer
15 years 4 months ago
2006
Springer
Distributing pieces of knowledge in large, usually distributed organizations is a central problem in Knowledge and Organization management. Policies for distributing knowledge and...