Ernest Courant - PDFSEARCH.IO - Document Search Engine

Ernest Courant
Results: 8

#	Item
1	Describing spatial transitions using mereotopological relations over histories∗ Ernest Davis Courant Institute New York, New York Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2004-01-06 13:24:16 Functional analysis Projection linear algebra
2	Continuous Time in a SAT-based Planner Ji-Ae Shin and Ernest Davis∗ Courant Institute New York University { jiae \| davise }@cs.nyu.edu Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-05-25 12:15:43 Logic in computer science Software engineering Constraint programming Fluent Computer programming Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
3	Knowledge and Communication: A First-Order Theory Ernest Davis 1 Courant Institute, New York University, New York, NYUSA Abstract Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-02-14 11:23:32 Model theory Deduction Entailment Logical consequence Metalogic First-order logic Common knowledge Function Axiom Logic Mathematics Philosophical logic
4	A First-Order Theory of Communicating First-Order Formulas Ernest Davis∗ Courant Institute New York University Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2004-10-07 15:48:12 Entailment Logical consequence Metalogic Modal logic Epistemic modal logic Unexpected hanging paradox Strength of materials Logic Philosophical logic Deduction
5	Knowledge Preconditions for Plans Ernest Davis Courant Institute New York, New York Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2004-01-06 13:23:35 Epistemology Omniscience Philosophy Science Mind Modal logic Non-classical logic Philosophical logic
6	Ernest Davis Contact: Courant Institute of Mathematical Sciences 251 Mercer St. New York, NY 10012 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2015-03-06 17:07:25 Commonsense reasoning Cyc Logic programming Planner Qualitative reasoning Commonsense knowledge base International Joint Conference on Artificial Intelligence Spatial–temporal reasoning Association for the Advancement of Artificial Intelligence Artificial intelligence Reasoning Science
7	the Bulletin Add to Reading List Source URL: www.bnl.gov Language: English - Date: 2008-02-22 15:38:55 Center for Functional Nanomaterials National Synchrotron Light Source Accelerator Test Facility Cosmotron Strong focusing Ernest Courant Synchrotron Beamline Physical Review Physics Particle accelerators Brookhaven National Laboratory
8	PDF Document Add to Reading List Source URL: smartech.gatech.edu Language: English Georgia Institute of Technology Mathematics Applied mathematics Education in the United States Science Rostam K. Saeed Ernest S. Croot III Academia Courant Institute of Mathematical Sciences D. M. Smith

UPDATE