Partially Ordered Connectives and Monadic Monotone Strict NP.
Lauri HellaMerlijn SevensterTero TulenheimoPublished in: J. Log. Lang. Inf. (2008)
Keyphrases
- partially ordered
- partial order
- valued logic
- totally ordered
- partial ordering
- deductive databases
- datalog queries
- upper bound
- event calculus
- inference rules
- possibilistic logic
- computational complexity
- np complete
- datalog programs
- boolean functions
- interval valued
- propositional logic
- fuzzy logic
- total order
- np hard
- classical logic
- monotonicity constraints
- fuzzy sets