A Vernacular for Coherent Logic.
Sana StojanovicJulien NarbouxMarc BezemPredrag JanicicPublished in: CoRR (2014)
Keyphrases
- computational properties
- classical logic
- multi valued
- logic programming
- modal logic
- data sets
- data mining
- deontic logic
- digital circuits
- defeasible logic
- website
- natural deduction
- real time
- asynchronous circuits
- probabilistic model
- similarity measure
- image processing
- decision making
- information systems
- genetic algorithm
- real world
- neural network