4573 search results - page 688 / 915 » Automated Reasoning |
151
Voted
LPNMR
2007
Springer
15 years 10 months 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...
137
Voted
LPNMR
2007
Springer
15 years 10 months 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...
128
Voted
LPNMR
2007
Springer
15 years 10 months 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...
140
Voted
LPNMR
2007
Springer
15 years 10 months 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...
132
click to vote
RR
2007
Springer
15 years 9 months 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 ...