Back to Results
First PageMeta Content
Logic programming / Mathematical logic / Theoretical computer science / Logic / Order theory / Model theory / Stable model semantics / Path ordering / Negation as failure / FO


Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation Mario Alviano, Wolfgang Faber, and Nicola Leone Department of Mathematics University of CalabriaRende (CS), Italy
Add to Reading List

Document Date: 2010-05-17 20:33:04


Open Document

File Size: 166,39 KB

Share Result on Facebook