Nonmonotonic reasoning.

Logic programming, knowledge representation, and nonmonotonic reasoning = essays dedicated to Michael Gelfond on the occasion of his 65th birthday / by: (書目-語言資料,印刷品)

Explanatory nonmonotonic reasoning by: (書目-語言資料,印刷品)

Explanatory nonmonotonic reasoning by: (書目-語言資料,印刷品)

The many valued and non-monotonic turn in logic by: (書目-語言資料,印刷品)

Nonmonotonic reasoning : = essays celebrating its 30th anniversary / by: (書目-語言資料,印刷品)

A new perspective on nonmonotonic logics by: (書目-語言資料,印刷品)

Formal methods for nonmonotonic and related logics.. Vol II,. Theory revision, inheritance, and various abstract properties by: (書目-語言資料,印刷品)

Formal methods for nonmonotonic and related logics.. Vol I:,. Preference and size by: (書目-語言資料,印刷品)

Formal methods (Computer science)

Artificial intelligence.

Many-valued logic.

Programming Techniques.

Logic.

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Artificial Intelligence (incl. Robotics)

Computer Science.

Philosophy of Science.

Nonmonotonic reasoning.

Logic programming.

Default reasoning.

Logic, Symbolic and mathematical.