3624 search results - page 436 / 725 » Abstract Algebraic Logic |
184
Voted
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
183
click to vote
DLOG
2007
15 years 9 months ago
2007
We outline DLMedia, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolog...
157
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
158
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we propose more flexible applicability conditions for the folding rule that increase the power of existing unfold/fold systems for normal logic programs. O...
176
click to vote
CLIMA
2008
15 years 8 months ago
2008
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...