Amanote Research

Amanote Research

    RegisterSign In

A Formal Characterization of the Outcomes of Rule-Based Argumentation Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-40381-1_7
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2013

Authors
Leila AmgoudPhilippe Besnard
Publisher

Springer Berlin Heidelberg


Related search

Developing a Formal Model of Argumentation-Based Dialogue

2016English

A Formal Concept View of Abstract Argumentation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Toward a Formal Specification of Menu-Based Systems

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
1987English

A Framework for Validation of Rule-Based Systems

IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics)
2002English

Component-Based Formal Modeling of PLC Systems

Journal of Applied Mathematics
Applied Mathematics
2013English

Formal Development of Object-Based Systems in a Temporal Logic Setting

1999English

Rule-Based Systems for Medical Diagnosis

Advances in Medical Technologies and Clinical Practice
English

A Genetic-Programming-Based Approach for the Learning of Compact Fuzzy Rule-Based Classification Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Hierarchical Graphs for Rule-Based Modeling of Biochemical Systems

BMC Bioinformatics
BiochemistryApplied MathematicsComputer Science ApplicationsStructural BiologyMolecular Biology
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy