An Extension of the Stable Semantics via Lukasiewicz Logic.
Mauricio OsorioJosé Luis Carballido CarranzaPublished in: LANMR (Selected Papers) (2019)
Keyphrases
- modal logic
- truth values
- temporal logic
- proof theoretic
- logic programming
- inference rules
- multi valued
- linear time temporal logic
- computational properties
- classical logic
- data sets
- logical framework
- default logic
- expressive power
- nonmonotonic logics
- predicate logic
- knowledge representation
- abductive reasoning
- case study
- artificial intelligence