Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
McDermott, Drew V. - Department of Computer Science, Yale University
BNF Description of PDDL3.0 Alfonso Gerevini and Derek Long
Deriving Axioms Across Ontologies Computer and Information Science
The Formal Semantics of Processes in PDDL Drew V. McDermott
Extending an Estimated-Regression Planner for Multi-Agent Planning Drew V. McDermott
Derivation of Glue Code for Agent Interoperation Mark Burstein
Lexiparse: A Lexicon-based Parser for Lisp Applications
Derivation of Glue Code for Agent Interoperation \Lambda Mark Burstein
Estimated-Regression Planning for Interactions with Web Services Drew McDermott
Revised NISP Manual A tastefully wrapped version (0.2) of the classic from
Using RegressionMatch Graphs to Control Search in Planning Drew McDermott
Declarative Goals in Reactive Plans \Lambda Michael Beetz and Drew McDermott
PROBABILISTIC PROJECTION IN PLANNING DREW MCDERMOTT
Why Ethics is a High Hurdle for AI Drew McDermott
Reasoning about Autonomous Processes in an EstimatedRegression Planner # Drew V. McDermott
The 1998 AI Planning Systems Competition Drew McDermott
A Framework for Maintaining the Coherence of a Running Lisp
To appear in: Proc. of 2nd Int. Conf. on AI Planning Systems Chicago, IL, June 1994
Version 1.7.3 (Reflects Opt Version 1.6.11) Drew McDermott
Ontology Translation on the Semantic Web Dejing Dou, Drew McDermott and Peishen Qi
YTools: A Package of Portable Enhancements to Common Lisp
THE CURRENT STATE OF AI PLANNING RESEARCH Drew McDermott \Lambda
Artificial Intelligence and Consciousness Drew McDermott
Overcoming Ontology Mismatches in Transactions with Self-Describing Service
Visual Place Recognition for Autonomous Robots Hemant D. Tagare
A Heuristic Estimator for MeansEnds Analysis in Planning Drew McDermott \Lambda
Overcoming Ontology Mismatches in Transactions with Self-Describing Service
Assigning Semantic Meanings to XML Peishen Qi, Drew McDermott and Dejing Dou
The Opt and Optop API *** Draft 0.9 ***
Reasoning about Autonomous Processes in an Estimated-Regression Planner Drew V. McDermott
Ontology Translation by Ontology Merging and Automated Reasoning
Drew McDermott Response to "The Singularity: A Philosophical Analysis"
Theorem (informal statement): There are no "extendible methods" in David Chalmers's sense unless P = NP.
