Back to Results
First PageMeta Content
Artificial intelligence / Stable model semantics / Negation as failure / Prolog / Answer set programming / Negation / Inference / Natural deduction / Admissible rule / Logic programming / Logic / Software engineering


Document Date: 2011-09-19 10:31:27

Open Document

File Size: 236,93 KB

Share Result on Facebook
UPDATE