Logical Semantics for Stability.
Luca PaoliniMauro PiccoloSimona Ronchi Della RoccaPublished in: MFPS (2009)
Keyphrases
- logical properties
- logical language
- logical framework
- logical rules
- model theoretic
- logic programming
- dynamic logic
- semantic information
- formal semantics
- predicate calculus
- logical reasoning
- logical structure
- logical theories
- feature selection
- logical formulas
- stability analysis
- reasoning tasks
- belief revision
- conceptual model
- natural language