Logic Engineering - Konstruktion von Logiken.
Hans Jürgen OhlbachPublished in: Künstliche Intell. (1992)
Keyphrases
- artificial intelligence
- software engineering
- engineering design
- materials science
- engineering systems
- modal logic
- decision trees
- proof theory
- asynchronous circuits
- multi valued
- computer aided design
- logical framework
- defeasible logic
- engineering problems
- electrical engineering
- formal theory
- logic programming
- classical logic
- set theory
- digital circuits
- engineering students
- abductive reasoning
- default reasoning
- natural deduction
- computational intelligence
- computer science