<--- Back to Details
First PageDocument Content
Artificial intelligence / Stable model semantics / Negation as failure / Prolog / Answer set programming / Negation / Inference / Natural deduction / Admissible rule / Logic programming / Logic / Software engineering
Date: 2011-09-19 10:31:27
Artificial intelligence
Stable model semantics
Negation as failure
Prolog
Answer set programming
Negation
Inference
Natural deduction
Admissible rule
Logic programming
Logic
Software engineering

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

Download Document from Web Archive

File Size: 236,93 KB