Logic Programs under Three-Valued Łukasiewicz Semantics

DOI10.1007/978-3-642-02846-5_37zbMath1251.68063OpenAlexW1831107036MaRDI QIDQ5325771

Carroline Dewi Puspa Kencana Ramli, Steffen Hölldobler

Publication date: 24 July 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02846-5_37

zbMATH Keywords

Łukasiewicz semanticsthree-valued logic programs

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17) Many-valued logic (03B50)

Related Items (4)

Modeling the suppression task under weak completion and well-founded semantics ⋮ Minimal models vs. logic programming: the case of counterfactual conditionals ⋮ Logic Programming, Argumentation and Human Reasoning ⋮ Deontic Logic for Human Reasoning

Cites Work

• Reasoning about termination of pure Prolog programs
• A kripke-kleene semantics for logic programs*
• The well-founded semantics for general logic programs
• Metric Methods Three Examples and a Theorem
• A three-valued semantics for logic programmers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logic Programs under Three-Valued Łukasiewicz Semantics