The infinite-valued semantics: overview, recent results and future directions
From MaRDI portal
Publication:4583316
DOI10.1080/11663081.2013.798959zbMath1400.68051OpenAlexW2000079176MaRDI QIDQ4583316
Antonis Troumpoukis, Panos Rondogiannis
Publication date: 28 August 2018
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2013.798959
semantics of programming languagesnegation in logic programminginfinite-valued logicspreferential logic programming
Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17) Many-valued logic (03B50)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Equilibrium logic
- Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
- Static semantics for normal and disjunctive logic programs
- Well-founded and stationary models of logic programs
- An infinite-game semantics for well-founded negation in logic programming
- The well-founded semantics for general logic programs
- Characterizations of the disjunctive stable semantics by partial evaluation
- Argumentation-based abduction in disjunctive logic programming
- Comparisons and computation of well-founded semantics for disjunctive logic programs
- Minimum model semantics for logic programs with negation-as-failure
- A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
- Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
- Logic Programming
This page was built for publication: The infinite-valued semantics: overview, recent results and future directions