ICLP
13 years 11 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...
NMR
13 years 11 months ago
2004 Springer 
Until now, AI argumentation-based systems have been mainly developed for handling inconsistency. In that explanation-oriented perspective, only one type of argument has been consi...
NMR
13 years 11 months ago
2004 Springer 
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
NMR
13 years 11 months ago
2004 Springer 
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
NMR
13 years 11 months ago
2004 Springer 
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
|
Automated Reasoning