3831 search results - page 146 / 767 » Dynamic Context Logic |
120
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
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...
157
click to vote
LOPSTR
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
151
click to vote
AAAI
2008
15 years 6 months ago
2008
Logic programming with negation offers a compelling approach to abductive reasoning. This paper shows a simple view of abduction in this context for the completion semantics, unde...
142
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a "topological" game for Multiplicative Additive Linear Logic ...
136
click to vote
IJAR
2008
15 years 4 months ago
2008
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...