Languages
Schlechta, Karl.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Formal methods for nonmonotonic and related logics.Vol II,Theory revision, inheritance, and various abstract properties
by:
Schlechta, Karl.; SpringerLink (Online service)
(Electronic resources)
A new perspective on nonmonotonic logics
by:
Gabbay, Dov M.; Schlechta, Karl.; SpringerLink (Online service)
(Electronic resources)
Formal methods for nonmonotonic and related logics.Vol I:,Preference and size
by:
Schlechta, Karl.; SpringerLink (Online service)
(Electronic resources)
Conditionals and modularity in general logics
by:
Gabbay, Dov M.; Schlechta, Karl.; SpringerLink (Online service)
(Electronic resources)
Logical tools for handling change in agent-based systems
by:
Gabbay, Dov M.; Schlechta, Karl.; SpringerLink (Online service)
(Electronic resources)
Nonmonotonic logicsbasic concepts, results, and techniques /
by:
Schlechta, Karl.; SpringerLink (Online service)
(Electronic resources)
Subjects
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logic, Symbolic and mathematical.
Artificial Intelligence (incl. Robotics)
Nonmonotonic reasoning.
Formal methods (Computer science)
Modality (Logic)
Computer Science.
Artificial intelligence.
Default reasoning.
Intelligent agents (Computer software)
Conditionals (Logic)
Philosophy of Science.