173
Voted
ICLP
15 years 10 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...
161
click to vote
ICLP
15 years 10 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...
150
click to vote
ICLP
15 years 10 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...
145
Voted
ICLP
15 years 10 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...
141
Voted
ICLP
15 years 10 months ago
2004 Springer  |
Automated Reasoning