3319 search results - page 192 / 664 » Subshifts, Languages and Logic |
161
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different app...
163
click to vote
ICDT
2007
ACM
16 years 22 days ago
2007
ACM
The first aim of this paper is to present the logical core of XPath 2.0: a logically clean, decidable fragment, which includes most navigational features of XPath 2.0 (complex co...
168
click to vote
ICLP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
161
click to vote
TARK
2007
Springer
16 years 21 days ago
2007
Springer
We examine four approaches for dealing with the logical omniscience problem and their potential applicability: the syntactic approach, awareness, algorithmic knowledge, and imposs...
142
click to vote
AUSAI
2005
Springer
16 years 4 days ago
2005
Springer
We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this set...