Sciweavers

2 search results - page 1 / 1

» Unique, guarded fixed points in an additive setting: Extende...

13

ENTCS
2002

66views more ENTCS 2002»

Unique, guarded fixed points in an additive setting: Extended Abstract

13 years 5 months ago

Unique, guarded fixed points in an additive setting: Extended Abstract

Download www.cs.stevens.edu

Abstract Stephen L. Bloom Department of Computer Science Stevens Institute of Technology Hoboken, NJ 07030 and Zolt

Stephen L. Bloom, Zoltán Ésik

claim paper

Read More »

23

FOIKS
2006
Springer

169views Information Technology» more FOIKS 2006»

Guarded Open Answer Set Programming with Generalized Literals

13 years 9 months ago

Guarded Open Answer Set Programming with Generalized Literals

Download www.kr.tuwien.ac.at

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...

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »