Timed Abstract Dialectical Frameworks: A Simple Translation-Based Approach

DOI10.3233/FAIA200496MaRDI QIDQ5145802zbMATH OpenOpenAlexFDO

Authors Ringo Baumann, Maximilian Heinrich

Publication date 21 January 2021

Full work available at URL https://ebooks.iospress.nl/volumearticle/55362

zbMATH Keywords

timeabstract dialectical frameworksthree-valued logics

Mathematics Subject Classification ID

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

Recommendations

• A transformation-based synthesis of temporal specification
• Timed Temporal Logics for Abstracting Transient States
• Translating a continuous-time temporal logic into timed automata.
• A framework for knowledge-based temporal abstraction
• Temporal reasoning through automatic translation of tock-CSP into timed automata
• scientific article; zbMATH DE number 1487859
• Fully abstract models and refinements as tools to compare agents in timed coordination languages
• On timed models and full abstraction

Cited in

(3)

• Bipolarity in temporal argumentation frameworks
• On three-valued acceptance conditions of abstract dialectical frameworks
• Modeling time and valuation in structured argumentation frameworks

This page was built for publication: Timed Abstract Dialectical Frameworks: A Simple Translation-Based Approach

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