Inferring preferred extensions by Pstable semantics.
Juan Carlos NievesMauricio OsorioPublished in: LA-NMR (2007)
Keyphrases
- argumentation semantics
- default theories
- grounded semantics
- formal semantics
- knowledge representation formalisms
- argumentation frameworks
- default logic
- efficient implementation
- expert systems
- information retrieval
- temporal logic
- neural network
- expressive power
- logic programming
- transformation rules
- model theoretic
- high level
- social networks