2062 search results - page 134 / 413 » Derivatives of Logical Formulas |
133
click to vote
CORR
1999
Springer
15 years 3 months ago
1999
Springer
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
168
click to vote
JAIR
2012
13 years 6 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
130
click to vote
ICLP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We study termination of logic programs with dynamic scheduling, as it can be realised using delay declarations. Following previous work, our minimum assumption is that de...
118
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...
116
click to vote
RV
2007
Springer
15 years 10 months ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...