A Multi-theory Logic Language for the World Wide Web.
Giulio PiancastelliAndrea OmiciniPublished in: ICLP (2008)
Keyphrases
- formal theory
- proof theory
- mathematical theory
- commonsense reasoning
- formal logic
- formal language
- formal languages
- intuitionistic logic
- quantifier free
- dynamic logic
- theoretical framework
- modal operators
- set theory
- classical first order logic
- proof theoretic
- highly expressive
- formal descriptions
- programming language
- operational semantics
- speech acts
- default reasoning
- probability theory
- first order logic
- boolean algebra
- linear temporal logic
- computer algebra
- natural language
- logic programming
- language learning
- deductive reasoning
- automated reasoning
- predicate logic
- computational linguistics
- logical framework
- asynchronous circuits
- general theory
- conditional logic