Mathematical Proving as Multi-Agent Spatio-Temporal Activity

&
In Modelling, Logical and Philosophical Aspects of Foundations of Science. Lambert Academic Publishing. pp. 183-200 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

On Mathematical Proving.Ioannis M. Vandoulakis & Petros Stefaneas - 2015 - Journal of Artificial General Intelligence 6 (1):130–149.
The Web as A Tool For Proving.Petros Stefaneas & Ioannis M. Vandoulakis - 2012 - Metaphilosophy 43 (4):480-498.
The Web as A Tool For Proving.Ioannis M. Vandoulakis Petros Stefaneas - 2012 - Metaphilosophy 43 (4):480-498.
Proofs as Spatio-Temporal Processes.Petros Stefaneas & Ioannis M. Vandoulakis - 2014 - Philosophia Scientiae 18:111-125.
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):309-310.
Compositional verification of multi-agent systems in temporal multi-epistemic logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
Escape and intervention in multi-agent systems.G. B. Roest & N. B. Szirbik - 2009 - AI and Society 24 (1):25-34.
Foreword to Special issue on Logics for Multi-agent Systems.Valentin Goranko & Wojciech Jamroga - 2011 - Journal of Applied Non-Classical Logics 21 (1):7-8.
A multi-agent legal recommender system.Lucas Drumond & Rosario Girardi - 2008 - Artificial Intelligence and Law 16 (2):175-207.
Generalizing AGM to a multi-agent setting.Guillaume Aucher - 2010 - Logic Journal of the IGPL 18 (4):530-558.
Executable specification of open multi-agent systems.Alexander Artikis & Marek Sergot - 2010 - Logic Journal of the IGPL 18 (1):31-65.
The ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles. [REVIEW]Guido Boella & Leendert van der Torre - 2007 - Artificial Intelligence and Law 15 (3):201-221.
A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts.Mathieu Beirlaen & Christian Straßer - 2011 - In Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella & Leon van der Torre (eds.), Computational Logic in Multi-Agent Systems. CLIMA 2011. Lecture Notes in Computer Science, vol 6814. Springer. pp. 312–329.
A general approach to multi-agent minimal knowledge: With tools and Samples.Wiebe van der Hoek & Elias Thijsse - 2002 - Studia Logica 72 (1):61-84.
Multi-agent Justification Logic: communication and evidence elimination. [REVIEW]Bryan Renne - 2012 - Synthese 185 (S1):43-82.

Analytics

Added to PP
2023-05-30

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Ioannis Vandoulakis
Open University of Cyprus

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references