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

DOI10.1080/11663081.2013.798959zbMATH Open1400.68051OpenAlexW2000079176MaRDI QIDQ4583316FDOQ4583316

Authors: Panos Rondogiannis, Antonis Troumpoukis 

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

Recommendations

• A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
• scientific article; zbMATH DE number 1931681
• scientific article; zbMATH DE number 26616
• Multi-valued semantics for logic programs
• scientific article; zbMATH DE number 139622

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• The well-founded semantics for general logic programs
• Comparisons and computation of well-founded semantics for disjunctive logic programs
• Equilibrium logic
• Title not available (Why is that?)
• An infinite-game semantics for well-founded negation in logic programming
• Minimum model semantics for logic programs with negation-as-failure
• A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
• Static semantics for normal and disjunctive logic programs
• Characterizations of the disjunctive stable semantics by partial evaluation
• Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
• Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
• Preferential regular path queries
• Argumentation-based abduction in disjunctive logic programming
• Well-founded and stationary models of logic programs
• Logic Programming

Cited In (4)

• A fixed point theorem for non-monotonic functions
• Infinity in logic and computation. International conference, ILC 2007, Cape Town, South Africa, November 3--5, 2007. Revised selected papers
• Corrigendum: On infinite computations in denotational semantics
• Title not available (Why is that?)

This page was built for publication: The infinite-valued semantics: overview, recent results and future directions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583316)