546 search results - page 49 / 110 » Substructural Operational Semantics as Ordered Logic Program... |
97
Voted
AGP
1998
IEEE
15 years 5 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...
118
click to vote
ASP
2001
Springer
15 years 5 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
136
Voted
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
112
Voted
ENTCS
2007
15 years 20 days ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
218
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...