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

IndustryTerm

final solution / expanded satisfiability checking algorithms / decision support systems / /

Person

Michael Gelfond / S. Michael Gelfond / John / /

Position

head / non-empty head / /

ProgrammingLanguage

Prolog / /

Technology

expanded satisfiability checking algorithms / /

SocialTag