Back to Results
First PageMeta Content
Logic programming / Mathematical logic / Constraint programming / Logic in computer science / Programming paradigms / Satisfiability modulo theories / Answer set programming / Stable model semantics / G-code / Subroutine / Analogy / Algorithm


Under consideration for publication in Theory and Practice of Logic Programming 1 Clingo = ASP + Control: Preliminary Report Martin Gebser1,2 , Roland Kaminski2 , Benjamin Kaufmann2 , and Torsten Schaub2 ∗
Add to Reading List

Document Date: 2014-05-15 19:14:45


Open Document

File Size: 176,31 KB

Share Result on Facebook