text:
4
    21. Renate Motschnig-Pitrik and Ladislav Nykl, "The Role and
    		Modeling of Context in a Cognitive Model of {R}oger's
		Person-Centred Approach", pp. 275--289
    22. Carlo Penco, "Local Holism", pp. 290--303
    23. Isodora Stojanovic, "Whom is the Problem of the Essential
    		Indexical a Problem for?", pp. 304--315
    24. Charles Tijus, "Contextual Categorization and Cognitive
    		Phenomena", pp. 316--329
    25. Elise H. Turner and Roy M. Turner, "Representing the Graphics
    		Context to Support Understanding Plural Anaphora in
		Multi-Modal Interfaces", pp. 330--342
    26. Roy M. Turner and Elise H. Turner and Thomas A. Wagner and
    		Thomas J. Wheeler and Nancy E. Ogle, "Using
		Explicit, A Priori Contextual Knowledge in
		an Intelligent Web Search Agent", pp. 343--352
    27. Nicla Vassallo, "Contexts and Philosophical Problems of
    		Knowledge", pp. 353--366
    28. Holger Wache, "Practical Context Transformation for
    		Information System Interoperability", pp. 367--380
    29. Roger A. Young, "Explanation as Contextual", pp. 381--394
    30. Elisabetta Zibetti and Vicen\c{c} Quera and Francesc
    		Salvador Beltran and Charles Tijus, "Contextual
		Categorization:  A Mechanism Linking Perception
		and Knowledge in Modeling and Simulating Perceived
		Events as Actions", pp. 395--408
    31. William A. Adams, "The Motivational Context", pp. 409--412
    32. Guido Boella and Leonardo Lesmo, "An Approach to Anaphora
    		Based on Mental Models", pp. 413--416
    33. Cristina Bosco and Carla Bazzanella, "Context and Multi-Media
    		Corpora,  pp. 417--420
    34. Luc Bovens and Stephan Hartmann, "Belief Expansion,
    		Contextual Fit and the Reliability of Information
		Sources", pp. 421--424
    35. Aline Chevalier and Laure Martinex, "The Role of Context
    		in the Acquisition and in the Organization of
		Knowledge: Studies from Adults and from
		Children", pp. 425--428
    36. Piotr Ciskowski, "{VC}-Dimension of a Context-Dependent
    		Perception", pp. 429--432
    37. Christo Dichev, "A Framework for a Context-Driven Web
    		Resource Directory", pp. 433--436
    38. Patrick Etcheverry and Phillipe Lopist\'eguy and Pantxika
    		Dagorret, "Specifying Contexts for Coordination
		Patterns", pp. 437--440
    39. Anne-Laure Fayard and Austin Henderson, "Looking at `Situated'
    		Technology: Differences in Pattern of Interaction Reflect
		Differences in Context", pp. 441-444
    40. J.T. Fern\'andez-Breis and Rafael Valencia-Garcia and Rodrigo
    		Martinez-B\'ejar and Pascual Cantos-G\`omez, "A
		Context-Driven Approach for Knowledge Acquisition:
		Application to a Leukemia Domain", pp. 445--448
    41. Anita Fetzer, "Context in Natural-Language Communication:
    		Presupposed or Co-Supposed?", pp. 449--452
    42. Avelino J. Gonzalez and Shinya Sacki, "Using Contexts
    		Competition to Model Tactical Human Behavior
		in a Simulation", pp. 453--456
    43. Roland Klemke and Achim Nick, "Case Studies in Developing
    		Contextualizing Information Systems", pp. 457--460
    44. Jean-Charles Pomerol and Patrick Brezillon, "About Some
    		Relationships between Knowledge and Context", pp. 461--464
    45. Debbie Richards, "Combining Cases and Rules to Provide
    		Contextualized Knowledge Based Systems", pp. 465--469
  },
  ISBN = {3-540-42379-6},
  topic = {context;}
 }

@inproceedings{ akman-surav:1995a,
  author = {Varol Akman and Mehmet Surav},
  title = {Contexts, Oracles, and Relevance},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Formalizing Context},
  year = {1995},
  pages = {23--30},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  editor = {Sa\v{s}a Buva\v{c}},
  address = {Menlo Park, California},
  topic = {context;contextual-reasoning;}
  }

@article{ akman-surav:1996a,
  author = {Varol Akman and Mehmet Surav},
  title = {Steps Toward Formalizing Context},
  journal = {{AI} Magazine},
  year = {1996},
  volume = {17},
  number = {3},
  pages = {55--72},
  rtnote = {In RHT collection. Photocopy on file.},
  topic = {context;}
  }

@article{ akman-surav:1997a,
  author = {Varol Akman and Mehmet Surav},
  title = {The Use of Situation Theory in Context Modeling},
  journal = {Computational Intelligence},
  year = {1997},
  volume = {13},
  number = {3},
  pages = {427--438},
  topic = {context;situation-theory;}
  }

