248
click to vote
ICLP
16 years 1 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...
233
click to vote
ICLP
16 years 1 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...
207
Voted
ICLP
16 years 1 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...
206
click to vote
ICLP
16 years 1 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...
206
click to vote
ICLP
16 years 1 months ago
2004 Springer 
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
|
Automated Reasoning