Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge

• URL: http://arxiv.org/abs/2307.04005v2
• Date: Tue, 18 Jul 2023 14:31:39 GMT
• Title: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge
• Authors: Rineke Verbrugge (University of Groningen)
• Abstract summary: TARK conference aims to bring together researchers from a wide variety of fields. Previous conferences have been held biennially around the world since 1986.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a conference that aims to bring together researchers from a wide variety of fields, including computer science, artificial intelligence, game theory, decision theory, philosophy, logic, linguistics, and cognitive science. Its goal is to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held biennially around the world since 1986, on the initiative of Joe Halpern (Cornell University). Topics of interest include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, computational social choice, algorithmic game theory, and foundations of multi-agent systems. Information about TARK, including conference proceedings, is available at http://www.tark.org/ These proceedings contain the papers that have been accepted for presentation at the Nineteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), held between June 28 and June 30, 2023, at the University of Oxford, United Kingdom. The conference website can be found at https://sites.google.com/view/tark-2023

Related papers

• Proceedings of the 21st International Conference on Quantum Physics and Logic [49.1574468325115]
  QPL is an annual conference that brings together academic and industry researchers working on the mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition.
  arXiv  Detail & Related papers  (2024-08-09T15:04:17Z)
• A Brief Introduction to Causal Inference in Machine Learning [51.31735291774885]
  This lecture note is produced for DS-GA 3001.003 "Special Topics in DS - Causal Inference in Machine Learning" at the Center for Data Science, New York University.
  arXiv  Detail & Related papers  (2024-05-14T17:41:55Z)
• Proceedings of the Twentieth International Conference on Quantum Physics and Logic [0.0]
  This volume contains the proceedings of the 20th International Conference on Quantum Physics and Logic (QPL 2023) The aim of the QPL conference series is to bring together academic and industry researchers working on mathematical foundations of quantum computation, quantum physics, and related areas.
  arXiv  Detail & Related papers  (2023-08-23T06:50:47Z)
• A Theory of Unsupervised Speech Recognition [60.12287608968879]
  Unsupervised speech recognition (ASR-U) is the problem of learning automatic speech recognition systems from unpaired speech-only and text-only corpora. We propose a general theoretical framework to study the properties of ASR-U systems based on random matrix theory and the theory of neural tangent kernels.
  arXiv  Detail & Related papers  (2023-06-09T08:12:27Z)
• Acquiring and Modelling Abstract Commonsense Knowledge via Conceptualization [49.00409552570441]
  We study the role of conceptualization in commonsense reasoning, and formulate a framework to replicate human conceptual induction. We apply the framework to ATOMIC, a large-scale human-annotated CKG, aided by the taxonomy Probase.
  arXiv  Detail & Related papers  (2022-06-03T12:24:49Z)
• A Quantitative Symbolic Approach to Individual Human Reasoning [0.0]
  We take findings from the literature and show how these, formalized as cognitive principles within a logical framework, can establish a quantitative notion of reasoning. We employ techniques from non-monotonic reasoning and computer science, namely, a solving paradigm called answer set programming (ASP) Finally, we can fruitfully use plausibility reasoning in ASP to test the effects of an existing experiment and explain different majority responses.
  arXiv  Detail & Related papers  (2022-05-10T16:43:47Z)
• Active Inference in Robotics and Artificial Agents: Survey and Challenges [51.29077770446286]
  We review the state-of-the-art theory and implementations of active inference for state-estimation, control, planning and learning. We showcase relevant experiments that illustrate its potential in terms of adaptation, generalization and robustness.
  arXiv  Detail & Related papers  (2021-12-03T12:10:26Z)
• Computational Argumentation and Cognition [0.3867363075280543]
  This paper stems from the 1st Workshop on Computational Argumentation and Cognition (COGNITAR) It argues that within the context of Human-Centric AI the use of theory and methods from Computational Argumentation for the study of Cognition can be a promising avenue to pursue. The paper presents the main problems and challenges in the area that would need to be addressed, both at the scientific level but also at the level of synthesis of ideas and approaches from the various disciplines involved.
  arXiv  Detail & Related papers  (2021-11-12T21:44:30Z)
• Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge [0.0]
  The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a biannual conference that aims to bring together researchers from a wide variety of fields. Its goal is to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Papers have been accepted for presentation at the Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021), held between June 25 and June 27, 2021, at Tsinghua University at Beijing, China.
  arXiv  Detail & Related papers  (2021-06-21T07:01:14Z)
• Formalising Concepts as Grounded Abstractions [68.24080871981869]
  This report shows how representation learning can be used to induce concepts from raw data. The main technical goal of this report is to show how techniques from representation learning can be married with a lattice-theoretic formulation of conceptual spaces.
  arXiv  Detail & Related papers  (2021-01-13T15:22:01Z)
• Consciousness and Automated Reasoning [0.0]
  We show how a first-order logic reasoning system in combination with a large knowledge base can be understood as an artificial consciousness system. We demonstrate that such a system is very well able to do conscious mind wandering.
  arXiv  Detail & Related papers  (2020-01-26T11:43:48Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.