662 search results - page 10 / 133 » Logic Programming with Ordered Disjunction |
79
Voted
LPNMR
2007
Springer
15 years 3 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...
55
Voted
LPNMR
2009
Springer
15 years 4 months ago
2009
Springer
67
Voted
LPNMR
2004
Springer
15 years 3 months ago
2004
Springer
TOCL
2010
14 years 8 months ago
2010
LPNMR
2005
Springer
15 years 3 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...