Logics and collaboration

Logic Journal of the IGPL 31 (6):1024-1046 (2023)
  Copy   BIBTEX

Abstract

Since the early days of artificial intelligence (AI), many logics have been explored as tools for knowledge representation and reasoning. In the spirit of the Crossley Festscrift and recognizing John Crossley’s diverse interests and his legacy in both mathematical logic and computer science, I discuss examples from my own research that sit in the overlap of logic and AI, with a focus on supporting human–AI interactions.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzad006

Links

PhilArchive



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

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

Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
Fuzzy Sets, Logics and Reasoning about Knowledge.Didier Dubois, Henri Prade & Erich Peter Klement (eds.) - 2010 - Dordrecht, Netherland: Springer.
Logics in Artificial Intelligence: European Workshop, Jelia '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings.Jose Julio Alferes, Luis Moniz Pereira & Ewa Orlowska - 1996 - Springer Verlag.
Logics in Ai European Workshop Jelia '92, Berlin, Germany, September 7-10, 1992 : Proceedings'.David Pearce & Gerd Wagner - 1992 - Springer Verlag.
Logics for Artificial Intelligence.Raymond Turner - 1984 - New York, NY, USA: Ellis Horwood.
Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics.Allen P. Hazen & Francis Jeffry Pelletier - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 557-570.
Reasoning about agent programs using ATL-Like logics.Nitin Yadav & Sebastian Sardina - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 437--449.
Advances in the ŁΠ and logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Modal logics, description logics and arithmetic reasoning.Hans Jürgen Ohlbach & Jana Koehler - 1999 - Artificial Intelligence 109 (1-2):1-31.
Disjoint Logics.Federico Pailos - forthcoming - Logic and Logical Philosophy:1.
Unification in epistemic logics.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):91-105.
Maximality in finite-valued Lukasiewicz logics defined by order filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2019 - Journal of Logic and Computation 29 (1):125-156.
Logics in Artificial Intelligence: European Workshop Jelia '94, York, Uk, September 5-8, 1994 : Proceedings.Craig MacNish & David A. Pearce - 1994 - Springer.
Equivalence among RC-type paraconsistent logics.Mauricio Osorio & José Abel Castellanos Joo - 2017 - Logic Journal of the IGPL 25 (2):239-252.

Analytics

Added to PP
2023-05-09

Downloads
13 (#1,035,489)

6 months
7 (#428,584)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Does the chimpanzee have a theory of mind?David Premack & G. Woodruff - 1978 - Behavioral and Brain Sciences 4 (4):515-629.
Does the chimpanzee have a theory of mind?David Premack & Guy Woodruff - 1978 - Behavioral and Brain Sciences 1 (4):515-526.
Common ground.Robert Stalnaker - 2002 - Linguistics and Philosophy 25 (5-6):701-721.

View all 36 references / Add more references