Satisfiability in composition-nominative logics.
Mykola S. NikitchenkoValentyn G. TymofieievPublished in: Central Eur. J. Comput. Sci. (2012)
Keyphrases
- decision procedures
- computational properties
- satisfiability problem
- modal logic
- expressive power
- np complete
- inference rules
- computational complexity
- knowledge base
- satisfiability testing
- web services composition
- nonmonotonic logics
- automated reasoning
- propositional logic
- theorem proving
- sat problem
- classical logic
- phase transition
- orders of magnitude
- conditional logic
- multi agent systems
- database
- propositional dynamic logic