193
Voted
ASP
15 years 6 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...
126
click to vote
ASP
15 years 6 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. ...
120
Voted
ASP
15 years 6 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 ...
129
click to vote
ASP
15 years 6 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...
119
Voted
ASP
15 years 2 months ago
2005 Springer 
Abstract. The paper describes HıLεX, a new ASP-based system for the extraction of information from unstructured documents. Unlike previous systems, which are mainly syntactic, HÄ...
|
Automated Reasoning