5482 search results - page 127 / 1097 » Logic Programming and Databases |
103
Voted
BIOINFORMATICS
1999
15 years 4 months ago
1999
146
click to vote
FMICS
2008
Springer
15 years 6 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...
130
Voted
ECAI
2010
Springer
15 years 6 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...
132
click to vote
AGP
1998
IEEE
15 years 9 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...
138
click to vote
AAAI
2004
15 years 6 months ago
2004
Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop ...