A Portrait of a Scientist: Logic, AI and Politics.
Dieter HutterWerner StephanPublished in: Mechanizing Mathematical Reasoning (2005)
Keyphrases
- artificial intelligence
- computational logic
- formal logic
- expert systems
- case based reasoning
- logic programming
- automated reasoning
- ai systems
- knowledge representation
- john mccarthy
- argumentation theory
- asynchronous circuits
- predicate logic
- computational properties
- knowledge representation and reasoning
- lecture notes in artificial intelligence
- knowledge based systems
- artificial intelligent
- intelligent systems
- defeasible logic
- multi valued
- inference rules
- ai methods
- proof theory
- information systems
- machine learning