1 The Less Obvious Side of NONLJ~

by Austin Tate -aug

Active Bibliography

1 2006, ‘Planning as Deductive Synthesis in Intuitionistic Linear Logic – Lucas Dixon, Alan Smaill, Alan Bundy
3 Capability Representations for Brokering: A Survey – Gerhard Wickler, Austin Tate - 1999
3 A Simulation-Based Approach For Decision Making And Route Planning – Jin Joo Lee, Bum Suk Lee, Chung Sook Lee - 1996
3 Hierarchical Reinforcement Learning: A Hybrid Approach – Malcolm Ross Kinsella Ryan - 2002
1 Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic – Lucas Dixon, Alan Smaill, Alan Bundy
ARTIFICIAL INTELLIGENCE 333 Planning for Conjunctive Goals* – David Chapman, Recommended Robert Wilensky
21 O-Plan: a Knowledge-Based Planner and its Application to Logistics – Austin Tate, Brian Drabble, Jeff Dalton - 1996
10 The Use of Condition Types to Restrict Search in an AI Planner – Austin Tate, Brian Drabble, Jeff Dalton, South Bridge - 1994
ARTIFICIAL INTELLIGENCE 153 Pragmatics and Natural Language Generation* – Eduard H. Hovy
6 What planner for ambient intelligence applications? – Francesco Amigoni, Nicola Gatti, Carlo Pinciroli, Manuel Roveri - 2005
99 Planning for Contingencies: A Decision-based Approach – Louise Pryor, Gregg Collins - 1996
A Comparison of Analytic and Experimental Goal Regression for Machine Learning – unknown authors
Toward Efficient Default Reasoning (Extended Abstract) – David W. Etherington, James M. Crawford - 1992
Ham-Rpm: Natural Dialogues With An Artificial Partner – W. V. Hahn, W. Hoeppner, A. Jameson, W. Wahlster
8 Toward Efficient Default Reasoning – David Etherington, James M. Crawford - 1996
Floyd-Hoare Verifiers 'Considered Harmful' – Howard E. Shrobe - 1978
11 Sather Iters: Object-Oriented Iteration Abstraction – Stephan Murer, Stephen Omohundro, Clemens Szyperski - 1993
In: ECAI-78, p. 122-131. 1 HAM-RPM: NATURAL DIALOGUES WITH AN ARTIFICIAL PARTNER – W. V. Hahn, A. Jameson, W. Wahlster