Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency.
Gemma RoblesJosé M. MéndezPublished in: J. Log. Lang. Inf. (2009)
Keyphrases
- automated reasoning
- data mining
- consistency checking
- logical framework
- multi valued
- asynchronous circuits
- global consistency
- learning algorithm
- high level
- database systems
- constraint networks
- set theory
- path consistency
- defeasible logic
- probability theory
- real time
- modal logic
- np complete
- multi agent
- neural network
- data sets