2585 search results - page 187 / 517 » Automating Coherent Logic |
167
click to vote
ICLP
2007
Springer
16 years 20 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...
152
click to vote
LPNMR
2007
Springer
16 years 19 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...
161
click to vote
TARK
2007
Springer
16 years 19 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...
168
click to vote
CSL
2005
Springer
16 years 1 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...
154
click to vote
LPAR
2005
Springer
16 years 6 hour ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...