ALICE: An Advanced Logic for Interactive Component Engineering.

Borislav Gajanovic Bernhard Rumpe

Published 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