211
click to vote
ASP
15 years 8 months ago
2005 Springer 
Preferences are useful when the space of feasible solutions of a given problem is dense but not all these solutions are equivalent w.r.t. some additional requirements. In this case...
256
click to vote
GIS
16 years 3 months ago
2005 ACM 
Recent advances in low-power sensing devices coupled with the widespread availability of wireless ad-hoc networks have fueled the development of sensor networks. These are typical...
144
click to vote
ASP
15 years 8 months ago
2005 Springer 
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
141
click to vote
ASP
15 years 8 months ago
2005 Springer
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
144
click to vote
ASP
15 years 8 months ago
2005 Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
|
Automated Reasoning