Format | |
---|---|
BibTeX | |
MARCXML | |
TextMARC | |
MARC | |
DublinCore | |
EndNote | |
NLM | |
RefWorks | |
RIS |
Linked e-resources
Details
Table of Contents
Logic
Proof theory
Modal and temporal logics
Automated reasoning
Artificial intelligence
Knowledge representation and reasoning
Argumentation
Nonmonotonic
default reasoning and belief revision
Reasoning about belief and logic
Natural language processing.
Proof theory
Modal and temporal logics
Automated reasoning
Artificial intelligence
Knowledge representation and reasoning
Argumentation
Nonmonotonic
default reasoning and belief revision
Reasoning about belief and logic
Natural language processing.