Bibliography

AF94

James F. Allen and George Ferguson.
Actions and Events in Interval Temporal Logic.
Journal of Logic and Computation, 4(5), 1994.

AGGP05

Michael L. Anderson, Walid Gomaa, John Grant, and Don Perlis.
On the reasoning of real-word agents: Toward a semantics for active logic.
In Proceedings of the Seventh Annual Symposium on the Logical Formalization of Commonsense Reasoning, Dresden University Technical Report, 2005.

AJOP02

Michael L. Anderson, Darsana Josyula, Yoshi Okamoto, and Don Perlis.
Time-situated Agency: Active Logic and Intention Formation.
In Proceedings of the Cognitive Agents Workshop at the $25^{th}$ German Conference on Artificial Intelligence(KI2002), 2002.

AJP03

Michael L. Anderson, Darsana Josyula, and Don Perlis.
Talking to Computers.
In Proceedings of the Workshop on Mixed-Initiative Intelligent Systems at the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI-03), 2003.

All83

James F. Allen.
Maintaining knowledge about temporal intervals.
Communications of the ACM, 26(11), 1983.

All84

James F. Allen.
Towards a general theory of action and time.
Artificial Intelligence, 23:123-154, 1984.

AMC96

L. Chittaro A. Montanari and I. Cervesato.
A general modal framework for the event calculus and its skeptical and credulous variants.
In Proceedings of the Twelfth European Conference on Artificial Intelligence - (ECAI '96). John Wiley and Sons, 1996.

AOJP02

Michael L. Anderson, Yoshi Okamoto, Darsana Josyula, and Don Perlis.
The use-mention Distinction and its Importance to HCI.
In Proceedings of the Sixth Workshop on the Semantics and Pragmatics of Dialogue (EDILOG2002), 2002.

Aud89

Robert Audi.
Practical Reasoning, pages 85-125.
Routledge, 1989.

Aus62

John Langshaw Austin.
How to Do Things with Words.
Harvard University Press, Massachusetts, USA, 1962.

BB01

Craig Boutilier and Ronen I. Brafman.
Partial-order planning with concurrent interacting actions.
Journal of Artificial Intelligence Research, 14:105-136, 2001.

BDH$^+$01

Jan Broersen, Mehdi Dastani, Joris Hulstijn, Zisheng Huang, and Leendert van der Torre.
The boid architecture: Conflicts between beliefs, obligations, intentions and desires.
In Proceedings of the Fifth International Conference on Autonomous Agents, pages 9-16, 2001.

BH95

Susan E. Brennan and Eric A. Hulteen.
Interaction and Feedback in a Spoken Language System: A Theoretical Framework.
Knowledge-Based Systems, 8:143-151, 1995.

BIP88

M. Bratman, D. Israel, and M. Pollack.
Plans and Resource-bounded Practical Reasoning.
Computational Intelligence, 4(4):349-355, 1988.

BP99

Daniel Billsus and Michael J. Pazzani.
A Personal News Agent that Talks, Learns and Explains.
In Oren Etzioni, Jörg P. Müller, and Jeffrey M. Bradshaw, editors, Proceedings of the Third International Conference on Autonomous Agents (Agents'99), pages 268-275, Seattle, WA, USA, 1999. ACM Press.

BR98

Paolo Busetta and Kotagiri Ramamohanarao.
An Architecture for Mobile BDI Agents.
In Selected Areas in Cryptography, pages 445-452, 1998.

Bra87

Michael E. Bratman.
Intention, Plans and Practical Reason.
Harvard University Press, Massachusetts, USA, 1987.

Bra99

Michael E. Bratman.
Faces of Intention: Selected Essays on Intention and Agency, pages 93-161.
Cambridge University Press, Cambridge, UK, 1999.

Bro86

Rodney A. Brooks.
A Robust Layered Control System for a Mobile Robot.
IEEE Journal of Robotics and Automation, 2(1):14-23, 1986.

Bro91a

Rodney A. Brooks.
Intelligence Without Reason.
In John Myopoulos and Ray Reiter, editors, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, pages 569-595. Morgan Kaufmann, August 1991.

Bro91b

Rodney A. Brooks.
Intelligence Without Representation.
Artificial Intelligence, 47:139-159, 1991.

BZW98

Walter Brenner, Rüdiger Zarnekow, and Hartmut Wittig.
Intelligent Software Agents: Foundations and Applications.
Springer-Verlag, Berlin, 1998.

CL90

Philip R. Cohen and Hector J. Levesque.
Intention is choice with commitment.
Artificial Intelligence, 42:213-261, 1990.

CM87

Nick Cercone and Gordon McCalla.
What is knowledge representation?
In Nick Cercone and Gordon McCalla, editors, The Knowledge Frontier - Essays in the Representation of Knowledge, pages 1-43. Springer-Verlag, 1987.

CM96

Anthony Chavez and Pattie Maes.
Kasbah: An agent marketplace for buying and selling goods.
In Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM-96), pages 75-90. Practical Application Company, 1996.

CS94

Collen Crangle and Patrick Suppes.
Language and Learning for Robots.
CSLI Lecture Notes, 1994.

Dav01

Donald Davidson.
Essays on Actions and Events, pages 3-102.
Clarendon Press, Oxford, 2001.

Den87

D. Dennett.
The Intentional Stance.
MIT Press, Cambridge, MA, 1987.

Doy79

Jon Doyle.
A Truth Maintenance System.
Artificial Intelligence, 12(3):231-272, 1979.

DP03

Robert Demolombe and Pilar Pozos Parra.
Bdi architecture in the framework of situation calculus.
In Proceedings of the IJCAI workshop on Cognitive Modeling of Agents and Multi-Agents Interactions, 2003.

EDP90

Jennifer Elgot-Drapkin and Don Perlis.
Reasoning Situated in Time I: Basic Concepts.
Journal of Experimental and Theoretical Artificial Intelligence, 2(1):75-98, 1990.

Fin87

J. J. Finger.
Exploiting Constraints in Design Synthesis.
PhD thesis, Stanford University, 1987.

Gal90

A. Galton.
A critical examination of allen's theory of action and time.
Artificial Intelligence, 42:159-188, 1990.

Gär88

P. Gärdenfors.
Knowledge in Flux: Modeling the Dynamics of Epistemic States.
MIT Press, Cambridge, MA, 1988.

GBWT00

Yuri Gawdiak, Jeff Bradshaw, Brian Williams, and Hans Thomas.
R2d2 in a softball: the portable satellite assistant.
In Proceedings of the Fifth International Conference on Intelligent User Interfaces, pages 125 - 128, 2000.

GG98

Takashi Gomi and Ann Griffith.
Developing intelligent wheelchairs for the handicapped.
In V. Mittal, H. Yanco, J. Aronis, and R. Simpson, editors, Assistive Technology and Artificial Intelligence, volume 1458 of LNAI, pages 150 - 178. Springer-Verlag, 1998.

GI99

Takashi Gomi and Koichi Ide.
The development of an autonomous field transport vehicle with an active vision system.
In Proceedings of the Society of Instrument and Control Engineering Conference (SICE'99), 1999.

GLS95

Dennis Grinberg, John Lafferty, and Daniel Sleator.
A Robust Parsing Algorithm for LINK Grammars.
In Proceedings of the Fourth International Workshop on Parsing Technologies, pages 111-125, 1995.

GPP97

J. Gurney, D. Perlis, and K. Purang.
Interpreting presuppositions using active logic: From contexts to utterances.
Computational Intelligence, 1997.

Hau87

Brian A. Haugh.
Non-standard semantics for the method of temporal arguments.
In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pages 449-455, 1987.

HL97

Michelle A. Hoyle and Christopher Lueg.
Open sesame: A look at personal assistants.
In Proceedings of the Second International Conference on Practical Applications of Intelligent Agents and Multi-Agent Technology (PAAM'97), pages 51-60, 1997.

HM86

S. Hanks and D. McDermott.
Default reasoning, nonmonotonic logics, and the frame problem.
In Proceedings of the Fifth National Conference on Artificial Intelligence, 1986.

HM87

S. Hanks and D. McDermott.
Nonmonotonic logic and temporal projection.
Artificial Intelligence, 33:379-412, 1987.

HSAN97

T. Haynes, S. Sen, N. Arora, and R. Nadella.
An automated meeting scheduling system that utilizes user preferences.
In Proceedings of the First International Conference on Autonomous Agents (Agents-97), pages 308-315. ACM Press, 1997.

IC93

François Fèlix Ingrand and Vianney Coutance.
Procedural Reasoning versus Blackboard Architecture for Real-Time Reasoning.
In Proceedings of the Thirteenth International Conference on Artificial Intelligence, Expert Systems and Natural Language, pages 449-458, May 1993.

IGR92

François Fèlix Ingrand, Michael P. Georgeff, and Anand S. Rao.
An Architecture for Real-Time Reasoning and System Control.
IEEE Expert Magazine, 7(6):34-44, December 1992.

IS00

Haythem O. Ismail and Stuart C. Shapiro.
Two problems with reasoning and acting in time.
In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning, pages 355-365. Morgan Kaufman, 2000.

JAP03

Darsana P. Josyula, Michael L. Anderson, and Don Perlis.
Towards Domain-independent, Task-oriented, Conversational Adequacy.
In Proceedings of the Eighteenth international Joint Conference on Artificial Intelligence (IJCAI-03), pages 1637-1638, 2003.

JAP04

Darsana P. Josyula, Michael L. Anderson, and Don Perlis.
Domain-Independent Reason-Enhanced Controller for Task-ORiented systems - DIRECTOR.
In Proceedings of the National Conference on Artificial Intelligence (AAAI-04), pages 1014-1015, 2004.

JAP05a

Darsana P. Josyula, Michael L. Anderson, and Don Perlis.
Designing a universal interfacing agent.
In Proceedings of the Second Language and Technology Conference (L&TC-05), pages 377-381, 2005.

JAP05b

Darsana P. Josyula, Michael L. Anderson, and Don Perlis.
Metacognition for dropping and reconsidering intentions.
In Papers from the 2005 AAAI Spring Symposium on Metacognition in Computation, pages 62-67, 2005.

Kay90

Alan Kay.
User Interface: A Personal View.
In Brenda Laurel, editor, The Art of Human-Computer Interface Design, pages 191-207. Addison-Wesley Publishing Company, Inc., 1990.

KG91

David N. Kinny and Michael P. Georgeff.
Commitment and effectiveness of situated agents.
In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pages 82-88, 1991.

Kow92

Robert Kowalski.
Database updates in the event calculus.
Journal of Logic Programming, 12(1-2):121-146, January 1992.

Kow95

Robert Kowalski.
Variants of the event calculus.
In L. Sterling, editor, Proceedings of the International Conference on Logic Programming. MIT Press, 1995.

KS86

R. A. Kowalski and M. J. Sergot.
A logic-based calculus of events.
New Generation Computing, 4(1):67-95, 1986.

KS94

Robert Kowalski and Fariba Sadri.
The situation calculus and event calculus compared.
In Proceedings of the 1994 International Symposium on Logic programming, pages 539 - 553, Cambridge, MA, USA, 1994. MIT Press.

LBJ$^+$99

Simon P. Levine, David A. Bell, Lincoln A. Jaros, Richard C. Simpson, Yoram Koren, and Johann Borenstein.
The NavChair Assistive Wheelchair Navigation System.
IEEE Transactions on Rehabilitation Engineering, 7(4), 1999.

Lie97

Henry Lieberman.
Autonomous interface agents.
In Proceedings of the ACM Conference on Computers and Human Interface (CHI-97), 1997.

LMM94

Yezdi Lashkari, Max Metral, and Pattie Maes.
Collaborative interface agents.
In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), pages 444-449. AAAI Press, 1994.

LS92

Fangzhen Lin and Yoav Shoham.
Concurrent actions in the situation calculus.
In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), pages 590-595, 1992.

McC80

John McCarthy.
Circumscription - a form of non-monotonic reasoning.
Artificial Intelligence, 13:27-39, 1980.

McC86

John McCarthy.
Applications of circumscription to formalizing common-sense knowledge.
Artificial Intelligence, 28(1):89-116, February 1986.

McD82

Drew McDermott.
A temporal logic for reasoning about processes and plans.
Cognitive Science, 6:101-155, 1982.

McR98

Susan McRoy.
Achieving Robust Human-Computer Communication.
International Journal of Human-Computer Studies, 48:681-704, 1998.

MH69

John McCarthy and Patrick Hayes.
Some philosophical problems from the standpoint of artificial intelligence.
Machine Intelligence, 4:463-502, 1969.

MHA$^+$95

David J. Musliner, James A. Hendler, Ashok K. Agrawala, Edmund H. Durfee, Jay K. Strosnider, and C. J. Paul.
The challenges of real-time AI.
Computer, 28(1):58-66, January 1995.

Mil93

Michael Miller.
A View of One's Past and Other Aspects of Reasoned Change in Belief.
PhD thesis, Department of Computer Science, University of Maryland, College Park, Maryland, 1993.

MK03

Jixin Ma and Brian Knight.
Representing the dividing instant.
The Computer Journal, 46(2):213-222, February 2003.

MP93

M. Miller and D. Perlis.
Presentations and this and that: logic in action.
In Proceedings of the 15th Annual Conference of the Cognitive Science Society, 1993.

Nir94

Madhura Nirkhe.
Time-situated Reasoning Within Tight Deadlines and Realistic Space and Computation Bounds.
PhD thesis, Department of Computer Science, University of Maryland, College Park, Maryland, 1994.

NKMP97

M. Nirkhe, S. Kraus, M. Miller, and D. Perlis.
How to (plan to) meet a deadline between now and then.
Journal of logic computation, 7(1):109-156, 1997.

Per97

Donald Perlis.
Sources of, and exploiting, inconsistency: Preliminary report.
Journal of APPLIED NON-CLASSICAL LOGICS, 7, 1997.

Pin94

Javier Pinto.
Temporal Reasoning in the Situation Calculus.
PhD thesis, University of Toronto, February 1994.

Pin98

Javier Pinto.
Concurrent actions and interacting effects.
In A.G. Cohn, L.K. Schubert, and S.C. Shapiro, editors, Proceedings of the Sixth International Conference (KR'98) on Principles of Knowledge Representation and Reasoning, pages 292-303. Morgan Kaufmann Publishers, 1998.

PJT$^+$99

Khemdut Purang, Darsana Purushothaman [Josyula], David Traum, Carl Andersen, and Don Perlis.
Practical Reasoning and Plan Execution with Active Logic.
In Proceedings of the IJCAI-99 Workshop on Practical Reasoning and Rationality, pages 30-38, 1999.

Pop73

Sir. Karl Raimund Popper.
Objective Knowledge: An Evolutionary Approach.
Clarendon Press, Oxford, 1973.

PPP04

Robert Demolombe Pilar Pozos Parra, Abhaya Nayak.
Theories of intentions in the framework of situation calculus.
In Proceedings of the Second International Workshop on Declarative Agent Languages and Technologies, 2004.

PPSW00

Simon Parsons, Ola Pettersson, Alessandro Saffiotti, and Michael Wooldridge.
Intention reconsideration in theory and practice.
In W. Horn, editor, Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI-2000). John Wiley, August 2000.

PR90

Martha E. Pollack and Marc Ringuette.
Introducing the Tileworld: Experimentally Evaluating Agent Architectures.
In Thomas Dietterich and William Swartout, editors, Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pages 183-189, August 1990.

Pur01a

K. Purang.
Alma/Carne: Implementation of a Time-situated Meta-reasoner.
In Proceedings of the Thirteenth International Conference on Tools with Artificial Intelligence (ICTAI-01), pages 103-110, 2001.

Pur01b

Khemdut Purang.
Systems that detect and repair their own mistakes.
PhD thesis, Department of Computer Science, University of Maryland, College Park, Maryland, 2001.

Rei96

Ray Reiter.
Natural Actions, Concurrency and Continuous Time in the Situation Calculus.
In Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR -96), pages 2-13, Cambridge MA, 1996.

