150
click to vote
ICLP
15 years 7 months ago
2004 Springer 
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
142
click to vote
ICLP
15 years 7 months ago
2004 Springer 
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
131
click to vote
ICLP
15 years 7 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...
125
click to vote
ICLP
15 years 7 months ago
2004 Springer 
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
120
click to vote
ICLP
15 years 7 months ago
2004 Springer 
Abstract. We study termination of logic programs with dynamic scheduling, as it can be realised using delay declarations. Following previous work, our minimum assumption is that de...
|
Automated Reasoning