Reasoning with maximal consistency by argumentative approaches (English)
- New search for: Arieli, Ofer
- New search for: Borg, AnneMarie
- New search for: Straßer, Christian
- New search for: Arieli, Ofer
- New search for: Borg, AnneMarie
- New search for: Straßer, Christian
In:
Journal of logic and computation
;
28
, 7
;
1523-1563
;
2018
-
ISSN:
- Article (Journal) / Print
-
Title:Reasoning with maximal consistency by argumentative approaches
-
Contributors:
-
Published in:Journal of logic and computation ; 28, 7 ; 1523-1563
-
Publisher:
- New search for: Oxford University Press
-
Publication date:2018-01-01
-
Size:41 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 005.115
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005.115 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 28, Issue 7
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1367
-
Unified correspondence as a proof-theoretic toolGreco, Giuseppe / Ma, Minghui / Palmigiano, Alessandra / Tzimoulis, Apostolos / Zhao, Zhiguang et al. | 2016
- 1443
-
Satisfiability for relation-changing logicsAreces, Carlos / Fervari, Raul / Hoffmann, Guillaume / Martel, Mauricio et al. | 2018
- 1471
-
Judgment aggregation in dynamic logic of propositional assignmentsNovaro, Arianna / Grandi, Umberto / Herzig, Andreas et al. | 2018
- 1499
-
Strong jump inversionCalvert, W / Frolov, A / Harizanov, V / Knight, J / McCoy, C / Soskova, A / Vatev, S et al. | 2018
- 1523
-
Reasoning with maximal consistency by argumentative approachesArieli, Ofer / Borg, AnneMarie / Straßer, Christian et al. | 2018
- 1565
-
Proof search in a context-sensitive logic for molecular biologySestini, Filippo / Crafa, Silvia et al. | 2018
- 1601
-
Belief base rationalization for propositional mergingSchwind, Nicolas / Konieczny, Sébastien / Marquis, Pierre et al. | 2018
- 1635
-
Backward induction in presence of cyclesGurvich, Vladimir et al. | 2018
- 1647
-
Navigability with intermediate constraintsDeuser, Kaya / Naumov, Pavel et al. | 2018
- 1671
-
On the aggregation of argumentation frameworks: operators and postulatesDelobelle, Jérôme / Konieczny, Sébastien / Vesic, Srdjan et al. | 2018
- 1701
-
Terminating sequent calculi for two intuitionistic modal logicsIemhoff, Rosalie et al. | 2018