143 search results - page 13 / 29 » Fixed-Parameter Complexity of Semantics for Logic Programs |
153
click to vote
DALT
2005
Springer
15 years 8 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
231
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
111
click to vote
ENTCS
2010
15 years 3 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
141
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
134
click to vote
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...