Back to Results
First PageMeta Content
Non-classical logic / Logic programming / Philosophical logic / Default logic / Autoepistemic logic / First-order logic / Prolog / Stable model semantics / Non-monotonic logic / Logic / Mathematical logic / Reasoning


В издательстве «Физматлит» в 2004 г
Add to Reading List

Document Date: 2004-01-22 06:29:02

Open Document

File Size: 124,97 KB

Share Result on Facebook

Company

Justification-Based Truth Maintenance Systems / Assumption-Based Truth Maintenance Systems / Decision-Making Systems / Truth Maintenance Systems / Argumentation Systems / Decision Support Systems / Defeasible Argumentation Systems / McDermott / /

Facility

Building Decision Functions / Building Learning / Stable Model Based Semantics / Stable Theories / Stable Model Semantics / Building Modal Logic / /

Holiday

Assumption / /

Organization

Rough Features CHAPTER / Organization of Abductive Inference / EXACT REASONING CHAPTER / Obtained Results CHAPTER / /

Position

Teacher / /

ProgrammingLanguage

Prolog / /

Technology

EG2 Algorithm / Designed Algorithms / RS1 Algorithm / Scolemization Algorithm / Unification Algorithm / MAXMIN Algorithm / DREV Algorithm / Sequential Inference Algorithm / /

SocialTag