Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou

, , , , , & (eds.)
College Publications (2023)
  Copy   BIBTEX

Abstract

This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of logic in these areas. It is an essential resource for researchers, practitioners, and students interested in the latest advancements in logic and its applications to artificial intelligence and law.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

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

Through your library

My notes

Chapters

Verified completeness in Henkin-style for intuitionistic propositional logic.Huayu Guo, Dongheng Chen & Bruno Bentzen

Similar books and articles

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 '90, Amsterdam, the Netherlands, September 10-14, 1990 : Proceedings'.Jan van Eijck - 2014 - Springer.
Verified completeness in Henkin-style for intuitionistic propositional logic.Huayu Guo, Dongheng Chen & Bruno Bentzen - 2023 - In Bruno Bentzen, Beishui Liao, Davide Liga, Reka Markovich, Bin Wei, Minghui Xiong & Tianwen Xu (eds.), Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou. College Publications. pp. 36-48.
Logics in Ai European Workshop Jelia '92, Berlin, Germany, September 7-10, 1992 : Proceedings'.David Pearce & Gerd Wagner - 1992 - Springer Verlag.
Logics in Artificial Intelligence: European Workshop Jelia '94, York, Uk, September 5-8, 1994 : Proceedings.Craig MacNish & David A. Pearce - 1994 - Springer.
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings.Manuel Ojeda-Aciego, Inma P. De Guzman, Gerhard Brewka & Luis M. Pereira - 2000 - Springer Verlag.
Nonclassical Logics and Information Processing: International Workshop, Berlin, Germany, November 9-10, 1990 : Proceedings.David A. Pearce & Heinrich Wansing - 1992 - Springer.
Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings.Sujata Ghosh & Thomas Icard (eds.) - 2021 - Springer Verlag.
A Deontic Logic for Programming Rightful Machines: Kant’s Normative Demand for Consistency in the Law.Ava Thomas Wright - 2023 - Logics for Ai and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence (Lingai) and the International Workshop on Logic, Ai and Law (Lail).
Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991 - MIT Press (MA).
Representation Results for Non-cumulative Logics.Xuefeng Wen & Xincheng Luo - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 259-272.
Logics in Artificial Intelligence: Proceedings of European Workshop, Jelia '96, Évora, Portugal, September 30-October 3, 1996.José Júlio Alferes, Luís Moniz Pereira & Ewa Orlowska (eds.) - 1996 - Berlin and New York: Springer.
Decidability of Modal Logics of Non-k-Colorable Graphs.Ilya Shapirovsky - 2023 - In Helle Hvid Hansen, Andre Scedrov & Ruy J. G. B. De Queiroz (eds.), Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. Springer Nature Switzerland. pp. 351-361.
Temporal Justification Logic.S. Bucheli, M. Ghari & T. Studer - 2017 - Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74.
Paracomplete logics which are dual to the paraconsistent logics L3A and L3B.Alejandro Hernández-Tello, Verónica Borja-Macı́as & Marcelo E. Coniglio - 2020 - LANMR 2019: Proceedings of the 12th Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning.

Analytics

Added to PP
2023-10-19

Downloads
471 (#39,750)

6 months
471 (#3,413)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Bruno Bentzen
Zhejiang University
Beishui Liao
Zhejiang University
Tianwen Xu
Zhejiang University

Citations of this work

No citations found.

Add more citations

References found in this work

Rationality Through Reasoning.John Broome (ed.) - 2013 - Malden, MA: Wiley-Blackwell.
Reasons First.Mark Schroeder - 2021 - Oxford University Press.
Ethics without principles.Jonathan Dancy - 2004 - New York: Oxford University Press.
Justice for hedgehogs.Ronald Dworkin - 2011 - Cambridge, Mass.: Belknap Press of Harvard University Press.
Argumentation schemes.Douglas Walton, Chris Reed & Fabrizio Macagno - 2008 - New York: Cambridge University Press. Edited by Chris Reed & Fabrizio Macagno.

View all 28 references / Add more references