Verifiable agent dialogues

Journal of Applied Logic 5 (2):197-213 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.12.009

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

Logic.[author unknown] - 2002 - Philosophical Books 43 (1):41-46.
Review of: Christopher D. Stone: The Gnat Is Older than Man. [REVIEW]Anthony Weston - 1994 - Environmental Ethics 16 (4):441-444.
Dialogues, strategies, and intuitionistic provability.Walter Felscher - 1985 - Annals of Pure and Applied Logic 28 (3):217-254.
Logic-Based Agent Verification.Michael Fisher, Munindar Singh, Diana Spears & Mike Wooldridge - 2007 - Journal of Applied Logic 5 (2):193-195.
Walton, D.-Appeal to Popular Opinion.S. Holland - 1999 - Philosophical Books 40:256-257.
D. N. Walton, Argument structure, A Pragmatic Theory. [REVIEW]Mark Vorobej - 1998 - Argumentation 12 (3):421-425.
Antarctic Science by D. W. H. Walton. [REVIEW]Stephen Pyne - 1989 - Isis 80:139-141.
D. N. Walton, Argumentation Schemes for Presumptive Reasoning. [REVIEW]J. Anthony Blair - 1999 - Argumentation 13 (3):338-343.
"Action Theory." Edited by M. Brand and D. Walton. [REVIEW]A. R. White - 1978 - Mind 87:462.
van Dalen Dirk. Intuitionistic logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986, pp. 225–339. Felscher Walter. Dialogues as a foundation for intuitionistic logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986 .. [REVIEW]Carl J. Posy - 1992 - Journal of Symbolic Logic 57 (2):754-756.

Analytics

Added to PP
2016-06-30

Downloads
7 (#1,404,117)

6 months
5 (#836,928)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Model Checking of Persuasion in Multi-Agent Systems.Katarzyna Budzyńska & Magdalena Kacprzak - 2011 - Studies in Logic, Grammar and Rhetoric 23 (36).

Add more citations

References found in this work

On agent-based software engineering.Nicholas R. Jennings - 2000 - Artificial Intelligence 117 (2):277-296.

Add more references