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