662 search results - page 10 / 133 » Logic Programming with Ordered Disjunction |
LPNMR
2007
Springer
14 years 1 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
14 years 2 months ago
2009
Springer
LPNMR
2004
Springer
14 years 25 days ago
2004
Springer
TOCL
2010
13 years 5 months ago
2010
LPNMR
2005
Springer
14 years 29 days 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...