Drew McDermott

Affiliations:
  • Yale University, New Haven, CT, USA


According to our database1, Drew McDermott authored at least 80 papers between 1972 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2014
On the Claim that a Table-Lookup Program Could Pass the Turing Test.
Minds Mach., 2014

2009
Multi-level learning: improving the prediction of protein, domain and residue interactions by allowing information flow between levels.
BMC Bioinform., 2009

2008
An integrated system for studying residue coevolution in proteins.
Bioinform., 2008

POIROT - Integrated Learning of Web Service Procedures.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
AAAI-07 Workshop Reports.
AI Mag., 2007

Level-headed.
Artif. Intell., 2007

Bringing Semantics to Web Services with OWL-S.
World Wide Web, 2007

2006
Kurzweil's argument for the success of AI.
Artif. Intell., 2006

Towards Theory Translation.
Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Deriving axioms across ontologies.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005
Ontology Translation on the Semantic Web.
J. Data Semant., 2005

Ontology Translation for Interoperability Among Semantic Web Services.
AI Mag., 2005

Free at last! Free at last! Thank evolution, free at last!
Artif. Intell., 2005

A Temporal Logic for Reasoning about Processes and Plans.
Proceedings of the Language of Time - A Reader., 2005

2004
Bringing Semantics to Web Services: The OWL-S Approach.
Proceedings of the Semantic Web Services and Web Process Composition, 2004

2003
PDDL2.1 - The Art of the Possible? Commentary on Fox and Long.
J. Artif. Intell. Res., 2003

Ray Reiter's Knowledge in Action: A Review.
AI Mag., 2003

Reply to Carruthers and Akman.
Artif. Intell., 2003

Derivation of Glue Code for Agent Interoperation.
Auton. Agents Multi Agent Syst., 2003

Reasoning about Autonomous Processes in an Estimated-Regression Planner.
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

2002
Representing Disjunction and Quantifiers in RDF.
Proceedings of the Semantic Web, 2002

DAML-S: Web Service Description for the Semantic Web.
Proceedings of the Semantic Web, 2002

Estimated-Regression Planning for Interactions with Web Services.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2001
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents.
Proceedings of the Emerging Semantic Web, Selected papers from the first Semantic web working symposium, Stanford University, California, USA, July 30, 2001

2000
The 1998 AI Planning Systems Competition.
AI Mag., 2000

Derivation of glue code for agent interoperation.
Proceedings of the Fourth International Conference on Autonomous Agents, 2000

1999
Computational Vision at Yale.
Int. J. Comput. Vis., 1999

Using Regression-Match Graphs to Control Search in Planning.
Artif. Intell., 1999

1998
Visual Place Recognition for Autonomous Robots.
Proceedings of the IEEE International Conference on Robotics and Automation, 1998

1997
Fast Probabilistic Plan Debugging.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

Expressing Transformations of Structured Reactive Plans.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

1996
An interview with Drew McDermott.
XRDS, 1996

Model-Based Pose Proposal for 2-D Object Recognition.
Proceedings of the Advances in Artificial Intelligence, 1996

The Current State of AI Planning Research.
Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1996

A Heuristic Estimator for Means-Ends Analysis in Planning.
Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996

Local Planning of Ongoing Activities.
Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996

1995
Planning: What it is, What it could be, An Introduction to the Special Issue on Planning and Scheduling.
Artif. Intell., 1995

1994
Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic Reasoning About Change.
Artif. Intell., 1994

Improving Robot Plans During Their Execution.
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994

1993
D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project.
Artif. Intell., 1993

1992
Response to Prolegomena to Any Future Qualitative Physics.
Comput. Intell., 1992

Robot Planning.
AI Mag., 1992

Error correction in mobile robot map learning.
Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

1991
Regression planning.
Int. J. Intell. Syst., 1991

A General Framework for Reason Maintenance.
Artif. Intell., 1991

1990
A Critique of Pure Reason.
Proceedings of the Philosophy of Artificial Intelligence., 1990

1989
Review of Logical Foundations of Artificial Intelligence.
AI Mag., 1989

1988
Comments on Cheeseman: why plausible reasoning.
Comput. Intell., 1988

Problems in Formal Temporal Reasoning.
Artif. Intell., 1988

LOGICALC: An Environment for Interactive Proof Development.
Proceedings of the 9th International Conference on Automated Deduction, 1988

1987
Nonmonotonic Logic and Temporal Projection.
Artif. Intell., 1987

Temporal Data Base Management.
Artif. Intell., 1987

1986
Learning in Massively Parallel Nets (Panel).
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

Default Reasoning, Nonmonotonic Logics, and the Frame Problem.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

Introduction to artificial intelligence.
Addison-Wesley series in computer science, Addison-Wesley, ISBN: 978-0-201-11945-9, 1986

1985
The Dark Ages of AI: A Panel Discussion at AAAI-84.
AI Mag., 1985

1984
Planning Routes Through Uncertain Territory.
Artif. Intell., 1984

Directed Relations and Inversion of Prolog Programs.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

Knowledge Inversion.
Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

1983
Contexts and Data Dependencies: A Synthesis.
IEEE Trans. Pattern Anal. Mach. Intell., 1983

Under What Conditions Can a Machine Attribute Meanings to Symbols.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Generalizing Problem Reduction: A Logical Analysis.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Data Dependencies on Inequalities.
Proceedings of the National Conference on Artificial Intelligence, 1983

1982
Nonmonotonic Logic II: Nonmonotonic Modal Theories.
J. ACM, 1982

A Temporal Logic for Reasoning About Processes and Plans.
Cogn. Sci., 1982

ARBY: Diagnosis With Shallow Causal Models.
Proceedings of the National Conference on Artificial Intelligence, 1982

1980
The prolog phenomenon.
SIGART Newsl., 1980

Non-Monotonic Logic I.
Artif. Intell., 1980

An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP.
Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

A Theory of Metric Spatial Inference.
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1979
An Introduction to Non-Monotonic Logic.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978
Tarskian Semantics, or No Notation Without Denotation!
Cogn. Sci., 1978

Planning and Acting.
Cogn. Sci., 1978

The Last Survey of Representation of Knowledge.
Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

1977
A deductive model of control of a problem solver.
SIGART Newsl., 1977

Vocabularies for Problem Solver State Descriptions.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976
Artificial intelligence meets natural stupidity.
SIGART Newsl., 1976

1975
Symbol-mapping: a technical problem in PLANNER-like systems.
SIGART Newsl., 1975

Symbol-mapping.
SIGART Newsl., 1975

1972
From PLANNER to CONNIVER: a genetic approach.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972


  Loading...