語系
Schlechta, Karl.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods for nonmonotonic and related logics.Vol II,Theory revision, inheritance, and various abstract properties
by:
Schlechta, Karl.; SpringerLink (Online service)
(書目-電子資源)
A new perspective on nonmonotonic logics
by:
Gabbay, Dov M.; Schlechta, Karl.; SpringerLink (Online service)
(書目-電子資源)
Formal methods for nonmonotonic and related logics.Vol I:,Preference and size
by:
Schlechta, Karl.; SpringerLink (Online service)
(書目-電子資源)
Conditionals and modularity in general logics
by:
Gabbay, Dov M.; Schlechta, Karl.; SpringerLink (Online service)
(書目-電子資源)
Logical tools for handling change in agent-based systems
by:
Gabbay, Dov M.; Schlechta, Karl.; SpringerLink (Online service)
(書目-電子資源)
Nonmonotonic logicsbasic concepts, results, and techniques /
by:
Schlechta, Karl.; SpringerLink (Online service)
(書目-電子資源)
主題
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.