Rei01

Raymond Reiter.
Knowledge In Action: Logical Foundations for Specifying and Implementing Dynamical Systems.
MIT Press, 2001.

RG91a

Anand S. Rao and Michael P. Georgeff.
Deliberation and intentions.
In Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence, 1991.

RG91b

Anand S. Rao and Michael P. Georgeff.
Modeling Rational Agents within a BDI-Architecture.
In James Allen, Richard Fikes, and Eric Sandewall, editors, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR-91), pages 473-484. Morgan Kaufmann, April 1991.

RG92

Anand S. Rao and Michael P. Georgeff.
An Abstract Architecture for Rational Agents.
In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR-92), pages 439-449. Morgan Kaufmann, 1992.

RG95

Anand S. Rao and Michael P. Georgeff.
BDI Agents: From Theory to Practice.
In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 312-319, June 1995.

RN95

Stuart J. Russel and Peter Norvig.
Artificial Intelligence: A Modern Approach.
Prentice Hall, New Jersey, 1995.

RU71

N. Rescher and A. Urquhart.
Temporal Logic.
Springer-Verlag, New York, 1971.

Sak98

Paul Saka.
Quotation and the use-mention distinction.
Mind, 107:113-135, 1998.

San94

Erik Sandewall.
Features and Fluents:The Representation of Knowledge about Dynamical Systems - Volume 1.
Oxford University Press, Inc., 1994.

