Conservative Intensional Extension of Tarski's Semantics.
Zoran MajkicPublished in: Adv. Artif. Intell. (2013)
Keyphrases
- argumentation semantics
- default theories
- formal semantics
- logic programming
- abstract argumentation frameworks
- social networks
- semantic information
- higher order
- default logic
- nonmonotonic reasoning
- default reasoning
- grounded semantics
- deductive databases
- argumentation frameworks
- semantic representation
- database systems
- nonmonotonic logics
- conceptual schema
- logical language
- case study
- search engine
- proof theoretic