Nonmonotonicity and answer set inference

DOI10.1007/3-540-59487-6_27MaRDI QIDQ5101463zbMATH OpenOpenAlexFDO

Authors

Publication date 30 August 2022

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59487-6_27

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Induction from answer sets in nonmonotonic logic programs
• scientific article; zbMATH DE number 517025
• scientific article; zbMATH DE number 4047198
• Combining Answer Sets of Nonmonotonic Logic Programs
• Nonmonotonic reasoning with multiple belief sets
• Nonmonotonic reasoning with multiple belief sets
• Nonmonotonic reasoning: From complexity to algorithms
• A survey of non-monotonic reasoning
• Nonmonotonic reasoning: Towards efficient calculi and implementations
• Nonmonotonicity and compatibility relations in belief structures

Cites work

• A logic for default reasoning
• scientific article; zbMATH DE number 3930376 (Why is no real title available?)
• scientific article; zbMATH DE number 4104920 (Why is no real title available?)
• scientific article; zbMATH DE number 3755914 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1292289 (Why is no real title available?)
• scientific article; zbMATH DE number 520219 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 1761407 (Why is no real title available?)
• Intuitionistic logic with strong negation
• Logic programming and reasoning with incomplete information
• Nonmonotonic reasoning, preferential models and cumulative logics
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(9)

• Brave nonmonotonic inference and its kinds
• An empirical test of patterns for nonmonotonic inference
• Nonmonotonicity and compatibility relations in belief structures
• Non-monotonic inference properties for assumption-based argumentation
• scientific article; zbMATH DE number 1241673 (Why is no real title available?)
• Nonmonotonic inference operations
• Nonmonotonic reasoning with multiple belief sets
• Generalized compactness of nonmonotonic inference operations
• Nonmonotonic reasoning by inhibition nets

This page was built for publication: Nonmonotonicity and answer set inference

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