Sea69

John R. Searle.
Speech Acts: An Essay in the Philosophy of Language.
Cambridge University Press, Cambridge, U.K., 1969.

Sea83

John R. Searle.
Intentionality: An Essay in the Philosophy of Mind.
Cambridge University Press, Cambridge, UK, 1983.

SG88

Yoav Shoham and Nita Goyal.
Temporal reasoning in artificial intelligence.
In Howard Shrobe, editor, Exploring Artificial Intelligence, pages 419-438. Morgan-Kaufmann, 1988.

Sha89

Stuart C. Shapiro.
The CASSIE projects: An approach to natural language competence.
In J. Siekmann, editor, Lecture Notes in Artificial Intelligence, 390, pages 362-380. Springer-Verlag, 1989.

Sha90

Murray Shanahan.
Representing continuous change in the event calculus.
In European Conference on Artificial Intelligence, pages 598-603, 1990.

Sha98

Stuart C. Shapiro.
Embodied Cassie.
In Proceedings of the AAAI 1998 Fall Symposium on Cognitive Robotics, pages 136-143, 1998.

Sha00

Stuart C. Shapiro.
An introduction to sneps 3.
In B. Ganter and G. W. Mineau, editors, Conceptual Structures: Logical, Linguistic, and Computational Issues, Lecture Notes in Artificial Intelligence, pages 510-524. Springer-Verlag, 2000.

