Timed Abstract Dialectical Frameworks: A Simple Translation-Based Approach

DOI10.3233/FAIA200496zbMATH Open1464.68343OpenAlexW3136004333MaRDI QIDQ5145802FDOQ5145802

Authors: Ringo Baumann, Maximilian Heinrich 

Publication date: 21 January 2021

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

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

zbMATH Keywords

timeabstract dialectical frameworksthree-valued logics

Mathematics Subject Classification ID

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

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)