3470 search results - page 225 / 694 » Head-Elementary-Set-Free Logic Programs |
167
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
159
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
166
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
183
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
202
click to vote
ASP
2005
Springer
16 years 1 days ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...