2 search results - page 1 / 1 » Unique, guarded fixed points in an additive setting: Extende... |
101
click to vote
ENTCS
2002
15 years 4 months ago
2002
Abstract Stephen L. Bloom Department of Computer Science Stevens Institute of Technology Hoboken, NJ 07030 and Zolt
164
click to vote
FOIKS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...