相关论文: Tennenbaum at Penn and Rochester

This is a write-up of introductory remarks that I made at the UIC conference in honor of Lawrence Ein's 60th birthday. It presents an informal survey of some of Ein's work, interspersed with stories and reminiscences.

We propose Logic Tensor Networks: a uniform framework for integrating automatic learning and reasoning. A logic formalism called Real Logic is defined on a first-order language whereby formulas have truth-value in the interval [0,1] and…

Experimental summary talk given at International Conference on Ultrarelativistic Nucleus-Nucleus Collisions (QM2001), Stony Brook, New York, 15-20 Jan 2001.

Quantum Physics and Logic is an annual conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical…

Brief recollections by the author about how he contributed to the production of the Feynman Lectures in Physics

This volume contains a selection of papers presented at Linearity/TLLA 2018: Joint Linearity and TLLA workshops (part of FLOC 2018) held on July 7-8, 2018 in Oxford. Linearity has been a key feature in several lines of research in both…

This special issue cover the seventh and last conference of the CL&C series, started in 2006 in San Servolo. Topics are the computational content of logics between intuitionistic logic and classical logic, through normalization, and a new…

These are notes from a lecture course on symmetric spaces by the second author given at the University of Pittsburgh in the fall of 2010.

This document describes the contributions of the 2016 Applications of Logic Programming Workshop (AppLP), which was held on October 17 and associated with the International Conference on Logic Programming (ICLP) in Flushing, New York City.

Rejoinder to ``The 2005 Neyman Lecture: Dynamic Indeterminism in Science'' [arXiv:0808.0620]

This is the preface to the 26th International Conference on Logic Programming Special Issue

Talk given at XIXth International Symposium on Lepton and Photon Interactions at High Energies (LP 99), Stanford, California, 9-14 August 1999.

This is a reflection on the author's experience in teaching logic at the graduate level in a computer science department. The main lesson is that model building and the process of modelling must be placed at the centre stage of logic…

Summary talk at the Lepton-Photon Symposium, Cornell University, Aug. 10-15, 1993.

Logic has its origins in basic questions about the nature of the real world and how we describe it. This article seeks to bring out the physical and epistemological relevance of some of the more recent technical work in logic and…

This collection of proceedings to the TeV PA II Conference presents some of the latest results of the IceCube Collaboration.

This article serves as a supplement to the recently published call for participation in a Research Topic [1] that is timed to commemorate the 75th anniversary of Shannon's pioneering 1948 paper [2]. Here, we include some citations of key…

These are my notes for a talk at the The Tate Conjecture workshop at the American Institute of Mathematics in Palo Alto, CA, July 23--July 27, 2007, somewhat revised and expanded. The intent of the talk was to review what is known and to…

These are notes based on a series of talks that the author gave at the "Interactions between hyperbolic geometry and quantum groups" conference held at Columbia University in June of 2009.

The following conversation is based in part on a transcript of a 2009 interview funded by Pfizer Global Research-Connecticut, the American Statistical Association and the Department of Statistics at the University of Connecticut-Storrs as…