Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents Drew McDermott Yale University

First Page		Document Content
Date: 2012-08-02 20:52:33 Computability theory Theoretical computer science Automated planning and scheduling Artificial intelligence Cognitive science Mathematics Partial-order planning Planning Domain Definition Language Intelligent agent Computability Algorithm Philosophy of artificial intelligence		Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents Drew McDermott Yale University Add to Reading List Source URL: www.kestrel.edu Download Document from Source Website File Size: 82,63 KB Share Document on Facebook

	Eleventh International Conference on Computability, Complexity and Randomness CCR ‘16 DocID: 1v9oV - View Document
	On the Weak Computability of Continuous Real Functions Matthew S. Bauer and Xizhong Zheng Department of Computer Science and Mathematics Arcadia University Glenside, PA 19038, USA {mbauer, zhengx}@arcadia.edu DocID: 1uNDW - View Document
	The Computability of Relaxed Data Structures: Queues and Stacks as Examples∗ Nir Shavit† Gadi Taubenfeld‡ DocID: 1u1Cb - View Document
	Speaker: Jason Rute Title: Randomness, Brownian Motion, Riesz Capacity, and Complexity Abstract: Algorithmic randomness is a topic in computability theory which investigates which paths in a stochastic process behave ran DocID: 1sWjT - View Document
	Computability and Complexity Results for a Spatial Assertion Language for Data Structures Cristiano Calcagno1,2 , Hongseok Yang3 , and Peter W. O’Hearn1 1 Queen Mary, University of London DocID: 1sTVM - View Document