Sho88

Y. Shoham.
Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence.
The MIT Press, Cambridge, MA, 1988.

Sin92

Munindar P. Singh.
A critical examination of the Cohen-Levesque theory of intentions.
In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92), pages 364-368, 1992.

Smi91

Brian Cantwell Smith.
The owl and the electric encyclopedia.
Artificial Intelligence, 47:251-288, 1991.

ST93

Daniel Sleator and Davy Temperley.
Parsing English with a LINK Grammar.
In Third International Workshop on Parsing Technologies, pages 277-291, 1993.

SW85

Michael Stadler and Theo Wehner.
Anticipation as a Basic Principle in Goal Directed Action.
In Michael Frese and John Sabini, editors, Goal Directed Behavior: The concept of Action in Psychology, pages 67-77. Lawrence Erlbaum Associates, 1985.

SW00

Martijn C. Schut and Michael Wooldridge.
Intention reconsideration in complex environments.
In S. Sierra, M. Gini, and J.S. Rosenschein, editors, Proceedings of the Fourth International Conference on Autonomous Agents (AGENTS - 00), pages 209-216. ACM Press, 2000.

SW01

Martijn Schut and Michael Wooldridge.
Principles of intention reconsideration.
In Jörg P. Müller, Elisabeth Andre, Sandip Sen, and Claude Frasson, editors, Proceedings of the Fifth International Conference on Autonomous Agents - (AGENTS-01), pages 340-347. ACM Press, 2001.

