Nonmonotonicity in the framework of parametric logic

DOI10.1007/s11225-018-9831-7zbMath1477.03101OpenAlexW2889733040MaRDI QIDQ2009771

Eric Martin

Publication date: 29 November 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9831-7

zbMATH Keywords

hierarchiesclosed world assumptionnonmonotonicitypreferential entailmentgeneralised logical consequence

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)

Cites Work

• Unifying logic, topology and learning in parametric logic
• Logic programming as classical inference
• Efficient reasoning about rich temporal domains
• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Foundations of inductive logic programming
• Ordinal mind change complexity of language identification
• Generalized logical consequence: Making room for induction in the logic of science
• Contextual hypotheses and semantics of logic programs
• Language identification in the limit
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nonmonotonicity in the framework of parametric logic