884 search results - page 75 / 177 » Using Nested Logic Programs for Answer Set Programming |
LPNMR
2009
Springer
15 years 8 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...
248
click to vote
ICLP
2009
Springer
16 years 2 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 (...
138
Voted
PLANX
2007
15 years 3 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...
123
click to vote
ILP
2007
Springer
15 years 8 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 ...
138
click to vote
ICLP
1999
Springer
15 years 6 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...