Schlechta, Karl.

Overview

Works:	4 works in 4 publications in 1 languages

Titles

A New Perspective on Nonmonotonic Logics by: SpringerLink (Online service); Schlechta, Karl.; Gabbay, Dov M. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Conditionals and modularity in general logics by: Schlechta, Karl.; Gabbay, Dov M.; SpringerLink (Online service) (Language materials, printed)

Formal methods for nonmonotonic and related logics.. Vol I:,. Preference and size by: Schlechta, Karl.; SpringerLink (Online service) (Language materials, printed)

Formal Methods for Nonmonotonic and Related Logics = Vol I: Preference and Size / by: Schlechta, Karl.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Formal methods for nonmonotonic and related logics.. Vol II,. Theory revision, inheritance, and various abstract properties by: Schlechta, Karl.; SpringerLink (Online service) (Language materials, printed)

A new perspective on nonmonotonic logics by: SpringerLink (Online service); Schlechta, Karl.; Gabbay, Dov M. (Language materials, printed)

Formal Methods for Nonmonotonic and Related Logics = Vol II: Theory Revision, Inheritance, and Various Abstract Properties / by: SpringerLink (Online service); Schlechta, Karl. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Subjects

Modality (Logic) Philosophy of Science. Mathematical logic. Artificial Intelligence (incl. Robotics) Nonmonotonic reasoning. Formal methods (Computer science) Philosophy and science. Artificial Intelligence. Artificial intelligence. Logic, Symbolic and mathematical. Conditionals (Logic) Computer Science. Logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.