Back to Results
First PageMeta Content
Model theory / Quantification / Answer set programming / Logic programming / FO / Functional predicate / Universal quantification / Limit of a function / Expected value / Predicate


Advances in gringo series 3 Martin Gebser, Roland Kaminski, Arne K¨onig, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam Abstract. We describe the major new features emerging from a significant rede
Add to Reading List

Document Date: 2011-04-05 15:02:45


Open Document

File Size: 115,18 KB

Share Result on Facebook