A Note on Drastic Product Logic.

Stefano Aguzzoli Matteo Bianchi Diego Valota

Published in: IPMU (2) (2014)

Keyphrases

life cycle
predicate logic
modal logic
product design
asynchronous circuits
product development
automated reasoning
defeasible logic
probabilistic logic
multi valued
machine learning
logic programming
production planning
expressive power
logical framework
social networks
search engine