ALICE: An Advanced Logic for Interactive Component Engineering.
Borislav GajanovicBernhard RumpePublished in: VERIFY (2007)
Keyphrases
- artificial intelligence
- computer science
- predicate logic
- classical logic
- information retrieval
- software engineering
- user interaction
- virtual reality
- multi valued
- automated reasoning
- engineering problems
- asynchronous circuits
- defeasible logic
- modal logic
- computer graphics
- mechanical engineering
- mixed reality
- probability theory
- digital circuits
- proof theory
- sound and complete axiomatization
- engineering education
- logical framework
- data sets
- web intelligence
- engineering design
- software components
- logic programming
- databases