884 search results - page 75 / 177 » Using Nested Logic Programs for Answer Set Programming |
118
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input fro...
280
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
166
click to vote
PLANX
2007
15 years 6 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
145
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
162
click to vote
ICLP
1999
Springer
15 years 9 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...