4573 search results - page 688 / 915 » Automated Reasoning |
183
click to vote
LPNMR
2007
Springer
16 years 22 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...
176
click to vote
LPNMR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
165
click to vote
LPNMR
2007
Springer
16 years 22 days ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
178
click to vote
LPNMR
2007
Springer
16 years 22 days ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
172
click to vote
RR
2007
Springer
16 years 21 days ago
2007
Springer
The most promising feature of the Web services platform is its ability to form new (composite) services by combining the capabilities of already existing (component) services. The ...