相关论文: Tennenbaum at Penn and Rochester
This volume contains a selection of papers presented at LFMTP 2019, the 14th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on June 22, 2019, in Vancouver, Canada. The workshop was…
Logical reasoning is central to human cognition and intelligence. It includes deductive, inductive, and abductive reasoning. Past research of logical reasoning within AI uses formal language as knowledge representation and symbolic…
This article surveys recent advances in applying algebraic techniques to constraint satisfaction problems.
In February 1978 Julian Schwinger's 60th birthday was celebrated with a SchwingerFest at UCLA. This article consists of transcripts of historical talks given there.
This volume contains the proceedings of the 8th International Workshop on Quantum Physics and Logic (QPL 2011), which was held October 27-29, 2011 at Radboud University Nijmegen. The goal of this workshop series is to bring together…
This is a rendering of a review talk on the state of String Theory, given at the EPS-2003 Conference, intended for a wide audience of experimental and theoretical physicists. It emphasizes general ideas rather than technical aspects.
This year's logic blog has focussed on: 1. Demuth randomness 2. traceability 3. The connection of computable analysis and randomness 4. $K$-triviality in metric spaces.
This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty (and even more, that there are kinds of uncertainty which are for principled reasons not addressable with probabilistic means);…
These are the notes of a lecture held by Michael Hopkins in march 2007, at the Talbot workshop.
This article reports on a study investigating how computational essays can be used to redistribute epistemic agency--cognitive control and responsibility over one's own learning--to students in higher education STEM. Computational essays…
Notes to lectures on the epsilon calculus, covering axioms, semantics, completeness, and the first epsilon theorem.
Theory-of-Mind (ToM), the ability to infer others' perceptions and mental states, is fundamental to human interaction but remains challenging for Large Language Models (LLMs). While existing ToM reasoning methods show promise with reasoning…
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,…
A talk presented at the April 2016 APS meeting in Salt Lake City: The speaker had the great good fortune to take an undergraduate course in group theory from Sidney Coleman, and (after graduate school away) was hired by Coleman to a…
We present an implementation of a probabilistic first-order logic called TensorLog, in which classes of logical queries are compiled into differentiable functions in a neural-network infrastructure such as Tensorflow or Theano. This leads…
This is the Proceedings of the Twenty-Second Conference on Uncertainty in Artificial Intelligence, which was held in Cambridge, MA, July 13 - 16 2006.
This volume contains the proceedings of the 11th International Workshop on Quantum Physics and Logic (QPL 2014), which was held from the 4th to the 6th of June, 2014, at Kyoto University, Japan. The goal of the QPL workshop series is to…
In January-March 2011, the Department of Mathematical Science at the University of Cincinnati held a Taft Research Seminar "Bellman function method in harmonic analysis." The seminar was made possible by a generous grant from the Taft…
Remarks at the Irving Kaplansky Memorial about a collaboration during the early period of the renewal of contacts between mathematicians and theoretical physicists.
This volume contains the proceedings of the 2nd International Workshop on Strategic Reasoning 2014 (SR 2014), held in Grenoble (France), April 5-6, 2014. The SR workshop aims to bring together researchers, possibly with different…