1097 search results - page 5 / 220 » Revision Programming = Logic Programming Integrity Constra... |
JELIA
2004
Springer
14 years 11 days ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
APIN
2002
13 years 6 months ago
2002
Abstract. In this paper, we describe how to realise alarm-correlation in cellular phone networks using extended logic programming which provides integrity constraints, implicit and...
DALT
2008
Springer
13 years 8 months ago
2008
Springer
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
ICWL
2007
Springer
14 years 1 months ago
2007
Springer
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...
AAAI
2008
13 years 9 months ago
2008
In this article we work on certain aspects of the belief change theory in order to make them suitable for argumentation systems. This approach is based on Defeasible Logic Program...