2302 search results - page 258 / 461 » Basic Description Logics |
155
click to vote
PPDP
2009
Springer
16 years 15 days ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
173
click to vote
LPNMR
2007
Springer
16 years 2 days ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
174
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
165
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
Proof theoretic characterizations of complexity classes are of considerable interest because they link levels of conceptual abstraction to computational complexity. We consider he...
153
click to vote
LORI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The aim of this work is propose a logical approach to intention dynamics based on the notion of assignment [7, 3]. The function of an assignment is to associate the truth...