5506 search results - page 111 / 1102 » Minimal Logic Programs |
127
click to vote
AMAI
2008
Springer
15 years 3 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
124
click to vote
ECSQARU
2009
Springer
15 years 9 months ago
2009
Springer
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...
129
click to vote
FMICS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
113
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
116
click to vote
AGP
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...