662 search results - page 10 / 133 » Logic Programming with Ordered Disjunction |
125
Voted
LPNMR
2007
Springer
15 years 9 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...
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
LPNMR
2004
Springer
15 years 9 months ago
2004
Springer
90
Voted
TOCL
2010
15 years 2 months ago
2010
123
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...