Sciweavers

1022 search results - page 17 / 205
» Stable models and circumscription
Sort
View
LPNMR
2007
Springer
15 years 10 months ago
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...
ICLP
1992
Springer
15 years 8 months ago
The Stable Models of a Predicate Logic Program
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel