scientific article; zbMATH DE number 7760489

DOI10.4230/lipics.time.2020.19zbMath1530.03050MaRDI QIDQ6060107

Ivan Varzinczak, Unnamed Author, Unnamed Author, Jean-François Condotta

Publication date: 2 November 2023

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

knowledge representationtemporal logicnon-monotonic reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Cites Work

• Unnamed Item
• Unnamed Item
• From knowledge-based programs to graded belief-based programs. I: On-line reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)
• Preferential Reasoning for Modal Logics
• Mathematical Logic for Computer Science
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Temporal logic can be more expressive
• Preferential Description Logics
• The complexity of propositional linear temporal logics
• General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
• From KLM-style conditionals to defeasible modalities, and back

This page was built for publication: