156
click to vote
ASP
15 years 2 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...
196
click to vote
GIS
15 years 10 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...
100
click to vote
ASP
15 years 2 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. ...
ASP
15 years 2 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 ...
ASP
15 years 2 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