Computational properties of argument systems satisfying graph-theoretic constraints

Artificial Intelligence 171 (10-15):701-729 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2007.03.006

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Graph-theoretic Models of Dispositional Structures.Matthew Tugby - 2013 - International Studies in the Philosophy of Science 27 (1):23-39.
Operational constraints and the model-theoretic argument.Mark Q. Gardiner - 1995 - Erkenntnis 43 (3):395 - 400.
On graph-theoretic fibring of logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1321-1357.
A logician's view of graph polynomials.J. A. Makowsky, E. V. Ravve & T. Kotek - 2019 - Annals of Pure and Applied Logic 170 (9):1030-1069.
Models and Recursivity.Walter Dean - manuscript
Free set algebras satisfying systems of equations.G. Aldo Antonelli - 1999 - Journal of Symbolic Logic 64 (4):1656-1674.
A graph-theoretic account of logics.A. Sernadas, C. Sernadas, J. Rasga & Marcelo E. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1281-1320.
A Critical Discussion of the Characteristic Properties of List PR and FPTP Systems.Eliora van der Hout, Jack Stecher & Harrie de Swart - 2007 - Analyse & Kritik 29 (2):259-268.
A Critical Discussion of the Characteristic Properties of List PR and FPTP Systems.Eliora van der Hout, Jack Stecher & Harrie de Swart - 2007 - Analyse & Kritik 29 (2):259-268.
Free Set Algebras Satisfying Systems of Equations.G. Antonelli - 1999 - Journal of Symbolic Logic 64 (4):1656-1674.
In defense of the semantic view of computation.Oron Shagrir - 2020 - Synthese 197 (9):4083-4108.
Functional individuation, mechanistic implementation: the proper way of seeing the mechanistic view of concrete computation.Dimitri Coelho Mollo - 2017 - Synthese 195 (8):3477-3497.
Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics.Natasha Alechina, Valeria de Paiva & Eike Ritter - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 35-52.
On some putative graph-theoretic counterexamples to the Principle of the Identity of Indiscernibles.Rafael De Clercq - 2012 - Synthese 187 (2):661-672.
Is There a (Compelling) Gauge-Theoretic Argument against the Intrinsicality of Fundamental Properties?Vassilios Livanios - 2012 - European Journal of Analytic Philosophy 8 (2):30-38.

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,378,468)

6 months
4 (#779,417)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 28 citations / Add more citations

References found in this work

View all 13 references / Add more references