The infinite-valued semantics: overview, recent results and future directions

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

zbMATH Keywords

semantics of programming languagesnegation in logic programminginfinite-valued logicspreferential logic programming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17) Many-valued logic (03B50)

Related Items (1)

A fixed point theorem for non-monotonic functions

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