ALICE: An Advanced Logic for Interactive Component Engineering.
Borislav GajanovicBernhard RumpePublished in: CoRR (2014)
Keyphrases
- neural network
- user interaction
- engineering design
- computational intelligence
- logic programming
- multi valued
- proof theory
- data sets
- epistemic logic
- set theory
- defeasible logic
- classical logic
- product design
- data visualization
- modal logic
- software engineering
- data analysis
- web services
- knowledge base
- artificial intelligence