On the Formal Semantics of IF-Like Logics.
Santiago FigueiraDaniel GorínRafael GrimsonPublished in: WoLLIC (2008)
Keyphrases
- formal semantics
- epistemic logic
- expressive power
- first order logic
- logical reasoning
- inference rules
- logical language
- modeling language
- modal logic
- er model
- theorem prover
- formal language
- operational semantics
- ontology languages
- modelling language
- owl dl ontology
- speech acts
- artificial intelligence
- default logic
- natural language