SWP04

Martijn C. Schut, Michael J. Wooldridge, and Simon Parsons.
The theory and practice of intention reconsideration.
Journal of Experimental and Theoretical Artificial Intelligence, 16(4):261-293, 2004.

TAC$^+$99

David R. Traum, Carl F. Andersen, Waiyian Chong, Darsana Josyula, Yoshi Okamoto, Khemdut Purang, Michael O'Donovan-Anderson, and Don Perlis.
Representations of Dialogue State for Domain and Task Independent Meta-dialogue.
Electronic Transactions on Artificial Intelligence, 3:125-152, 1999.

TH92

David R. Traum and Elizabeth A. Hinkelman.
Conversation acts in task-oriented spoken dialogue.
Computational Intelligence, 8(3):575-599, 1992.

T.S94

T.Selker.
Coach: a teaching agent that learns.
Communications of the ACM, 37(7):93-99, 1994.

vB83

J. van Benthem.
The Logic of Time.
Kluwer Academic Publishers, 1983.

Wal90

Douglas N. Walton.
Practical Reasoning: Goal-Driven, Knowledge-Based, Action-Guiding Argumentation, pages 211-244.
Rowman & Littlefield Publishers, Inc., Maryland, USA, 1990.

Web90

Jay C. Weber.
On the Representation of Concurrent Actions in the Situation Calculus.
In Proceedings of the Eighth Biennial Conference of the Canadian Society for Computational Studies of Intelligence (CSCSI-90), pages 28 - 32, San Francisco, CA, USA, 1990. Morgan Kaufmann Publishers Inc.

WJ95

Michael Wooldridge and Nicholas R. Jennings.
Intelligent Agents: Theory and Practice.
Knowledge Engineering Review, 10(2):115-152, 1995.

Woo92

Michael J. Wooldridge.
The Logical Modelling of Computational Multi-Agent Systems.
PhD thesis, University of Manchester, 1992.

Woo00

Michael Wooldridge.
Reasoning about Rational Agents.
MIT Press, Massachusetts, 2000.

WP99

Michael Wooldridge and Simon Parsons.
Intention reconsideration reconsidered.
In Jörg P. Müller, Munindar P. Singh, and Anand S. Rao, editors, LNAI - Proceedings of the 5th International Workshop on Intelligent Agents V : Agent Theories, Architectures, and Languages (ATAL-98), volume 1555, pages 63-80. Springer-Verlag, 1999.