60 search results - page 1 / 12 » Infinitary Action Logic: Complexity, Models and Grammars |
SLOGICA
2008
13 years 4 months ago
2008
BSL
2004
13 years 4 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
CSL
2010
Springer
13 years 5 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...
AIPS
1998
13 years 6 months ago
1998
Casting planning problems as propositional satis ability problems has recently been shown to be an effective way of scaling up plan synthesis. Until now, the bene ts of this appro...
AI
2010
Springer
13 years 3 months ago
2010
Springer