318 search results - page 10 / 64 » Temporal Disjunctive Logic Programming |
115
Voted
LPNMR
2007
Springer
15 years 8 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...
81
Voted
TOCL
2010
15 years 19 days ago
2010
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
85
Voted
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
115
click to vote
LPNMR
2005
Springer
15 years 7 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...