@inproceedings{ akman-tin:1990a,
  author = {Varol Akman and E. T{\i}n},
  title = {What Is in a Context?},
  booktitle = {Proceedings of the 1990 Bilkent Intlernational
  	Conference on New Trends in Communication, Control, and
	Signal Processing, Volume {II}},
  year = {1990},
  editor = {E. Ar{\i}kan},
  pages = {1670--1676},
  publisher = {Elsevier Science Publishers},
  address = {Amsterdam},
  missinginfo = {A's 1st name},
  topic = {context;}
  }

@inproceedings{ akman-tin:1990b,
  author = {Varol Akman and E. T{\i}n},
  title = {Causal Theories, Contexts, and Design},
  booktitle = {Proceedings of the Fourth Eurographics Workshop on
  	Intelligent {CAD} Systems: Added Value of Intelligence to {CAD}},
  year = {1990},
  pages = {114--119},
  missinginfo = {A's 1st name, publisher, organization},
  topic = {causality;context;}
  }

@incollection{ akras:2005a,
  author = {Fabio N. Akras},
  title = {Modelling the Context of Learning Interactions in
  	Intelligent Learning Environments},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {1--14},
  address = {Berlin},
  topic = {context;cognitive-psychology;learning;}
  }

@book{ alagar-periyasamy:1998a,
  author = {V.S. Alagar and K. Periyasamy},
  title = {Specification of Software Systems},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  ISBN = {0387984305 (hardcover: alk. paper)},
  rtnote = {UMich Media Union Library, QA 76.758 .A421 1998.},
  topic = {software-engineering;}
 }

@book{ alasady:1995a,
  author = {Raad Al-Asady},
  title = {Inheritance Theory: An Artificial Intelligence Approach},
  publisher = {Ablex Publishing Corp.},
  year = {1995},
  address = {Norwood, New Jersey},
  ISBN = {1-56750-155-9},
  contentnote = {TC:
  	1. Introduction
	2. Inheritance Hierarchies
	3. Current Approach to Nonmonotonic Reasoning
	4. The Problem: A Clash of Intuitions
	5. ETR: An Exception-Based Approach to Nonmonotonic Reasoning
	6. Default Correlation: An Approach to Inheritance with Conflict
	7. Application: Causal Reasoning and ETR
       10. Application: Analogical Reasoning and ETR
       11. Conclusion
   },
  rtnote = {UMich Media Library Q338.85 .A43 1995},
  topic = {inheritance-theory;}
 }

@inproceedings{ alasady-narayanan_a:1993a,
  author = {Raad Al-Asady and Ajit Narayanan},
  title = {More Notes on `A Clash of Intuitions'},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {682--687},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;}
  }

@article{ alberdi-sleeman:1997a,
  author = {Eugenio Alberdi and Derek H. Sleeman},
  title = {Re{TAX}: A Step in the Automation of Taxonomic Revision},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {91},
  number = {2},
  pages = {257--279},
  topic = {automated-scientific-discovery;taxonomic-reasoning;}
  }

@inproceedings{ alberg-shahmehri:2001a,
  author = {Johan Alberg and Nahid Shahmehri},
  title = {An Empirical Study of Human Web Assistants:  Implications
  	for User Support in Web Information Systems},
  booktitle = {Proceedings of ACM CHI 2001 Conference on Human
  		Factors in Computing Systems },
  year = {2001},
  editor = {Julie A. Jacko and Andrew Sears and Jonathan Arnowitz},
  organization = {Association for Computing Machinery},
  publisher = {Association for Computing Machinery},
  address = {New York},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {HCI;web-assistants;}
  }

@article{ alberucci-salipante:2004a,
  author = {Luca Alberucci and Vincenzo Salipante},
  title = {On Modal $\mu$-Calculus and Non-Well-Founded Set Theory},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {4},
  pages = {343--360},
  topic = {modal-logic;nonwellfounded-sets;}
  }

@book{ albeverio-etal:1986a,
  author = {Sergio Albeverio and Jens Erik Fenstad and Raphael
  	H{\o}egh-Krohn and Tom Lingstr{\o}m},
  title = {Nonstandard Methods in Stochastic Analysis and
  	Mathematical Physics},
  publisher = {Academic Press},
  year = {1986},
  address = {New York},
  rtnote = {In RHT collection.  Filed under "Fenstad".},
  topic = {nonstandard-analysis;}
 }

@article{ albrecht-etal:1998a,
  author = {David Albrecht and Frank A B\"auerle and
  	John N. Crossley},
  title = {Currey-{H}oward terms for Linear Logic},
  journal = {Studia Logica},
  year = {1998},
  volume = {61},
  number = {2},
  pages = {223--235},
  topic = {proof-theory;linear-llgic;}
  }

@article{ albritton:1957a,
  author = {Rogers Albritton},
  title = {Present Truth and Future Contingency},
  journal = {Philosophical Review},
  year = {1957},
  volume = {1957},
  number = {66},
  pages = {29--46},
  topic = {future-contingent-propositions;}
  }

@article{ albritton:1964a,
  author = {Rogers Albritton},
  title = {Comments},
  journal = {The Journal of Philosophy},
  year = {1964},
  volume = {62},
  number = {21},
  pages = {691--694},
  xref = {Commentary on: putnam_h:1964a1.},
  topic = {foundations-of-AI;philosophy-of-mind;philosophy-AI;}
  }

@inproceedings{ albritton-moore_jd:1999a,
  author = {David Albritton and Johanna D. Moore},
  title = {Discourse Cues in Narrative Text: Using Production
			to Predict Conversation},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  year = {1999},
  editor = {Susan E. Brennan and Alain Giboin and David R. Traum},
  pages = {1--8},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;discourse-cue-words;}
  }

@book{ albus:1981a,
  author = {James S. Albus},
  title = {Brains, Behavior and Robotics},
  publisher = {Byte Books},
  address = {Peterborough, New Hampshire},
  year = {1985},
  topic = {AI-survey;}
 }

@article{ alchourron:1972a,
  author = {Carlos E. Alchourr\'on},
  title = {The Intuitive Background of Normal Legal Discourse
  	and its Formalization},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  number = {3--4},
  missinginfo = {pages = {447--}},
  topic = {legal-reasoning;deontic-logic;}
  }

@inproceedings{ alchourron:1991a,
  author = {Carlos E. Alchourr\'on},
  title = {Philosophical Foundations of Deontic Logic and the
  	Logic of Defeasible Conditionals},
  booktitle = {Workshop on Deontic Logic in Computer Science},
  year = {1991},
  address = {Amsterdam},
  missinginfo = {editor, publisher, pages},
  topic = {deontic-logic;}
  }

@incollection{ alchourron:1994a,
  author = {Carlos E. Alchourr\'on},
  title = {Philosophical Foundations of Deontic Logic and the Logic of
  	Defeasible Conditionals},
  booktitle = {Deontic Logic in Computer Science: Normative System
  	Specification},
  publisher = {John Wiley and Sons},
  year = {1994},
  editor = {J.J. Meyer and R.J. Wieringa},
  pages = {43--84},
  address = {New York},
  topic = {deontic-logic;nonmonotonic-logic;conditionals;
  	nonmonotonic-conditionals;}
  }

@incollection{ alchourron:1995a,
  author = {Carlos E. Alchourr\'on},
  title = {Defeasible Logics: Demarcation and Affinities},
  booktitle = {Conditionals: From Philosophy to Computer Science},
  publisher = {Oxford University Press},
  year = {1995},
  editor = {Gabriella Crocco and Luis Fari\~nas del Cerro and Andreas Herzig},
  pages = {67--102},
  address = {Oxford},
  topic = {conditionals;nonmonotonic-logic;}
  }

@article{ alchourron:1996a,
  author = {Carlos Alchourr\'on},
  title = {Detachment and Defeasibility in Deontic Logic},
  journal = {Studia Logica},
  year = {1996},
  volume = {57},
  number = {1},
  pages = {5--18},
  topic = {deontic-logic;prima-facie-obligation;}
  }

@incollection{ alchourron-bulygin:1981a,
  author = {Carlos E. Alchourr\'on and Eugenio Bulygin},
  title = {The Expressive Conception of Norms},
  booktitle = {New Studies in Deontic Logic},
  publisher = {D. Reidel Publishing Company},
  year = {1981},
  editor = {Risto Hilpinen},
  pages = {95--125},
  address = {Dordrecht},
  topic = {normative-systems;permission;deontic-logic;}
  }

@article{ alchourron-etal:1985a,
  author = {Carlos E. Alchourr\'on and Peter G\"ardenfors and David
  	C. Makinson},
  title = {On the Logic of Theory Change: Partial Meet Contraction Functions
	 and Their Associated Revision Functions},
  journal = {Journal of Symbolic Logic},
  year  = {1985},
  volume = {50},
  pages = {510--530},
  missinginfo = {number},
  topic = {belief-revision;}
 }

@incollection{ alchourron-makinson:1981a,
  author = {Carlos E. Alchourr\'on and David C. Makinson},
  title = {Hierarchies of Regulations and Their Logic},
  booktitle = {New Studies in Deontic Logic},
  publisher = {D. Reidel Publishing Company},
  year = {1981},
  editor = {Risto Hilpinen},
  pages = {125--148},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;normative-systems;rules-and-regulations;}
  }

@article{ alchourron-makinson:1982a,
  author = {Carlos E. Alchourr\'on and David C. Makinson},
  title = {The Logic of Theory Change: Contraction Functions and Their
		Associated Revision Functions},
  journal = {Theoria},
  year  = {1982},
  volume = {48},
  pages = {14--37},
  topic = {belief-revision;}
  }

@article{ alchourron-makinson:1985a,
  author = {Carlos E. Alchourr\'on and David C. Makinson},
  title = {On the Logic of Theory Change: Safe Contraction},
  journal = {Studia Logica},
  year  = {1985},
  volume = {44},
  pages = {405--422},
  missinginfo = {number},
  topic = {belief-revision;}
 }

@article{ alderete-etal:1999a,
  author = {John Alderete and Jill Beckman and Laura Benula
	and Amalia Gnanadesikan and John McCarthy and
	Suzanne Urbanczyk},
  title = {Reduplication with Fixed Segmentation},
  journal = {Linguistic Inquiry},
  year = {1999},
  volume = {30},
  number = {3},
  pages = {327--364},
  topic = {reduplication;morphology;phonology;
		optimality-theory;}
  }

@article{ aldrich:1970a,
  author = {Virgil C. Aldrich},
  title = {Review of \emph{{S}eeing and Knowing}, by {F}red {I}.
  	{D}retske},
  journal = {The Journal of Philosophy},
  year = {1970},
  volume = {67},
  number = {23},
  pages = {995--1006},
  xref = {Review of dretske:1969a.},
  topic = {logic-of-perception;epistemology;epistemic-logic;}
  }

@article{ alechina:1992a,
  author = {Natasha Alechina},
  title = {On a Decidable Generalized Quantifier Logic Corresponding
  	to a Decidable Fragment of First-Order Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1992},
  volume = {4},
  number = {3},
  pages = {177--189},
  topic = {generalized-quantifiers;}
  }

@article{ alechina:1997a,
  author = {Natasha Alechina},
  title = {Review of \emph{{Q}uantifiers: Logic, Models, and
  	Computation}, edited by {M}. {K}rynicki, {M}. {M}ostowski, and
	{L}.{W}. {S}zczerba},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {3},
  pages = {342--344},
  topic = {generalized-quantifiers;}
  }

@article{ alechina:2005a,
  author = {Natasha Alechina},
  title = {Editorial},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {3},
  pages = {261--262},
  topic = {guarded-fragments;decidability;subtheories-of-FOL;}
  }

@article{ aleferes-etal:2002a,
  author = {Jos\'e J\'ulio Aleferes and J.A. Leite and Lu\'is Moniz
  	Pereira and Halina Przymusinska and Teodor C. Przymucinski},
  title = {{LUPS}---A Language for Updating Logic Programs},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {138},
  number = {1--2},
  pages = {87--116},
  topic = {logic-programming;program-revision;}
  }

@incollection{ aleliunas:1990a,
  author = {Romas Aleliunas},
  title = {A New Normative Theory of Probabilistic Logic},
  booktitle = {Knowledge Representation and Defeasible Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  editor = {Henry Kyburg and Ronald Loui and Greg Carlson},
  pages = {387--403},
  address = {Dordrecht},
  topic = {abstract-probability;probability-semantics;}
  }

@article{ aler-etal:2002a,
  author = {Ricardo Aler and Daniel Borrajo and Pedro Isasi},
  title = {Using Genetic Programming to Leanr and Improve Control
  	Knowledge},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {141},
  number = {1--2},
  pages = {29--56},
  topic = {genetic-algorithms;procedural-control;}
  }

@article{ aleven:2003a,
  author = {Vinvent Aleven},
  title = {Using Background Knowledge in Case-Based Legal Reasoning:
  	A Computational Model and an Intelligent Learning
	Environment},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {150},
  number = {1-2},
  pages = {183--237},
  topic = {AI-and-law;case-based-reasoning;intelligent-tutoring-systems;}
  }

@book{ alexander_hg:1988a,
  author = {Hubert G. Alexander},
  title = {The Language and Logic of Philosophy},
  publisher = {University Press of America},
  year = {1988},
  address = {Lanham, Maryland},
  rtnote = {In RHT collection.  LLP authored shelves.},
  rtnote = {The idea is good, but the execution of it appears to
  	be fairly superficial in this work.},
  topic = {philosophical-reasoning;}
 }

@article{ alexander_j-skyrms:1999a,
  author = {Jason Alexander and Brian Skyrms},
  title = {Bargaining with Neighbors:  Is Justice Contagious?},
  journal = {The Journal of Philosophy},
  year = {1999},
  volume = {96},
  number = {11},
  pages = {588--508},
  topic = {evolutionary-game-theory;distributive-justice;}
  }

@book{ alexanderofaphrodisias-quaestiones:1983a1,
  author = {Alexander of Aphrodisias},
  title = {Quaestiones},
  publisher = {Duckworth},
  year = {1983},
  address = {London},
  ISBN = {0715623729},
  note = {Translated by R. W. Sharples, with an introduction and
  		commentary.},
  xref = {Republication:  alexanderofaphrodisias-quaestiones:1983a2},
  rtnote = {UMich GRADUATE LIBRARY, B 535 .A63 Q343 1992.},
  topic = {(in)determinism;Aristotle;}
 }

@book{ alexanderofaphrodisias-quaestiones:1983a2,
  author = {Alexander of Aphrodisias},
  title = {Quaestiones},
  publisher = {Duckworth},
  year = {1992},
  address = {London},
  ISBN = {0715623729},
  note = {Translated by R. W. Sharples.},
  rtnote = {UMich GRADUATE LIBRARY, B 535 .A63 Q343 1992.},
  topic = {(in)determinism;}
 }

@inproceedings{ alexandersson:1996a,
  author = {Jan Alexandersson},
  title = {Some Ideas for the Automatic Acquisition of Dialogue
  	Structure},
  booktitle = {Proceedings of the 11th {T}wente Workshop on Language
  	Technology},
  year = {1996},
  pages = {149--158},
  organization = {University of Twente},
  address = {Entschede},
  missinginfo = {A's 1st name, editor, publisher},
  topic = {machine-language-learning;discourse-structure;}
  }

@book{ alexandersson:1999a,
  editor = {Jan Alexandersson},
  title = {Proceedings of the {IJCAI}-99 Workshop on
  	Knowledge and Reasoning in Practical Dialogue Systems},
  publisher = {International Joint Conference on Artificial Intelligence},
  year = {1999},
  address = {Murray Hill, New Jersey},
  rtnote = {In RHT collection.},
  contentnote = {TC:
  	1. Masahiro Araki and Kazunoru Komatani and Taishi Hirata
  		and Shuji Doshita, "A Dialogue Library for
		Task-Oriented Spoken Dialogue Systems"
	2. Maria Aretoulaki and Bernd Ludwig,
		"Automation-Descriptions and Theorem-Proving: A
  		Marriage Made in Heaven?"
	3. Johan Boye and Mats Wir\'en and Manny Rayner and
		Ian Lewin and David Carter and Ralph Becket,
		"Language-Proccessing Strategies for Mixed-Initiative
		Dialogues"
	4. Peter Bohlin and Robin Cooper and Elizabet Engdahl and
		Staffan Larsson, Information States and Dialogue Move
		Engines"
	5. Matthias Denecke and Alex Waibel, "Integrating Knowledge
		Sources for the Specification of a Task-Oriented
		Dialogue System"
	6. Annika Flycht-Eriksson, "A Survey of Knowledge Sources in
		Dialogue Systems"
	7. Joris Hulstijn, "Modeling Usability: Development Methods
		for Dialogue Systems"
	8. Michael Kipp and Jan Alexandersson and Norbert
  		Reithinger, "Understanding Spontaneous Negotiation
		Dialogue"
	9. Anke K\"olzer, "Universal Dialogue Specification for
		Conversational Systems"
       10. Diane J. Litman and Marilyn A. Walker and Michael
  		S. Kearns, "Acquiring Knowledge of System Performance
		for Spoken Dialogue"
       11. John Aberdeen and Samuel Bayer and Sasha Caskey and Laurie
  		Damianos and Alan Goldschen and Lynette Hirschman and
		Dan Loehr and Hugo Trapper, "Implementing Practical
		Dialogue Systems with the {DARPA} Communicator
		Architecture"
       12. Richard McConachy and Ingrid Zukerman, "Dialogue
       		Requirements for Argumentation Systems"
       13. Susan McRoy and Syed S. Ali, "A Practical, Declarative
       		Theory of Dialogue"
       14. Mark Seligman and Jan Alexandersson and Kristiina
  		Jokinen, "Tracking Morphological and Semantic Co-Occurrences
  		in Spontaneous Dialogues"
       15. David R. Traum and Carl Andersen, "Representations of
       		Dialogue State for Domain and Task Independent
		Meta-Dialogue"
    },
  topic = {computational-dialogue;}
 }

@incollection{ alexandersson-heisterkamp:2000a,
  author = {Jan Alexandersson and Paul Heisterkamp},
  title = {Some Notes on the Complexity of Dialogues},
  booktitle = {Proceedings of the First {SIGdial} Workshop on Discourse
  	and Dialogue},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Laila Dybkjaer and Koiti Hasida and David R. Traum},
  pages = {160--169},
  address = {Somerset, New Jersey},
  topic = {computational-dialogue;}
  }

@incollection{ alexandersson-poller:1998a,
  author = {Jan Alexandersson and Peter Poller},
  title = {Toward Multilingual Protocol Generation for Spontaneous
  	Speech Dialogues},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {198--207},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;machine-translation;}
  }

@article{ alexandrova:2008a,
  author = {Anna Alexandrova},
  title = {Making Models Count},
  journal = {Philosophy of Science},
  year = {2008},
  volume = {75},
  number = {3},
  pages = {383--},
  topic = {scientific-models;philosophy-of-economics;explanation;
  		auction-protocols;}
  }

@book{ alferes-etal:1996a,
  editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and Eva Orlowska},
  title = {Logics in Artificial Intelligence European Workshop:
  	Proceedings of {JELIA} '96, Evora, Portugal, September 30 -
	October 3, 1996},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  ISBN = {3540616306},
  contentnote = {TC:
     1. Peter Baumgartner and Ulrich Furbach and Ilkka Niemeld, "Hyper
     		Tableaux", pp. 1--17
     2. Hans de Nivelle, "An Algorithm for the Retrieval of Unifiers
     		from Discrimination Trees", pp. 18--33
     3. Christophe Bourely and Gilles Difourneaux and Nicolas
     		Peltier, "Building Proofs or Counterexamples by
		Analogy in a Resoluton Framework", pp. 34--49
     4. Anatoli Degtyarev and Andrei Voronkov, "What You Always
     		Wanted to Know About Rigid E-Unification", pp. 50--69
     5. Alberto Artosi and Paola Benassi and Guido Governatori and
     		Antonino Rotolo, "Labelled Proofs for Quantified
		Modal Logic", pp.  70--86
     6. Francesco M. Donini and Fabio Massacci and Daniele Nardi and
     		Riccardo Rosati, "A Uniform Tableaux Method for
		Nonmonotonic Modal Logics", pp. 87--103
     7. Peter Fr\"ohlich and Wolfgang Nejdl and Michael Schroeder,
     		"Design and Implementation of Diagnostic Strategies
		Using Modal Logic", pp. 104--118
     8. Filipe Santos and Josi Carmo, "A Modal Action Logic Based
     		Framework for Organization Specification and
		Analysis", pp. 119--133
     9. Michael R. Genesereth, "Mc{C}arthy's Idea", pp. 134--142
    10. Jos\'e J\'ulio Alferes and Lu\"is Moniz Pereira and Teodor C.
    		Przymusinski, "Strong and Explicit Negation in
		Non--Monotonic Reasoning and Logic
		Programming", pp. 143--163
    11. Joeri Engelfriet, "Only Persistence Makes Nonmonotonicity
    		Monotonous", pp. 164--175
    12. Konstantinos Georgatos, "Ordering-Based Representations of
    		Rational Inference", pp. 176--191
    13. Artur Mikitiuk, "Semi-Representability of Default Theories in
    		Rational Default Logic", pp. 192--207
    14. Viorica Ciorba, "A Query Answering Algorithm for {L}ukaszewicz'
    		General Open Default Theory", pp. 208--223
    15. Joeri Engelfriet and V. Wiktor Marek and Jan Treur and
    		Miroslaw Truszczynski, "Infinitary Default Logic for
		Specification of Nonmonotonic Reasoning", pp. 224--236
    16. Grigoris Antoniou and Allen P. Courtney and J\"urg Ernst and
    		Mary-Anne Williams, "A System for Computing
		Constrained Default Logic Extensions", pp. 237--250
    17. Chandrabose Aravindan, "An Abductive Framework for Negation
    		in Disjunctive Logic Programming", pp. 252--267
    18. Stefan Brass and J\"urgen Dix, "Characterizing D-WFS:
    		Confluence and Iterated {GCWA}", pp. 268--283
    19. Vasco Pedro and Lums Monteiro, "Modules and
    		Specifications", pp.284--300
    20. Manuel Enciso and Inman P. de Guzman and Carlos
    		Rossi, "Temporal Reasoning over Linear Discrete
		Time", pp. 303--319
    21. Regimantas Pliuskevicius, "Similarity Saturation for First
    		Order Linear Temporal Logic with {UNLESS}", pp. 320--336
    22. Brandon Bennett, "Carving Up Space: Steps Towards
    		Construction of an Absolutely Complete Theory of
		Spatial Regions", pp. 337--353
    23. Paola Forcheri and Paola Gentilini and Maria Teresa
    		Molfino, "Informational Logic for Automated
		Reasoning", pp. 354--372
    24. Michael Kaminski and Johann A. Makowsky and Michael L.
    		Tiomkin, "Extensions for Open Default Theories via
		the Domain Closure Assumption", pp. 373--387
    25. Cees Witteveen and Wiebe van der Hoek, "Revising and Updating
    		Using a Back-Up Semantics", pp. 388--403
    26. Philippe Besnard and Torsten Schaub, "A Simple Signed System
    		for Paraconsistent Reasoning", pp. 404--416
   },
  topic = {logic-in-AI;}
 }

@incollection{ alferes-etal:1998a,
  author = {Jos\'e J\'ulio Aleferes and J.A. Leite and Lu\'is Moniz
  	Pereira and Halina Przymusinska and Teodor C. Przymucinski},
  title = {Dynamic Logic Programming},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {98--109},
  address = {San Francisco, California},
  topic = {kr;logic-programming;belief-revision;kr-course;}
  }

@article{ alferes-etal:2005a,
  author = {Jos\'e J\'ulio Alferes and Federico Banti and Antonio
  	Brogi and Jo\~ao Alexandre Leite},
  title = {The Refined Extension Principle for Semantics of Dynamic
  		Logic Programming},
  journal = {Studia Logica},
  year = {2005},
  volume = {79},
  number = {1},
  pages = {7--32},
  topic = {action-formalisms;logic-programming;}
  }

@inproceedings{ alferes-pereira_lm:1992a,
  author = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira},
  title = {On Logic Program Semantics with Two Kinds of Negation},
  booktitle = {Logic Programming: Proceedings of the 1992 Joint
  	International Conference and Symposium},
  year = {1992},
  pages = {574--589},
  publisher = {The {MIT} Press},
  address = {Cambridge, Massachusetts},
  missinginfo = {A's 1st name},
  topic = {logic-programming;negation;negation-as-failure;}
  }

@inproceedings{ alferes-pereira_lm:1992b,
  author = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira},
  title = {Belief, Provability, and Logic Programs},
  booktitle = {{JELIA}'94},
  year = {1994},
  pages = {106--121},
  publisher = {Springer-Verlag},
  address = {Berlin},
  missinginfo = {A's 1st name},
  topic = {logic-programming;}
  }

@book{ alferes-pereira_lm:1996a,
  editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira},
  title = {Reasoning with Logic Programming},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  xref = {Review: tanaka_k2:2001a.},
  topic = {logic-programming;}
 }

@incollection{ alhalimi-kazman:1989a,
  author = {Reem Al-Halimi and Rick Kazman},
  title = {Temporal Indexing through Lexical Chaining},
  booktitle = {Word{N}et: An Electronic Lexical Database},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Christine Fellbaum},
  address = {Cambridge, Massachusetts},
  missinginfo = {pages},
  topic = {wordnet;temporal-representation;}
  }

@book{ alhibiri:1978a,
  author = {Azizah Al-Hibiri},
  title = {Deontic Logic: A Comprehensive Appraisal and
  	a New Proposal},
  publisher = {University Press of America},
  year = {1978},
  address = {Washington, District of Columbia},
  rtnote = {In RHT collection.  LLP authored shelves.},
  rtnote = {tmix-project;},
  topic = {deontic-logic;}
 }

@unpublished{ alhibiri:1979b,
  author = {Azizah Al-Hibiri},
  title = {Temporality and Deontic Logic},
  year = {1979},
  note = {Unpublished manuscript, Texas A\&M University},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {deontic-logic;temporal-logic;}
  }

@inproceedings{ aliferis-cooper_gf:1994a,
  author = {Constantine F. Aliferis and Gregory F. Cooper},
  title = {An Evaluation of an Algorithm for Inductive Learning of
  	{B}ayesian Belief Networks Using Simulated Data Sets},
  booktitle = {Proceedings of the
  	10th Conference on Uncertainty in Artificial Intelligence
	(UAI94)},
  year = {1994},
  pages = {8--14},
  missinginfo = {Editor, Organization, Address},
  topic = {machine-learning;Bayesian-networks;}
  }

@book{ aliseda-etal:1998a,
  editor = {Atocha Aliseda and Rob {van Glabbeek} and Dag Westerst{\aa}hl},
  title = {Computing Natural Language},
  publisher = {{CSLI} Publications},
  year = {1998},
  address = {Stanford, California},
  contentnote = {TC:
  	1. John Perry, "Indexicals, Contexts, and Unarticulated
		       Constituents", pp. 1--11
  	2. John McCarthy and Sa\v{s}a Buva\v{c}, "Formalizing
		Context (Expanded Notes)", pp. 13--50
  	3. Johan van Benthem, "Changing Contexts and Shifting
		Assertions", pp. 51--65
  	4. Jan Jaspars and Megumi Kameyama, "Discourse Preferences
		and Dynamic Logic", pp. 67--96
  	5. Victor S\'anchez Valencia, "Polarity, Predicates, and
		Monotonicity", pp. 97--117
  	6. M. Andrew Moshier, "HPSG as a Type Theory", pp. 119--139
  	7. Patrick Suppes, Michael B\"ottner and Lin Liang,
		"Machine Learning of Physics Word Problems", pp. 141--154
  	},
  rtnote = {In RHT collection. LL Collections Shelves.},
  topic = {context;grammar-formalisms;computational-linguistics;}
 }

@techreport{ allegranza-bech:1989a,
  author = {Valerio Allegranza and Annelise Bech},
  title = {A Versatile Tool for Treating Unbounded Dependency
  	Constructions in {NLP} and {MT} Systems},
  institution = {Gruppo Dima, Sviluppo di Sistimi Linguistica
  	Computazionale, Torino},
  year = {1989},
  address = {Torino, Italy},
  rtnote = {In RHT collection.},
  missinginfo = {number},
  topic = {unbounded-dependency;parsing-algorithms;nl-processing;}
  }

@inproceedings{ allemang-etal:1987a,
  author = {D. Allemang and M. Tanner and T. Bylander and J.
  	Josephson},
  title = {Computational Complexity of Hypothesis Assembly},
  booktitle = {Proceedings of the Tenth International Joint
  	Conference on Artificial Intelligence},
  year = {1987},
  editor = {John McDermott},
  pages = {1112--1117},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  missinginfo = {A's 1st name},
  topic = {complexity-in-AI;abduction;}
  }

@inproceedings{ allen_b:1990a,
  author = {Beth Allen},
  title = {Costly Acquisition of (Differentiated) Information},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {169--184},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {communications-modeling;decision-theory;}
  }

@book{ allen_c-bekoff:1997a,
  editor = {Colin Allen and Marc Bekoff},
  title = {Species of Mind},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-01163-8},
  topic = {animal-cognition;}
 }

@book{ allen_j-etal:1987a,
  author = {John Allen and Sharon Hunnicut and Dennis H. Klatt},
  title = {From Text to Speech: The {MIT}alk System},
  publisher = {Cambridge University Press},
  year = {1987},
  address = {Cambridge, England},
  topic = {speech-generation;}
 }

@phdthesis{ allen_jf:1979a,
  author = {James F. Allen},
  title = {A Plan-Based Approach to Speech Act Recognition},
  school = {University of Toronto},
  year = {1979},
  address = {Toronto, Ontario, Canada},
  topic = {pragmatics;speech-acts;speech-act-recognition;
  	plan-recognition;}
 }

@article{ allen_jf:1983a1,
  author = {James Allen},
  title = {Maintaining Knowledge about Temporal Intervals},
  journal = {Communications of the {ACM}},
  year = {1983},
  volume = {26},
  number = {11},
  pages = {832--843},
  xref = {Several republications. Daniel S. Weld and Johan de Kleer
  	   Qualitative Reasoning about Physical Systems allen:1983a3.
          Brachman & Levesque
	   Readings in Knowledge Representation allen:1983a2.},
  topic = {temporal-reasoning;qualitative-reasoning;kr-course;}
 }

@incollection{ allen_jf:1983a2,
  author = {James F. Allen},
  title = {Maintaining Knowledge about Temporal Intervals},
  booktitle = {Readings in Knowledge Representation},
  publisher = {Morgan Kaufmann},
  year = {1995},
  editor = {Ronald J. Brachman and Hector J. Levesque},
  address = {Los Altos, California},
  pages = {509--522},
  xref = {Originally appeared in Communications of the ACM; 1983; 832--843;
  	   allen:1983a.  Republished in Brachman & Levesque; Readings
	   in KR},
  topic = {temporal-reasoning;qualitative-reasoning;kr-course;}
  }

@incollection{ allen_jf:1983a3,
  author = {James F. Allen},
  title = {Maintaining Knowledge about Temporal Intervals},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {361--372},
  address = {San Mateo, California},
  xref = {Originally appeared in Communications of the ACM 1983 832--843
  	   see allen:1983a.  Republished in Brachman & Levesque;
	   Readings in KR},
  topic = {temporal-reasoning;qualitative-reasoning;kr-course;}
  }

@incollection{ allen_jf:1983b,
  author = {James F. Allen},
  title = {Recognizing Intentions from Natural Language Utterances},
  booktitle = {Computational Models of Discourse},
  publisher = {The {MIT} Press},
  year = {1983},
  editor = {M. Brady and R. Berwick},
  pages = {107--166},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.  Prags Course Files.},
  rtnote = {pragmatics-course;},
  topic = {plan-recognition;nl-interpretation;
  	pragmatics;}
  }

@article{ allen_jf:1984a1,
  author = {James Allen},
  title = {Towards a General Theory of Action and Time},
  journal = {Artificial Intelligence},
  volume = {23},
  number = {2},
  pages = {123--154},
  year  = {1984},
  topic = {kr;foundations-of-planning;action;kr-course;}
 }

@incollection{ allen_jf:1984a2,
  author = {James F. Allen},
  title = {Towards a General Theory of Action and Time},
  booktitle = {Readings in Planning},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {James F. Allen and James Hendler and Austin Tate},
  pages = {464--479},
  address = {San Mateo, California},
  xref = {Originally in AI 23; 1984; 123--154},
  topic = {kr;foundations-of-planning;action;kr-course;}
  }

@incollection{ allen_jf:1990a,
    author = {James F. Allen},
    title = {Two Views of Intention: Comments on {B}ratman and on {C}ohen
    	     and {L}evesque},
    booktitle = {Intentions in Communication},
    editor = {Philip R. Cohen and Jerry Morgan and Martha Pollack},
    publisher = {The {MIT} Press},
    address = {Cambridge, Massachusetts},
    year = {1990},
    pages = {71--75},
    topic = {intention;practical-reasoning;foundations-of-planning;}
    }

@incollection{ allen_jf:1990b,
  author = {James F. Allen},
  title = {Formal Models of Planning},
  booktitle = {Readings in Planning},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {James F. Allen and James Hendler and Austin Tate},
  pages = {50--54},
  address = {San Mateo, California},
  topic = {kr;foundations-of-planning;action;kr-course;}
  }

@incollection{ allen_jf:1991a,
  author = {James F. Allen},
  title = {Planning as Temporal Reasoning},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {3--14},
  address = {San Mateo, California},
  topic = {kr;kr-course;planning;planning-formalisms;temporal-reasoning;}
  }

@incollection{ allen_jf:1991b,
  author = {James F. Allen},
  title = {Temporal Reasoning and Planning},
  booktitle = {Reasoning about Plans},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Henry A. Kautz and Richard Pelavin and
  	Joshua Tennenberg},
  address = {San Francisco, California},
  missinginfo = {pages},
  topic = {kr;planning;action;temporal-reasoning;kr-course;}
  }

@article{ allen_jf:1991c,
  author = {James F. Allen},
  title = {Time and Time Again: The Many Ways to Represent Time},
  journal = {International Journal of Intelligent Systems},
  year = {1991},
  volume = {6},
  pages = {341--355},
  missinginfo = {number},
  topic = {temporal-reasoning;krcourse;}
  }

@book{ allen_jf:1999a,
  author = {James F. Allen},
  title = {Natural Language Understanding},
  publisher = {Addison-Wesley Publishing Company},
  year = {1999},
  address = {Reading, Massachusetts},
  topic = {nlp-intro;}
 }

@book{ allen_jf-etal:1990a,
  editor = {James Allen and James Hendler and Austin Tate},
  title = {Readings in Planning},
  publisher = {Morgan Kaufmann},
  year = {1990},
  address = {San Mateo, California},
  topic = {planning;foundations-of-planning;action;}
  }

@book{ allen_jf-etal:1991a,
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  title = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  address = {San Mateo, California},
  topic = {kr;kr-course;}
 }

@book{ allen_jf-etal:1991b,
  editor = {James F. Allen and Henry A. Kautz and Richard Pelavin and
  	Joshua Tennenberg},
  title = {Reasoning about Plans},
  publisher = {Morgan Kaufmann},
  year = {1991},
  address = {San Francisco, California},
  topic = {planning;action;temporal-reasoning;}
  }

@book{ allen_jf-etal:1991c,
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  title = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  address = {San Mateo, California},
  topic = {kr;kr-course;}
 }

@inproceedings{ allen_jf-etal:1996a,
  author = {James F. Allen and Bradford W. Miller and Eric K. Ringger
  	and Teresa Sikorski},
  title = {A Robust System for Natural Spoken Dialogue},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {62--70},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {speech-recognition;discourse;pragmatics;}
 }

@inproceedings{ allen_jf-etal:2000a,
  author = {James F. Allen and Donna Byron and Dave Costello and Myroslava
     		Dzikovska and George Ferguson and Lucian
		Galescu and Amanda Stent},
  title = {{TRIPS}-911 System Demonstration},
  booktitle = {Conversational Systems},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Candace Sidner and James Allen and Phil Cohen and
  	Justine Cassell and Laila Dybkjaer and X.D. Huang and
	Masato Ishizaki and Candace Kamm and Lin-Shan Lee and
	Susann Luperfoy and Patti Price and Owen Rambow and
	Norbert Reithinger and Alex Rudnicky and Stephanie
	Seneff and Dave Stallard and David R. Traum and Marilyn
	Walker and Wayne Ward},
  pages = {33--35},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;}
  }

@techreport{ allen_jf-ferguson_g:1994a,
  author = {James F. Allen and George Ferguson},
  title = {Actions and Events in Interval Temporal Logic},
  institution = {Computer Science Department, University of
  	Rochester},
  number = {521},
  year = {1994},
  address = {Rochester, New York},
  rtnote = {In RHT collection.  Apparently to appear, Journal of
  	Logic and Computation, 1994.},
  topic = {temporal-logic;events;action;action-formalisms;}
  }

@incollection{ allen_jf-ferguson_g:1997a,
  author = {James F. Allen and George Ferguson},
  title = {Actions and Events in Interval Temporal Logic},
  booktitle = {Spatial and Temporal Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  editor = {Oliviero Stock},
  pages = {203--245},
  address = {Dordrecht},
  topic = {temporal-reasoning;actions;events;}
  }

@article{ allen_jf-kautz:1987a,
  author = {James F. Allen and Henry A. Kautz},
  title = {Logicism Is Alive and Well},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {161--162},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@incollection{ allen_jf-kautz:1988a,
  author = {James F. Allen and Henry A. Kautz},
  title = {A Model of Naive Temporal Reasoning},
  booktitle = {Formal Theories of the Commonsense World},
  editor = {Jerry R. Hobbs and Robert C. Moore},
  publisher = {Ablex Publishing Corporation},
  year = {1988},
  pages = {251--268},
  address = {Norwood, New Jersey},
  topic = {kr;temporal-reasoning;kr-course;}
  }

@inproceedings{ allen_jf-koomen:1983a,
  author =  {James F. Allen and Johannes Koomen},
  title = {Planning Using a Temporal World Model},
  booktitle = {Proceedings of the Eighth International Joint
  	Conference on Artificial Intelligence},
  year = {1983},
  editor = {Alan Bundy},
  pages = {741--747},
  publisher = {William Kaufmann, Inc.},
  address = {Los Altos, California},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;planning;}
 }

@unpublished{ allen_jf-litman:1986a,
  author = {James F. Allen and Diane Litman},
  title = {Plans, Goals, and Natural Language},
  year = {1986},
  note = {Unpublished manuscript, Department of Computer Science,
  	University of Rochester.},
  rtnote = {In RHT collection.  Note says to appear in IEEE, 1986.},
  topic = {planning;nl-processing;plan-recognition;}
  }

@article{ allen_jf-perrault:1980a,
  author = {James F. Allen and C. Raymond Perrault},
  title = {Analyzing Intention in Utterances},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {15},
  pages = {143--178},
  missinginfo = {number},
  rtnote = {pragmatics-course;},
  topic = {discourse;nl-interpretation;
  	plan-recognition;discourse-intentions;pragmatics;}
  }

@book{ allen_jv:2001a,
  author = {James Allen},
  title = {Inference from Signs:  Ancient Debates about the Nature
  		of Evidence},
  publisher = {Oxford University Press},
  year = {2001},
  address = {Oxford},
  ISBN = {0198250940 (alk. paper)},
  contentsnote = {Aristotle on sign-inference and related forms of
        argument -- Rationalism, empiricism, and scepticism: Sextus
        Empircus' treatment of sign-inference -- The stoics on
	sign-inference and demonstration -- Epicurean sign-inference
        in Philodemus},
  rtnote = {UMich Hatcher Graduate BC 29 .I6 A551 2001.},
  topic = {ancient-philosophy;Stoic-philosophy;epistemology;
  	philosophy-of-language;}
 }

@unpublished{ allen_jv:undateda,
  author = {James V. Allen},
  title = {Signs and Probability},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript.  Said to be part appendix to
  	doctoral dissertation.},
  missinginfo = {year},
  rtnote = {In RHT collection.},
  contentnote = {Has a discussion of default reasoning in
	    ancient philosophy. --RT},
  topic = {nonmonotonic-reasoning;ancient-philosophy;}
  }

@article{ allen_k:2001a,
  author = {Keith Allen},
  title = {Review of \emph{{T}oward a Cognitive Semantics} Volume 1 and
	{\it Toward a Cognitive Semantics} Volume 2, by {L}eonard {T}almy},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {2},
  pages = {309--315},
  xref = {Review of: talmy:2000a, talmy:2000b,},
  topic = {cognitive-semantics;lexical-semantics;}
  }

@article{ allen_le-engholm:1978a,
  author = {Layman E. Allen and C. Rudy Engholm},
  title = {Normalized Legal Drafting and the Query Method},
  journal = {Journal of Legal Education},
  year = {1978},
  volume = {29},
  pages = {380--412},
  topic = {legal-language;}
  }

@inproceedings{ allen_le-saxon:1987a,
  author = {Layman E. Allen and Charles S. Saxon},
  year = {1987},
  title = {Some Problems in Designing Expert Systems to Aid Legal
	Reasoning},
  booktitle = {First International Conference on Artificial
       Intelligence and Law},
  pages = {94--103},
  address = {Northeastern University, Boston, Massachusetts},
  topic = {legal-AI;}
  }

@article{ allen_rj-etal:2001a,
  author = {Robert J. Allen and David Garlan James Ivers},
  title = {Formal Modeling and Analysis of the {HLA} Component
  	Integration Standard},
  journal = {{ACM SIGSOFT} Software Engineering Notes },
  year = {2001},
  volume = {23},
  number = {6},
  pages = {70--79},
  rtnote = {In RHT collection.},
  topic = {software-engineering;software-architecture;}
  }

@book{ allen_s:1989a,
  editor = {Sture All\'en},
  title = {Possible Worlds in Humanities, Arts and Sciences},
  publisher = {Walter de Gruyter},
  year = {1989},
  address = {Berlin},
  rtnote = {In RHT collection.  LL Collections shelves.},
  topic = {philosophy-of-possible-worlds;possible-worlds-semantics;
  	literary-criticism;foundations-of-quantum-mechanics;}
 }

@article{ allenhermanson:2005a,
  author = {Sean Allen-Hermanson},
  title = {Morgan's Canon Revisited},
  journal = {Philosophy of Science},
  year = {2005},
  volume = {72},
  number = {4},
  pages = {608--631},
  topic = {Morgan's-canon;ethology;}
  }

@article{ allenhermanson:2008a,
  author = {Sean Allen-Hermanson},
  title = {Insects and the Problem of Simple Minds: Are Bees Natural
  	Zombies?},
  journal = {The Journal of Philosophy},
  year = {2008},
  volume = {105},
  number = {8},
  pages = {389--415},
  topic = {animal-cognition;consciousness;philosophy-of-mind;;}
  }

@article{ allis-etal:1994a,
  author = {L. Victor Allis and Maarten van der Meulen and H. Jaap
  	van den Herik},
  title = {Proof-Number Search},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {66},
  number = {1},
  pages = {91--124},
  acontentnote = {Abstract:
     Proof-number search (pn-search) is designed for finding the
     game-theoretical value in game trees. It is based on ideas
     derived from conspiracy-number search and its variants, such as
     applied cn-search and [alpha][beta]-cn search. While in
     cn-search the purpose is to continue searching until it is
     unlikely that the minimax value of the root will change,
     pn-search aims at proving the true value of the root. Therefore,
     pn-search does not consider interim minimax values.
      Pn-search selects the next node to be expanded using two
     criteria: the potential range of subtree values and the number
     of nodes which must conspire to prove or disprove that range of
     potential values.  These two criteria enable pn-search to treat
     efficiently game trees with a non-uniform branching factor.
      It is shown that in non-uniform trees pn-search outperforms
     other types of search, such as [alpha]-[beta]
     iterative-deepening search, even when enhanced with
     transposition tables, move ordering for the full principal
     variation, etc.  Pn-search has been used to establish the
     game-theoretical values of Connect-Four, Qubic, and Go-Moku.
     There pn-search was able to find a forced win for the player to
     move first.  The experiments described here are in the domain of
     Awari, a game which has not yet been solved. The experiments are
     repeatable for other games with a non-uniform branching factor.
      This article describes the underlying principles of pn-search,
     presents an appropriate implementation, and provides an analysis
     of its strengths and weaknesses.
  },
  topic = {game-trees;search;conspiracy-number-search;}
  }

@article{ allo:2007a,
  author = {Patrick Allo},
  title = {Logical Pluralism and Semantic Information},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {6},
  pages = {659--694},
  topic = {substructural-logics;}
  }

@incollection{ allport:1989a,
  author = {Alan Allport},
  title = {Visual Attention},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  chapter = {16},
  pages = {631--682},
  address = {Cambridge, Massachusetts},
  topic = {attention;human-vision;cognitive-psychology;}
  }

@book{ allwein-barwise:1996a,
  editor = {Gerard Allwein and Jon Barwise},
  title = {Logical Reasoning With Diagrams},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  rtnote = {In RHT collection.  Shelf.  Loaned to JT. 2/97.
  	    Read this.},
  xref = {Review: derijke:1999a.},
  topic = {diagrams;reasoning-with-diagrams;
  	logical-reasoning;visual-reasoning;}
 }

@software{ allwein-etal:1999a,
  author = {Gerhard Allwein and Dave Barker-Plummer and Jon Barwise
  	and John Etchemendy},
  title = {{LPL} Software Manual},
  publisher = {{CSLI} Publications},
  year = {1999},
  address = {Stanford, California},
  media = {CD-Rom},
  missinginfo = {platform, version},
  xref = {Accompanies barwise-etchemendy:1999a.},
  xref = {Review: grim:1999a.},
  topic = {logic-intro;logic-courseware;kr-course;}
 }

@article{ allwein-etal:2004a,
  author = {Gerald Allwein and Hilmi Demir and Lee Spike},
  title = {Logics for Classes of {B}oolean Monoids},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {3},
  pages = {241--266},
  topic = {boolean-monoids;modal-logic;}
  }

@article{ allwein-maccaull:2001a,
  author = {Gerard Allwein and Wendy MacCaull},
  title = {A {K}ripke Semantics for the Logic of {G}elfand Quantales},
  journal = {Studia Logica},
  year = {2001},
  volume = {68},
  number = {1},
  pages = {173--228},
  topic = {quantales;modal-logic;}
  }

@incollection{ allwood:1972a1,
  author = {Jens Allwood},
  title = {Negation and the Strength of Presuppositions},
  booktitle = {Logic, Pragmatics and Grammar},
  publisher = {Department of Linguistics, University of Gothenberg},
  year = {1972},
  editor = {\"Osten Dahl},
  pages = {11--52},
  address = {Gothenberg},
  xref = {See allwood:1972a2},
  topic = {presupposition;pragmatics;}
  }

@techreport{ allwood:1972a2,
  author = {Jens Allwood},
  title = {Negation and the Strength of Presuppositions},
  institution = {Department of Linguistics, University of Gothenberg},
  number = {Logical Grammar Report 2},
  year = {1972},
  address = {Gothenberg, Sweden},
  xref = {Also in dahl:1972a; see allwood:1972a1.},
  rtnote = {In RHT collection.},
  topic = {presupposition;pragmatics;}
  }

@techreport{ allwood:1973a,
  author = {Jens Allwood},
  title = {Truth, Appropriateness, and Stress},
  institution = {Department of Linguistics, University of Gothenberg},
  number = {Gothenburg Papers in Theoretical Linguistics 16},
  year = {1973},
  address = {Gothenberg, Sweden},
  rtnote = {In RHT collection.},
  topic = {sentence-focus;discourse;prosody;intonation;pragmatics;}
  }

@techreport{ allwood:1974a,
  author = {Jens Allwood},
  title = {Intensity, Pitch, Duration},
  institution = {Department of Linguistics, University of Gothenberg},
  number = {Logical Grammar Report 11},
  year = {1974},
  address = {Gothenberg, Sweden},
  rtnote = {In RHT collection.},
  topic = {sentence-focus;discourse;prosody;intonation;pragmatics;}
  }

@techreport{ allwood:1976a,
  author = {Jens Allwood},
  title = {Linguistic Communication in Action and Co-Operation: A
  	Study in Pragmatics},
  institution = {Department of Linguistics, University of Gothenberg},
  publisher = {Department of Linguistics, University of Gothenberg,
  	Gothenberg Monographs in Linguistics},
  number = {2},
  year = {1976},
  address = {Gothenberg},
  topic = {pragmatics;speech-acts;}
  }

@incollection{ allwood:1977a,
  author = {Jens Allwood},
  title = {A Critical Look at Speech Act Theory},
  booktitle = {Logic, Pragmatics and Grammar},
  publisher = {Department of Linguistics, University of Gothenberg},
  year = {1977},
  editor = {\"Osten Dahl},
  pages = {53--69},
  address = {Gothenberg},
  topic = {speech-acts;pragmatics;}
  }

@article{ allwood:1978a,
  author = {Jens Allwood},
  title = {On the Analysis of Communicative Action},
  journal = {Gothenburg Papers in Theoretical Linguistics},
  year = {1978},
  volume = {38},
  topic = {pragmatics;speech-acts;}
  }

@incollection{ allwood:1985a,
  author = {Jens Allwood},
  title = {Logic and Spoken Interaction},
  booktitle = {Reasoning and Discourse Processes},
  publisher = {Academic Press},
  year = {1985},
  editor = {Terry Myers and Keith Brown and Brendan McGonigle},
  pages = {67--91},
  address = {New York},
  topic = {pragmatic-reasoning;pragmatics;}
  }

@inproceedings{ allwood:1997a,
  author = {Jens Allwood},
  title = {An Activity-Based Approach to Pragmatics},
  booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative
		Action in Humans and Machines},
  year = {1997},
  pages = {6--11},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {David R. Traum},
  rtnote = {In RHT collection.},
  topic = {speech-acts;discourse;pragmatics;}
  }

@book{ allwood-etal:1977a,
  author = {Jens Allwood and Lars-Gunnar Andersson and \"Osten Dahl},
  title = {Logic in Linguistics},
  publisher = {Cambridge University Press},
  year = {1977},
  address = {Cambridge, England},
  rtnote = {In RHT collection.  LLP authored shelves.},
  topic = {logic-and-linguistics;modal-logic;intensional-logic;
  	categorial-grammar;}
 }

@article{ allwood-etal:1992a,
  author = {Jens Allwood and Joakim Nivre and Elizabeth Ahls\'en},
  title = {On the Semantics and Pragmatics of Linguistic Feedback},
  journal = {Journal of Semantics},
  year = {1992},
  volume = {9},
  number = {1},
  pages = {1--26},
  topic = {pragmatics;linguistic-feedback;interpersonal-communication;}
  }

@article{ almeder:1990a,
  author = {Robert Almeder},
  title = {Vacuous Truth},
  journal = {Synth\'ese},
  year = {1990},
  volume = {84},
  number = {3},
  pages = {507--524},
  topic = {truth;correspondence-theory-of-truth;}
  }

@incollection{ almog:1984a,
  author = {Joseph Almog},
  title = {Semantical Anthropology},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {479--489},
  address = {Minneapolis},
  topic = {reference;philosophy-of-language;}
  }

@article{ almog:1984b,
  author = {Joseph Almog},
  title = {Would You Believe That?},
  journal = {Synth\'ese},
  year = {1984},
  volume = {58},
  number = {1},
  pages = {1--37},
  topic = {intensionality;hyperintensionality;}
  }

@article{ almog:1984c,
  author = {Joseph Almog},
  title = {Believe It or Not: It Is a Puzzle},
  journal = {Synth\'ese},
  year = {1984},
  volume = {58},
  number = {1},
  pages = {51--61},
  topic = {intensionality;hyperintensionality;}
  }

@article{ almog:1989a,
  author = {Joseph Almog},
  title = {Logic and the World},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {2},
  pages = {197--220},
  topic = {philosophy-of-logic;logical-form;logical-consequence;}
  }

@article{ almog:1997a,
  author = {Joseph Almog},
  title = {The Complexity of Marketplace Logic},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {5},
  pages = {545--569},
  topic = {common-sense-reasoning;}
  }

@incollection{ almog:1998a,
  author = {Joseph Almog},
  title = {The Subject Verb Object Class {I}},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {39-- 76},
  address = {Oxford},
  topic = {logical-form;syntax-semantics-interface;Montague-grammar;
  	foundations-of-semantics;}
  }

@incollection{ almog:1998b,
  author = {Joseph Almog},
  title = {The Subject Verb Object Class {II}},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {77--104},
  address = {Oxford},
  topic = {logical-form;syntax-semantics-interface;Montague-grammar;
  	foundations-of-semantics;indefiniteness;}
  }

@article{ almog:1999a,
  author = {Joseph Almog},
  title = {Nothing, Something, Infinity},
  journal = {The Journal of Philosophy},
  year = {1999},
  volume = {96},
  number = {9},
  pages = {462--478},
  topic = {philosophical-ontology;}
  }

@article{ almog:2005a,
  author = {Joseph Almog},
  title = {Is a Unified Theory of Language-and-Thought Possible?},
  journal = {The Journal of Philosophy},
  year = {2005},
  volume = {102},
  number = {10},
  pages = {493--531},
  topic = {philosophy-of-language;foundations-of-semantics;
  		philosophy-of-mind;}
  }

@article{ almog:2008a,
  author = {Joseph Almog},
  title = {Frege Puzzles?},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {1},
  pages = {549--574},
  topic = {Frege;sense-reference;intensionality;}
  }

@book{ almog-etal:1989a,
  editor = {Joseph Almog and John Perry and Howard Wettstein},
  title = {Themes from {K}aplan},
  publisher = {Oxford University Press},
  year = {1989},
  address = {Oxford},
  rtnote = {UMich Graduate Library, P 106 .T4771 1989.},
  topic = {analytic-philosophy-collection;demonstratives;reference;}
 }

@unpublished{ almog-kamp:1983a,
  author = {Joseph Almog and Hans Kamp},
  title = {Game-Theoretical Semantics: Some Critical Reflections on
  	the Contributions of {J}. {H}intikka, {L}. {C}arlsson
	and {E}. {S}aarinen},
  year = {1983},
  note = {Unpublished manuscript, University of Stuttgart.},
  rtnote = {In RHT collection.},
  topic = {game-theoretic-semantics;}
  }

@article{ almuallim:1996a,
  author = {Hussein Almuallim},
  title = {An Efficient Algorithm for Optimal Pruning of Decision
  	Trees},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {83},
  number = {2},
  pages = {347--362},
  acontentnote = {Abstract:
     Pruning decision trees is a useful technique for improving the
     generalization performance in decision tree induction, and for
     trading accuracy for simplicity in other applications. In this
     paper, a new algorithm called OPT-2 for optimal pruning of
     decision trees is introduced.  The algorithm is based on dynamic
     programming.  In its most basic form, the time and space
     complexities of OPT-2 are both [Theta](nC), where n is the
     number of test nodes in the initial decision tree, and C is the
     number of leaves in the target (pruned) decision tree. This is
     an improvement over the recently published OPT algorithm of
     Bohanec and Bratko (which is the only known algorithm for
     optimal decision tree pruning) especially in the case of heavy
     pruning and when the tests of the given decision tree have many
     outcomes. If so desired, the space required by OPT-2 can further
     be reduced by a factor of r at the cost of increasing the
     execution time by a factor that is bounded above by (r+1)/2
     (this is a considerable overestimate, however). From a practical
     point of view, OPT-2 enjoys considerable flexibility in various
     aspects, and is easy to implement.
  },
  topic = {machine-induction;decision-trees;complexity-in-AI;}
  }

@article{ almuallim-dietterich:1994a,
  author = {Hussein Almuallim and Thomas G. Dietterich},
  title = {Learning {B}oolean Concepts in the Presence of Many
  	Irrelevant Features},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {69},
  number = {1--2},
  pages = {279--305},
  acontentnote = {Abstract:
     In many domains, an appropriate inductive bias is the
     MIN-FEATURES bias, which prefers consistent hypotheses definable
     over as few features as possible. This paper defines and studies
     this bias in Boolean domains.  First, it is shown that any
     learning algorithm implementing the MIN-FEATURES bias requires
     Theta((ln (1/[delta]) + [ 2p + p ln n])/ [epsilon]) training
     examples to guarantee PAC-learning a concept having p relevant
     features out of n available features.  This bound is only
     logarithmic in the number of irrelevant features.
      For implementing the MIN-FEATURES bias, the paper presents five
     algorithms that identify a subset of features sufficient to
     construct a hypothesis consistent with the training examples.
     FOCUS-1 is a straightforward algorithm that returns a minimal
     and sufficient subset of features in quasi-polynomial time.
     FOCUS-2 does the same task as FOCUS-1 but is empirically shown
     to be substantially faster than FOCUS-1. Finally, the
     Simple-Greedy, Mutual-Information-Greedy and Weighted-Greedy
     algorithms are three greedy heuristics that trade optimality for
     computational efficiency.
      Experimental studies are presented that compare these exact and
     approximate algorithms to two well-known algorithms, ID3 and
     FRINGE, in learning situations where many irrelevant features
     are present.  These experiments show that-contrary to
     expectations-the ID3 and FRINGE algorithms do not implement good
     approximations of MIN-FEATURES. The sample complexity and
     generalization performance of the FOCUS algorithms is
     substantially better than either ID3 or FRINGE on learning
     problems where the MIN-FEATURES bias is appropriate. These
     experiments also show that, among our three heuristics, the
     Weighted-Greedy algorithm provides an excellent approximation to
     the FOCUS algorithms.
  },
  topic = {machine-learning;PAC-learning;experimental-AI;
  	polynomial-algorithms;}
  }

@incollection{ aloni:2000a,
  author = {Maria Aloni},
  title = {Conceptual Covers in Dynamic Semantics},
  booktitle = {Logic, Language, and Computation, Volume 3},
  publisher = {CSLI Publications},
  year = {2000},
  editor = {Lawrence Cavedon and Patrick Blackburn and Nick Braisby
  	and Atushi Shimojina},
  pages = {23--45},
  address = {Stanford, California},
  topic = {dynamic-semantics;}
  }

@article{ aloni:2005a,
  author = {Maria Aloni},
  title = {Individual Concepts in Modal Predicate Logic},
  journal = {Journal of Philosophical Logic},
  year = {2005},
  volume = {34},
  number = {1},
  pages = {1--64},
  topic = {modal-logic;propositional-attitudes;individuation;}
  }

@article{ aloni:2007a,
  author = {Maria Aloni},
  title = {Free Choice, Modals, and Imperatives},
  journal = {Natural Language Semantics},
  year = {2007},
  volume = {15},
  number = {1},
  pages = {65--94},
  topic = {imperatives;free-choice-`any/or';nl-modality;modal-auxiliaries;}
  }

@incollection{ aloni-etal:1999a,
  author = {Maria Aloni and David Beaver and Brady Zack Clark},
  title = {Focus and Topic Sensitive Operators},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {55--61},
  address = {Amsterdam},
  topic = {focus;topic;dynamic-logic;}
  }

@inproceedings{ aloni-vanrooy:2002a,
  author = {Maria Aloni and Robert van Rooy},
  title = {The Dynamics of Questions and Focus},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XII}},
  publisher = {Cornell University},
  year = {2002},
  editor = {Brendan Jackson},
  pages = {20--39},
  address = {Ithaca, New York},
  topic = {nl-semantics;interrogatives;dynamic-semantics;s-focus;
  		information-structure;}
  }

@article{ alonso:2002a,
  author = {Eduardo Alonso},
  title = {{AI} and Agents: State of the Art},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {23},
  number = {3},
  pages = {25--29},
  topic = {agent-architectures;multiagent-systems;}
  }

@incollection{ alonsoovalle:2007a,
  author = {Luis Alonso-Ovalle},
  title = {Alternatives in the Disjunctive Antecedents Problem},
  booktitle = {WCCFL 26: Proceedings of the 26th West Coast
  	Conference on Formal Linguistics},
  publisher = {Cascadilla Press},
  year = {2007},
  editor = {Charles B. Chang and Hannah J. Haynie},
  pages = {42--50},
  address = {Somerville, Massachusetts},
  url = {http://alonso-ovalle.net/wp-content/uploads/conditionalswccfl07.pdf},
  topic = {conditionals;disjunction;}
  }

@article{ alonsoovalle:2008a,
  author = {Luis Alonso-Ovalle},
  title = {Innocent Exclusion in an Alternative Semantics},
  journal = {Natural Language Semantics},
  year = {2008},
  volume = {16},
  number = {2},
  pages = {115--128},
  topic = {nl-semantics;disjunction;alternatives;scalar-implicature;}
  }

@article{ alonsoovalle:2009a,
  author = {Luis Alonso-Ovalle},
  title = {Counterfactuals, Correlatives, and Disjunction},
  journal = {Linguistics and Philosophy},
  year = {2009},
  volume = {32},
  number = {2},
  pages = {185--244},
  topic = {conditionals;disjunction;}
  }

@article{ alonsoovalle-menendezbenito:2010a,
  author = {Luis Alonso-Ovalle and Paula Men\'endez-Benito},
  title = {Modal Indefinites},
  journal = {Natural Language Semantics},
  year = {2010},
  volume = {18},
  number = {1},
  pages = {1--31},
  topic = {nl-semantics;indefiniteness;free-choice-`any/or';}
  }

@book{ alshawi:1987a,
  author = {Hiyan Alshawi},
  title = {Memory and Context for Language Interpretaion},
  publisher = {Cambridge University Press},
  year = {1987},
  address = {Cambridge, England},
  xref = {Review: guets:1996a.},
  topic = {memory-models;memory;context;nl-interpretation;}
 }

@incollection{ alshawi:1996a,
  author = {Hiyan Alshawi},
  title = {Qualitative and Quantitative Models of Speech
  	Translation},
  booktitle = {The Balancing Act:  Combining Symbolic and Statistical
  	Approaches to Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Judith Klavans and Philip Resnik},
  pages = {27--48},
  address = {Cambridge, Massachusetts},
  topic = {word-sequence-probabilities;statistical-nlp;
  	speech-to-speech-machine-translation;}
  }

@inproceedings{ alshawi:1996b,
  author = {Hiyan Alshawi},
  title = {Head Automata and Bilingual Tiling: Translation with Mininal
  	Representations},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {167--176},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {machine-translation;}
 }

@incollection{ alshawi:1996c,
  author = {Hiyan Alshawi},
  title = {Semantic Ambiguity and Perceived Ambiguity},
  booktitle = {Semantic Ambiguity and Underspecification},
  publisher = {Cambridge University Press},
  year = {1996},
  editor = {Kees {van Deemter} and Stanley Peters},
  address = {Cambridge, England},
  missinginfo = {pages},
  topic = {ambiguity;}
  }

@incollection{ alshawi:1996d,
  author = {Hiyan Alshawi},
  title = {Underspecified First Order Logics},
  booktitle = {Semantic Ambiguity and Underspecification},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  editor = {Kees {van Deemter} and Stanley Peters},
  pages = {145--158},
  topic = {semantic-underspecification;logic-of-ambiguity;}
  }

@inproceedings{ alshawi:1997a,
  author = {Hiyan Alshawi and Adam L. Buchsbaum and Fei Xia},
  title = {A Comparison of Head Transducers and Transfer for a
  	Limited Domain Translation Application},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {360--365},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {New Brunswick, New Jersey},
  topic = {machine-tranalslation;}
 }

@inproceedings{ alshawi-etal:1998a,
  author = {Hiyan Alshawi and Srinivas Bangalore and Shona Douglas},
  title = {Automatic Acquisition of Hierarchical Transduction Models
  	for Machine Translation},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and
		Seventeenth International Conference on
		Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {41--47},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {machine-translation;machine-learning;}
 }

@article{ alshawi-etal:2000a,
  author = {Hiyan Alshawi and Srinivas Bangalore and Shona Douglas},
  title = {Learning Dependency Translation Models as Collections of
  	Finite-State Head Transducers},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {1},
  pages = {45--60},
  topic = {finite-state-nlp;machine-learning;}
  }

@book{ alsina-etal:1997a,
  editor = {Alex Alsina and Joan Bresnan and Peter Sells},
  title = {Complex Predicates},
  publisher = {CSLI Publications},
  year = {1997},
  address = {Stanford, California},
  xref = {Review: gunkel:1998a},
  topic = {complex-predicates;morphology;syntax;}
 }

@article{ alston:1960a,
  author = {William P. Alston},
  title = {The Ontological Argument Revisited},
  journal = {The Philosophical Review},
  year = {1960},
  volume = {69},
  number = {4},
  pages = {452--474},
  rtnote = {In RHT collection.},
  topic = {ontological-argument;}
  }

@article{ alston:1963a,
  author = {William P. Alston},
  title = {Meaning and Use},
  journal = {The Philosophical Quarterly},
  year = {1963},
  volume = {13},
  number = {51},
  pages = {107--124},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-language;}
  }

@article{ alston:1964a,
  author = {William P. Alston},
  title = {Linguistic Acts},
  journal = {American Philosophical Quarterly},
  year = {1964},
  volume = {1},
  pages = {138--146},
  missinginfo = {number},
  topic = {JL-Austin;speech-acts;pragmatics;}
  }

@book{ alston:1964b,
  author = {William P. Alston},
  title = {Philosophy of Language},
  publisher = {Prentice-Hall},
  year = {1964},
  address = {Englewood Cliffs, New Jeersey},
  rtnote = {In RHT collection.  LLP authored shelves.},
  topic = {philosophy-of-language;}
 }

@incollection{ alston:1967a,
  author = {William P. Alston},
  title = {Vagueness},
  booktitle = {The Encyclopedia of Philosophy},
  publisher = {MacMillan},
  year = {1967},
  editor = {Paul Edwards},
  pages = {218--221},
  address = {New York},
  topic = {vagueness;}
  }

@incollection{ alston:1971a,
  author = {William P. Alston},
  title = {How Does One Tell Whether a Word Has One, Several, Or Many
  	Senses?},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {35--47},
  address = {Cambridge, England},
  topic = {word-sense;philosophy-of-language;nl-semantics;ambiguity;}
  }

@article{ alston:1971b,
  author = {William P. Alston},
  title = {Dispositions and Occurrences},
  journal = {Canadian Journal of Philosophy},
  year = {1971},
  volume = {1},
  pages = {125--154},
  topic = {dispositions;}
  }

@incollection{ alston:1974a,
  author = {William P. Alston},
  title = {Semantic Rules},
  booktitle = {Semantics and Philosophy},
  publisher = {New York University Press},
  year = {1974},
  editor = {Milton K. Munitz and Peter K. Unger},
  pages = {17--48},
  address = {New York},
  topic = {foundations-of-semantics;speech-acts;}
  }

@inproceedings{ alterman:1985a,
  author = {Richard Alterman},
  title = {Adaptive Planning: Refitting Old Plans to New Situations},
  booktitle = {Proceedings 7th Cognitive Science Society},
  year = {1985},
  missinginfo = {editor, pages},
  topic = {plan-reuse;}
}

@article{ alterman:1985b,
  author = {Richard Alterman},
  title = {A Dictionary Based on Concept Coherence},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {25},
  number = {2},
  pages = {153--186},
  acontentnote = {Abstract:
     NEXUS is a computational system which uses a dictionary of 100
     to 150 event/state concepts to construct representations of
     narrative text.  Associated with each event/state concept are
     its deep case relations and their default values. Concepts in
     the dictionary are related by one of seven event/state concept
     coherence relations.  Relationships between concepts include a
     list of constraints on the matching of case arguments between
     the two concepts.
      NEXUS has been successfully applied to eight paragraph-length
     samples of text, including ``A Restaurant Story'', ``The Margie
     Story'', and ``Robbing a Liquor Store''. The resulting discourse
     representations have been used successfully to answer questions
     and compute summaries for these texts.
      The organization of this paper is as follows. After introducing
     the notion of event/state concept coherence, the paper proceeds
     by discussing the structure of the dictionary. This includes
     detailed descriptions of how individual concepts are represented
     and related, and some discussion of issues concerning causality
     and property inheritance. Then, after giving some brief examples
     of the representations produced by NEXUS, the NEXUS program is
     described.  NEXUS was programmed in procedural logic in LISP, so
     this section will include Horn clause specifications. The fourth
     section of the paper shows a subportion of the dictionary and,
     in detail, describes NEXUS processing of five samples of text.
     Included in the appendix are examples of NEXUS' input and
     output.
  },
  topic = {text-understanding;computational-semantics;}
  }

@inproceedings{ alterman:1986a,
  author = {Richard Alterman},
  title = {Adaptive Planning},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1987},
  editor = {Tom Kehler and Stan Rosenschein},
  pages = {65--69},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {plan-reuse;}
  }

@article{ alterman-etal:1988a,
  author = {Richard Alterman and R. Zito-Wolf and T. Carpenter},
  title = {Adaptive Planning},
  journal = {Cognitive Science},
  year = {1988},
  volume = {12},
  pages = {361--398},
  missinginfo = {A's 1st name, number},
  topic = {plan-reuse;}
  }

@book{ altham_jej:1971a,
  author = {J.E.J. Altham},
  title = {The Logic of Plurality},
  publisher = {Methuen \& Co.},
  year = {1971},
  address = {London},
  missinginfo = {A's 1st name.},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {plural;nl-quantifiers;}
 }

@article{ althofer:1990a,
  author = {Ingo Alth\"ofer},
  title = {An Incremental Negamax Algorithm},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {43},
  number = {1},
  pages = {57--65},
  topic = {game-playing;search;}
  }

@article{ althofer:1991a,
  author = {Ingo Alth\"ofer},
  title = {Data Compression Using an Intelligent Generator: The
  	Storage of Chess Games as an Example},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {52},
  number = {1},
  pages = {109--113},
  topic = {data-compression;}
  }

@article{ althofer-balkenhol:1991a,
  author = {Ingo Alth\"ofer and Bernhard Balkenhol},
  title = {A Game Tree with Distinct Leaf Values Which Is Easy for
  	The Alpha-Beta Algorithm},
  journal = {Artificial Intelligence},
  year = {2991},
  volume = {52},
  number = {2},
  pages = {183--190},
  topic = {game-playing;search;game-trees;}
  }

@article{ altman-etal:2005a,
  author = {Alon Altman and Ya'acov Peterzil and Yoad Winter},
  title = {Scope Dominance with upward Monotone Quantifiers},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {4},
  pages = {445--455},
  topic = {generalized-quantifiers;}
  }

@article{ altmann_gtm:1988a,
  author = {Gerry T.M. Altmann},
  title = {Ambiguity, Parsing Strategies, and Computational Models},
  journal = {Language and Cognitive Processes},
  year = {1988},
  volume = {3},
  pages = {73--97},
  missinginfo = {number},
  topic = {cognitive-modularity;parsing-psychology;}
  }

@article{ altmann_gtm:1989a,
  author = {Gerry T.M. Altmann},
  title = {Parsing and Interpretation: An Introduction},
  journal = {Language and Cognitive Processes},
  year = {1989},
  volume = {4},
  pages = {1--19},
  missinginfo = {A's 1st name, number},
  topic = {cognitive-modularity;parsing-psychology;}
  }

@book{ altmann_gtm:1998a,
  author = {Gerry T.M. Altman},
  title = {The Ascent of {B}abel},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  ISBN = {0-19-852377-7 (paperback), 0-19-852378-5 (hardback)},
  rtnote = {An introduction to psycholinguistics.},
  topic = {psycholinguistics;}
 }

@article{ altmann_gtm-steedman:1988a,
  author = {Gerry T.M. Altmann and Mark Steedman},
  title = {Interaction with Context During Human Sentence Processing},
  journal = {Cognition},
  year = {1988},
  volume = {30},
  pages = {191--238},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {cognitive-modularity;parsing-psychology;context;}
  }

@article{ altmann_rb:1999a,
  author = {Ross B. Altmann},
  title = {{AI} in Medicine---The Spectrum of Challenges from
  	Managed Care to Molecular Medicine},
  journal = {The {AI} Magazine},
  year = {1999},
  volume = {20},
  number = {3},
  pages = {67--77},
  topic = {medical-AI;}
  }

@article{ altrichter:1985a,
  author = {Ferenc Altrichter},
  title = {Belief and Possibility},
  journal = {The Journal of Philosophy},
  year = {1985},
  volume = {82},
  number = {7},
  pages = {364--382},
  topic = {Pierre-puzzle;belief;}
  }

@article{ alwood:2010a,
  author = {Andrew Alwood},
  title = {Imperative Clauses and the \textsc{F}rege-\textsc{G}each Problem},
  journal = {Analysis},
  pages = {105--17},
  volume = {70},
  year = {2010},
  topic = {expressivism;Frege-Geach-problem;}
  }

@inproceedings{ amar-mcilraith:2000a,
  author = {Eyal Amar and Sheila McIlraith},
  title = {Partition-Based Logical Reasoning},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {389--400},
  topic = {logics-of-context;theorem-proving;modularized-logics;}
  }

@article{ amaral_p-etal:2007a,
  author = {Patricia Amaral and Craige Roberts and E. Allyn Smith},
  title = {Review of \emph{{T}he Logic of Conventional Implicatures},
  	by {C}hristopher Potts},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {6},
  pages = {707--749},
  xref = {Review of: potts_c:2005a},
  topic = {nl-semantics;nl-pragmatics;conventional-implicature;}
  }

@incollection{ amarel:1968a1,
  author = {Saul Amarel},
  title = {On Representations of Problems of Reasoning
	  about Actions},
  editor = {D. Mitchie},
  booktitle = {Machine Intelligence 3},
  publisher = {Ellis Horwood},
  address = {Chichester, England},
  pages = {131--171},
  year = {1968},
  missinginfo = {E's 1st name},
  xref = {Republication: amarel:1968a2.},
  topic = {foundations-of-planning;action;}
  }

@incollection{ amarel:1968a2,
  author = {Saul Amarel},
  title = {On Representations of Problems of Reasoning
	  about Actions},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {2--22},
  address = {Los Altos, California},
  xref = {Journal Publication: amarel:1968a1.},
  topic = {foundations-of-planning;action;}
  }

@incollection{ amarger-etal:1991a,
  author = {St\'ephanie Amarger and Didier Dubois and Henri Prade},
  title = {Imprecise Quantifiers and Conditional Probabilities},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {33--37},
  address = {Berlin},
  topic = {fuzzy-logic;quantifiers;probability;}
  }

@article{ amati-etal:1995a,
  author = {Fianni Amati and Luigia Aiello and Fiora Pirri},
  title = {Defaults as Restrictions on Classical {H}ilbert-Style Proofs},
  journal = {Journal of Logic, Language, and Information},
  year = {1995},
  volume = {3},
  number = {3},
  pages = {303--326},
  contentnote= {Uses idea of coherence constraints on proofs to provide
  	a general formulation of default logic.},
  topic = {kr;nonmonotonic-logic;default-logic;kr-course;}
  }

@article{ amati-etal:1996b,
  author = {Fianni Amati and Luigia Aiello and Dov M. Gabbay and
  	Fiora Pirri},
  title = {A Proof-Theoretical Approach to Default Reasoning {I}:
       Tableaux for Default Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1996},
  volume = {6},
  number = {2},
  pages = {205--231},
  rtnote = {In RHT collection.},
  topic = {kr;nonmonotonic-logic;default-logic;proof-theory;}
  }

@article{ amati-etal:1997a,
  author = {Gianni Amati and Luigia Carlucci Aiello and Fiora Pirri},
  title = {Definability and Commonsense Reasoning},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {93},
  number = {1--2},
  pages = {169--199},
  topic = {common-sense-reasoning;definitions;nonmonotonic-reasoning ;}
  }

@article{ amati-etal:1997b,
  author = {Giambattista Amati and Luigi Carlucci-Aiello and
  	Fiora Pirri},
  title = {Intuitionistic Autoepistemic Logic},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {1},
  pages = {103--120},
  topic = {intuitionistic-logic;autoepistemic-logic;}
  }

@incollection{ amati-pirri:1996a,
  author = {Giuseppe Amati and Fiora Pirri},
  title = {Is There a Logic of Provability for Nonmonotonic
  	Reasoning?},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {493--503},
  address = {San Francisco, California},
  topic = {kr;proof-theory;nonmonotonic-logic;provability-logic;kr-course;}
  }

@inproceedings{ amati-pirri:1997a,
  author = {Gianni Amati and Fiora Pirri},
  title = {Contexts as Relative Definitions: A Formalization Via Fixed
  	Points},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {7--14},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;modal-logic;fixpoints;logic-of-context;}
  }

@incollection{ amaya-benedi:2000a,
  author = {F. Amaya and J.M. Bened\'i},
  title = {Using Perfect Sampling in Parameter Estimation of a Whole
  	Sentence Maximum Entropy Language Model},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {79--82},
  address = {Somerset, New Jersey},
  topic = {statistical-nlp;n-gram-models;maximum-entropy;}
  }

@article{ ambite-knoblock:2000a,
  author = {Jos\'e Luis Ambite and Craig A. Knoblock},
  title = {Flexible and Scalable Cost-Based Query Planning in
  	Mediators: A Transformational Approach},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {118},
  number = {1--2},
  pages = {115--161},
  acontentnote = {Abstract:
     The Internet provides access to a wealth of information. For any
     given topic or application domain there are a variety of
     available information sources.  However, current systems, such as
     search engines or topic directories in the World Wide Web, offer
     only very limited capabilities for locating, combining, and
     organizing information.  Mediators, systems that provide
     integrated access and database-like query capabilities to
     information distributed over heterogeneous sources, are critical
     to realize the full potential of meaningful access to networked
     information.
      Query planning, the task of generating a cost-efficient plan
     that computes a user query from the relevant information
     sources, is central to mediator systems.  However, query planning
     is a computationally hard problem due to the large number of
     possible sources and possible orderings on the operations to
     process the data.  Moreover, the choice of sources, data
     processing operations, and their ordering, strongly affects the
     plan cost.
      In this paper, we present an approach to query planning in
     mediators based on a general planning paradigm called Planning
     by Rewriting (PbR) (Ambite and Knoblock, 1997).  Our work yields
     several contributions.  First, our PbR-based query planner
     combines both the selection of the sources and the ordering of
     the operations into a single search space in which to optimize
     the plan quality.  Second, by using local search techniques our
     planner explores the combined search space efficiently and
     produces high-quality plans.  Third, because our query planner
     is an instantiation of a domain-independent framework it is very
     flexible and can be extended in a principled way.  Fourth, our
     planner has an anytime behavior.  Finally, we provide empirical
     results showing that our PbR-based query planner compares
     favorably on scalability and plan quality over previous
     approaches, which include both classical AI planning and
     dynamic-programming query optimization techniques.
   },
  topic = {information-retrieval;query-planning;
  	AI-and-the-internet;}
  }

@article{ ambler-popplestone:1975a,
  author = {A.P. Ambler and R.J. Popplestone},
  title = {Inferring the Positions of Bodies from Specified Spatial
  	Relationships},
  journal = {Artificial Intelligence},
  year = {1975},
  volume = {6},
  number = {2},
  pages = {157--174},
  acontentnote = {Abstract:
     A program has been developed which takes a specification of a
     set of bodies and of spatial relations that are to hold between
     them in some goal state, and produces expressions denoting the
     positions of the bodies in the goal state together with residual
     equations linking the variables in these expressions.
   },
  topic = {spatial-reasoning;}
  }

@phdthesis{ ambros-ingerson:1987a,
  author = {Jose Ambros-Ingerson},
  title = {Integrated Planning, Execution, and Monitoring},
  school = {Department of Computer Science, University of Essex},
  year = {1987},
  type = {Ph.{D}. Dissertation},
  address = {Essex, England},
  topic = {plan-monitoring;}
 }

@incollection{ amgoud-cayrol:2004a,
  author = {Leila Amgoud and Claudette Cayrol},
  title = {On the Use of an {ATMS} for Handling Conflicting Desires},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {194--201},
  address = {Menlo Park, California},
  topic = {truth-maintenance;desire;}
  }

@incollection{ amgoud-prade:2004a,
  author = {Leila Amgoud and Henri Prade},
  title = {Reaching Agreement through Argumentation:  A Possibilistic
  		Approach},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {175--182},
  address = {Menlo Park, California},
  topic = {negotiation;possibilistic-logic;argumentation;}
  }

@article{ amgoud-prade:2009a,
  author = {Leila Amgoud and Henri Prade},
  title = {Using Arguments for Making and Explaining Decisions},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {3-4},
  pages = {413--436},
  topic = {argumentation;decision-making;practical-reasoning;}
  }

@inproceedings{ amigo-etal:2005a,
  author = {Enrique Amig\'{o} and Julio Gonzalo and Anselmo Pe\~{n}as
  		and Felisa Verdejo},
  title = {{QARLA}: A Framework for the Evaluation of Text
  		Summarization Systems},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {280--289},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1035},
  topic = {text-summary;software-evaluation;}
  }

@article{ amilhastre-etal:2002a,
  author = {J\'erome Amilhastre and H\'el\`ene Fargier and Pierre Marquis},
  title = {Consistency Restoration and Explanations in Dynamic
  	{CSP}s---Application to Configuration},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {135},
  number = {1--2},
  pages = {199--234},
  topic = {constraint-satisfaction;explanation;reasoning-about-consistency;}
  }

@inproceedings{ amir:1997a,
  author = {Eyal Amir},
  title = {Applications of Context to Elaboration Tolerance (Abstract)},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {15--16},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;elaboration-tolerance;}
  }

@incollection{ amir:1998a,
  author = {Eyal Amir},
  title = {Pointwise Circumscription Revisited},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {202--210},
  address = {San Francisco, California},
  topic = {kr;nonmonotonic-logic;circumscription;kr-course;}
  }

@inproceedings{ amir:1998b,
  author = {Eyal Amir},
  title = {Towards a Formalization of Elaboration Tolerance:  Adding
  	and Deleting Axioms},
  booktitle = {Proceedings of the Symposium on Abstraction,
  	Reformulation, and Approximation},
  year = {1998},
  editor = {Tom Elman and Fausto Giunchiglia},
  note = {Available at
  	http://www.cs.uiuc.edu/\user{}eyal/papers/et-def-sara98.ps},
  missinginfo = {A's 1st name},
  topic = {elaboration-tolerance;}
  }

@inproceedings{ amir:1999a,
  author = {Eyal Amir},
  title = {Object-Oriented First-Order Logic},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
	Nonmonotonic Reasoning, Action and Change},
  year = {1999},
  editor = {Michael Thielscher},
  pages = {1--8},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {context;logics-of-context;object-oriented-formalisms;}
  }

@incollection{ amir:2002a,
  author = {Eyal Amir},
  title = {Projection in Decomposed Situation Calculus},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {315--326},
  address = {San Francisco, California},
  topic = {kr;frame-problem;temporal-reasoming;reasoning-about-actions;}
  }

@article{ amir-maynardzhang:2001a,
  author = {Eyal Amir and Pedrito Maynard-Zhang},
  title = {Logic-Based Subsumption Architecture},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {153},
  number = {5--6},
  pages = {167--237},
  topic = {common-sense-reasoning;}
  }

@article{ amir-mcilraith:2005a,
  author = {Eyal Amir and Sheila McIlraith},
  title = {Partition-Based Logical Reasoning for First-Order and
  		Propositional Theories},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {162},
  number = {1--2},
  pages = {49--88},
  topic = {problem-reformulation;theorem-proving;}
  }

@incollection{ amir-russell_s:2003a,
  author = {Eyal Amir and Stuart Russell},
  title = {Logical Filtering},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Logical Formalization of Commonsense Reasoning},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Patrick Doherty and John McCarthy and Mary-Anne Williams},
  pages = {1--8},
  address = {Menlo Park, California},
  topic = {belief-update;temporal-reasoning;reasoning-about-actions;}
  }

@article{ ammon:1993a,
  author = {Kurt Ammon},
  title = {An Automatic Proof of {G}\"odel's Incompleteness Theorem},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {61},
  number = {2},
  pages = {291--306},
  topic = {theorem-proving;goedels-first-theorem;}
  }

@article{ ammon:1997a,
  author = {Kurt Ammon},
  title = {An Automatic Proof of {G}\"odel's Incompleteness Theorem},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {95},
  number = {1},
  pages = {203--207},
  topic = {theorem-proving;goedels-first-theorem;}
  }

@inproceedings{ amor-etal:2000a,
  author = {N. Ben Amor and Salem Benferhat and Didier Dubois
         and H\'ector Geffner and Henri Prade},
  title = {Independence in Qualitative Uncertainty Networks},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {235--246},
  topic = {qualitative-probability;reasoning-about-uncertainty;}
  }

@incollection{ amores-quesada:2002a,
  author = {J. Gabriel Amores and Jos\'e Quesada},
  title = {Cooperation and Collaboration in Natural Language Command
	Dialogues},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {5--11},
  address = {Edinburgh},
  topic = {cooperation;computational-dialogue;}
  }

@inproceedings{ amsili-rossari:1998a,
  author = {Pascal Amsili and Corinne Rossari},
  title = {Tense and Connective Constraints on The Expression of
  	Causality},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and
		Seventeenth International Conference on
		Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {48--54},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {nl-tense;nl-causality;}
 }

@incollection{ amsler:1994a,
  author = {Robert A. Amsler},
  title = {Research Toward the Development of

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib