Erratum to 'A logic for reasoning about ambiguity' [Artificial Intelligence 209 (2014) 1-10].
Joseph Y. HalpernWillemien KetsPublished in: Artif. Intell. (2014)
Keyphrases
- artificial intelligence
- formal theory
- expert systems
- human reasoning
- logic programming
- modal logic
- modal operators
- computer science
- databases
- ai methods
- intelligent systems
- computational intelligence
- knowledge representation
- machine learning
- predicate logic
- knowledge engineering
- ai systems
- proof theory
- computational logic
- sound and complete axiomatization
- classical logic
- cognitive science
- ambient intelligence
- intelligent agents
- software engineering
- fuzzy logic
- neural network
- scientific discovery
- automated reasoning
- probability theory
- deontic logic
- practical reasoning