3891 search results - page 344 / 779 » A logic for strategic reasoning |
173
click to vote
ICLP
2007
Springer
16 years 27 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...
158
click to vote
LPNMR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We describe the development of a constraint logic programming based system, called CPP, which is capable of generating most preferred plans with respect to a user’s pre...
183
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
166
click to vote
TARK
2007
Springer
16 years 25 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...
171
click to vote
CSL
2005
Springer
16 years 8 days ago
2005
Springer
We show that the modular decomposition of a countable graph can be defined from this graph, given with an enumeration of its set of vertices, by formulas of Monadic Second-Order l...