Complexity of Propositional Logics in Team Semantic.
Miika HannulaJuha KontinenJonni VirtemaHeribert VollmerPublished in: ACM Trans. Comput. Log. (2018)
Keyphrases
- expressive power
- semantic annotation
- domain ontology
- first order logic
- default logic
- domain specific
- natural language
- semantic information
- worst case
- computational complexity
- high level
- modal logic
- propositional logic
- knowledge base
- causal graph
- semantic knowledge
- team members
- pspace complete
- space complexity
- inference rules
- semantic network
- decision problems
- np complete