140 search results - page 8 / 28 » Stable Models and Non-Determinism in Logic Programs with Neg... |
114
click to vote
ASP
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
ICLP
1992
Springer
15 years 3 months ago
1992
Springer
LPNMR
2007
Springer
15 years 5 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...
AMAI
2008
Springer
14 years 11 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
76
Voted
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...