% Bibliography of Work in Philosophy of Language, % Semantics, Artificial Intelligence, and Assorted % Related Topics. % % Author: R.H. Thomason % Date of this version: April 19, 2008 % % Send additions, corrections, and comments to % rich@thomason.org % % Note: I am always interested in BibTeX formated % bibligraphies on related topics. % % Thanks to the following people for material: Jon Doyle, % Jeff Horty, Matthew Stone. % % Notes: % 1. The following LaTeX macro appears in some references. % \newcommand{\user}{\raisebox{-.3ex}{{\~{}}}} % 2. The following package is needed for \rotatebox command, used % in one title: \usepackage{graphicx} % @book{ aaker:1981a, author = {David A. Aaker}, title = {Multivariate Analysis in Marketing}, edition = {2}, publisher = {The Scientific Press}, year = {1981}, address = {Palo Alto}, topic = {multivariate-statistics;market-research;} } @incollection{ abb-etal:1996a, author = {Bernd Abb and Carsten G\"unther and Michael Herweg and Kai Lebeth and Claudia Maienborn and Andrea Schopp}, title = {Incremental Grammatical Encoding---An Outline of the Synphonics Formulator}, booktitle = {Trends in Natural Language Generation, An Artificial Intelligence Perspective, Fourth {E}uropean Workshop, {EWNLG} '93, Pisa, Italy, April 28-30, 1993, Selected Papers}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {1036}, year = {1996}, editor = {Giovanni Adorni and Michael Zock}, pages = {277--299}, address = {New York}, topic = {nl-generation;nl-realization;} } @inproceedings{ abbate-thiel:2003a, author = {Marcello L'Abbate and Ulrich Thiel}, title = {The Use of Contextual Information in a Proactivity Model for Conversational Agents}, booktitle = {Modeling and Using Context: Fourth International and Interdisciplinary Conference, Context 2003}, publisher = {Springer-Verlag}, year = {2003}, editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner and Fausto Giunchiglia}, pages = {459--466}, address = {Berlin}, topic = {context;HCI;} } @unpublished{ abbott:2007a, author = {Barbara Abbott}, title = {Support for Individual Concepts}, year = {2007}, note = {Unpublished manuscript, Michigan State University}, topic = {nl-semantics;individual-concepts;} } @unpublished{ abbott_b:1974a, author = {Barbara Abbott}, title = {Some Problems in Giving an Adequate Model-Theoretical Account of {CAUSE}}, year = {1974}, note = {Unpublished manuscript.}, topic = {causality;} } @unpublished{ abbott_b:1974b, author = {Barbara Abbott}, title = {Some Remarks Concerning {H}intikka's Theory of Propositional Attitudes}, year = {1974}, note = {Unpublished manuscript.}, topic = {propositional-attitudes;} } @unpublished{ abbott_b:1975a, author = {Barbara Abbott}, title = {Remarks on `Belief-Contexts'\,}, year = {1975}, note = {Unpublished manuscript.}, topic = {propositional-attitudes;} } @phdthesis{ abbott_b:1976a, author = {Barbara Abbott}, title = {A Study of Referential Opacity}, school = {Linguistics Department, University of California at Berkeley}, year = {1976}, type = {Ph.{D}. Dissertation}, address = {Berkeley, California}, missinginfo = {Date is a guess}, topic = {intensionality;} } @article{ abbott_b-hudson_g:1981a, author = {Barbara Abbott and Grover Hudson}, title = {Review of \emph{{M}aking Sense}, by {G}eoffrey {S}ampson}, journal = {Linguistics and Philosophy}, year = {1981}, volume = {4}, number = {3}, pages = {437--451}, xref = {Review of sampson:1980a.}, topic = {foundations-of-semantics;foundations-of-linguistics; language-universals;philosophy-of-linguistics;} } @article{ abbott_b:1989a, author = {Barbara Abbott}, title = {Nondescriptionality and Natural Kind Terms}, journal = {Linguistics and Philosophy}, year = {1989}, volume = {12}, number = {3}, pages = {269--291}, topic = {natural-kinds;sense-reference;common-nouns;} } @article{ abbott_b:1997a, author = {Barbara Abbott}, title = {Models, Truth, and Semantics}, journal = {Linguistics and Philosophy}, year = {1997}, volume = {20}, number = {2}, pages = {117--138}, topic = {foundations-of-semantics;nl-semantics-and-cognition;} } @inproceedings{ abbott_b:1999a, author = {Barbara Abbott}, title = {Support for a Unique Theory of Definites}, booktitle = {Proceedings from Semantics and Linguistic Theory {IX}}, publisher = {Cornell University}, year = {1999}, editor = {Tanya Matthews and Devon Strolovitch}, pages = {1--15}, address = {Ithaca, New York}, topic = {nl-semantics;definiteness;} } @article{ abbott_b:2000a, author = {Barbara Abbott}, title = {Fodor and {L}epore on Meaning Similarity and {C}ompositionality}, journal = {The Journal of Philosophy}, year = {2000}, volume = {97}, number = {8}, pages = {454--455}, xref = {Comment on fodor_ja-lepore:1996c.}, topic = {foundations-of-semantics;synonymy; cognitive-semantics;state-space-semantics; conceptual-role-semantics;} } @article{ abbott_b:2002a, author = {Barbara Abbott}, title = {Donkey Demonstratives}, journal = {Natural Language Semantics}, year = {2001}, volume = {10}, number = {4}, pages = {285--298}, topic = {nl-semantics;pronouns;donkey-anaphora;} } @article{ abbott_b:2003a, author = {Barbara Abbott}, title = {Some Notes on Quotation}, journal = {Belgian Journal of Linguistics}, year = {2003}, volume = {17}, pages = {13--26}, missinginfo = {number}, url = {http://www.msu.edu/user/abbottb/notequot.pdf}, topic = {direct-discourse;} } @unpublished{ abbott_cc:1979a, author = {Carolyn C. Abbott}, title = {Problems of Rule Ordering in Transformational Generative Syntax}, year = {1979}, note = {Unpublished manuscript, Linguistics Department, University of Pittsburgh}, topic = {transformational-grammar;rule-ordering;} } @article{ abdelbar:1998a, author = {Ashraf M. Abdelbar}, title = {An Algorithm for Finding {MAPS} for Belief Networks through Cost-Based Abduction}, journal = {Artificial Intelligence}, year = {1998}, volume = {104}, number = {1--2}, pages = {331--338}, topic = {abduction;probabilistic-reasoning;} } @article{ abdelbar-hedetniemi:1998a, author = {Ashraf M. Abdelbar and Sandra M. Hedetniemi}, title = {Approximating {MAP}s for Belief Networks is {NP}-Hard and Other Theorems}, journal = {Artificial Intelligence}, year = {1998}, volume = {102}, number = {1}, pages = {21--38}, topic = {Bayesian-networks;complexity-in-AI;} } @article{ abdelbar-etal:2000a, author = {Ashraf M. Abdelbar and Stephen T. Hedetniemi and Sandra M. Hedetniemi}, title = {The Complexity of Approximating {MAP}s for Belief Networks with Bounded Probabilities}, journal = {Artificial Intelligence}, year = {2000}, volume = {124}, number = {2}, pages = {283--288}, topic = {Bayesian-networks;complexity-in-AI;} } @article{ abdelbar:2004a, author = {Ashraf M. Abdelbar}, title = {Approximating Cost-Based Abduction is {NP}-Hard}, journal = {Artificial Intelligence}, year = {2004}, volume = {159}, number = {1--2}, pages = {231--239}, topic = {abduction;complexity-in-AI;} } @book{ abdelhafiz-basili:1996a, author = {Salwa K. Abd-El-Hafiz and Victor R. Basili}, title = {Process-Centered Requirements Engineering}, publisher = {John Wiley and Sons}, year = {1996}, address = {New York}, ISBN = {0863801935 (Research Studies Press)}, topic = {software-engineering;} } @techreport{ abdullah:1991a, author = {Areski Nait Abdullah}, title = {Kernel Knowledge Versus Belt Knowledge in Default Reasoning: a Logical Approach}, institution = {Department of Computer Science, University of Western Ontario}, number = {292}, year = {1991}, address = {London, Ontario}, missinginfo = {number}, topic = {nonmonotonic-reasoning;nonmonotonic-prioritization;} } @book{ abdullah:1995a, author = {Areski Nait Abdullah}, title = {The Logic of Partial Information}, publisher = {Springer-Verlag}, year = {1995}, address = {Berlin}, contentnote = {TC: 1. Introduction 2. Partial Propositional Logic 3. Syntax of the Language with Partial Information Ions 4. Reasoning with Partial Information Ions 5. Semantics of Partial Information of Rank 1 6. Semantics of Partial Information of Infinite Rank 7. Algebraic Properties 8. Beth Tableaux 9. Applications; the statics of logic systems 10. Naive Axiomatics and proof theory of propositional partial information ionic logic 11. Soundness 12. Formal axiomatics 13. Extension and justification closure approach 14. Partial first order logic 15. Syntax and semantics of first-order partial information ions 16. Beth Tableaux 17. Axiomatics and proof theory of first-order partial information ionic logic 18. Partial information ionic logic programming 19. Syntactic and semantic paths; applications to defeasible inheritance 20. The frame problem; the dynamics of logic systems 21. Reasoning about actions: projection problem 22. Reasoning about actions: explanation problem }, topic = {nonmonotonic-logic;partial-logic;theories-of-information;} } @inproceedings{ abe-li:1996a, author = {Naoki Abe and Hang Li}, title = {Learning Word Association Norms Using Tree Cut Pair Models}, booktitle = {Proceedings of the 13th International Conference on Machine Learning}, year = {1996}, url = {http://xxx.lanl.gov/abs/cmp-lg/9605029}, missinginfo = {publisher, editor, pages}, topic = {machine-language-learning;semantic-similarity; wordnet;} } @incollection{ abels:2003a, author = {Klaus Abels}, title = {Who Gives a Damn about Minimizers in Questions?}, booktitle = {Proceedings from Semantics and Linguistic Theory {XIII}}, publisher = {Cornell University}, year = {2003}, editor = {Robert B. Young and Yuping Zhou}, pages = {1--18}, address = {Ithaca, New York}, topic = {interrogatives;nl-semantics;polarity;} } @article{ abelson_h-etal:1989a1, author = {Harold Abelson and Michael Eisenberg and Matthew Halfant and Jacob Katzenelson and Elisha Sachs and Gerald J. Sussman and Jack Wisdom and Kenneth Yip}, title = {Intelligence in Scientific Computing}, journal = {Communications of the {ACM}}, year = {1989}, volume = {32}, pages = {546--562}, missinginfo = {number}, xref = {Republication: abelson_h-etal:1989a2.}, topic = {computer-assisted-science;qualitative-reasoning;} } @incollection{ abelson_h-etal:1989a2, author = {Harold Abelson and Michael Eisenberg and Matthew Halfant and Jacob Katzenelson and Elisha Sachs and Gerald J. Sussman and Jack Wisdom and Kenneth Yip}, title = {Intelligence in Scientific Computing}, booktitle = {Qualitative Reasoning about Physical Systems}, publisher = {Morgan Kaufmann}, year = {1990}, editor = {Daniel S. Weld and Johan de Kleer}, pages = {453--469}, address = {San Mateo, California}, xref = {Republication of: abelson_h-etal:1989a1.}, topic = {computer-assisted-science;qualitative-reasoning;} } @inproceedings{ aberdeen-etal:1999a, author = {John Aberdeen and Samuel Bayer and Sasha Caskey and Laurie Damianos and Alan Goldschen and Lynette Hirschman and Dan Loehr and Hugo Trapper}, title = {Implementing Practical Dialogue Systems with the {DARPA} Communicator Architecture}, booktitle = {Proceedings of the {IJCAI}-99 Workshop on Knowledge and Reasoning in Practical Dialogue Systems}, year = {1999}, editor = {Jan Alexandersson}, pages = {81--86}, organization = {IJCAI}, publisher = {International Joint Conference on Artificial Intelligence}, address = {Murray Hill, New Jersey}, topic = {computational-dialogue;spoken-dialogue-systems;} } @book{ aberth:2001a, author = {Oliver Aberth}, title = {Computable Calculus}, publisher = {Academic Press}, year = {2001}, address = {San Diego}, note = {CR-ROM included.}, xref = {Review: bridges:2002a.}, topic = {constructive-mathematics;automated-algebra;} } @incollection{ abiteboul:1988a, author = {Serge Abiteboul}, title = {Updates: A New Frontier}, booktitle = {Proceedings of the Second Conference on Database Theory}, publisher = {Springer-Verlag}, year = {1988}, pages = {1--18}, address = {Berlin}, missinginfo = {A's 1st name, editor.}, topic = {databases;database-update;} } @techreport{ abiteboul-kanekkakis:1989a, author = {Sergei Abiteboul and Paris Kanekkakis}, title = {Object Identity as a Query Language Primitive}, institution = {Institute National de Recherche en Informatique et en Automatique}, number = {1022}, year = {1991}, address = {78153 Le Chesnay Cedex, France}, topic = {object-oriented-databases;} } @book{ abiteboul-etal:1995a, author = {Serge Abiteboul and Richard Hull and Victor Vianu}, title = {Foundations of Databases}, publisher = {Addison-Wesley Publishing Co.}, year = {1995}, address = {Reading, Massachusetts}, ISBN = {0201537710}, topic = {databases;} } @phdthesis{ abney:1987a, author = {Steven Abney}, title = {The {E}nglish Noun Phrase in Its Sentential Aspect}, school = {Department of Linguistics, MIT}, year = {1987}, type = {Ph.{D}. Dissertation}, address = {Cambridge, Massachusetts}, topic = {government-binding-theory;noun-phrases;} } @incollection{ abney:1996a, author = {Steven Abney}, title = {Statistical Methods and Linguistics}, booktitle = {The Balancing Act: Combining Symbolic and Statistical Approaches to Language}, publisher = {The {MIT} Press}, year = {1996}, editor = {Judith Klavans and Philip Resnik}, pages = {1--26}, address = {Cambridge, Massachusetts}, topic = {corpus-linguistics;corpus-statistics;statistical-nlp;} } @incollection{ abney-etal:1999a, author = {Steven Abney and Robert E. Schapire and Yoram Singer}, title = {Boosting Applied to Tagging and {PP} Attachment}, booktitle = {Proceedings of the 1999 Joint {SIGDAT} Conference on Empirical Methods in Natural Language Processing}, publisher = {Association for Computational Linguistics}, year = {1999}, editor = {Pascale Fung and Joe Zhou}, pages = {38--45}, address = {Somerset, New Jersey}, topic = {machine-learning;corpus-tagging;prepositional-attachment;} } @article{ abney:2002a, author = {Steven Abney}, title = {Review of \emph{{E}mpirical Linguistics}, by {G}eoffrey {S}ampson}, journal = {Computational Linguistics}, year = {2002}, volume = {28}, number = {4}, pages = {570--575}, xref = {Review of: sampson:2001a.}, topic = {corpus-linguistics;} } @incollection{ abney:2002b, author = {Steven Abney}, title = {Bootstrapping}, booktitle = {Proceedings of the Fortieth Annual Meeting of the {A}ssociation for {C}omputational {L}inguistics}, publisher = {Morgan Kaufmann Publishers}, year = {2002}, editor = {Eugene Charniak and Dekang Lin}, pages = {360--367}, address = {San Francisco}, topic = {machine-learning;} } @article{ abney:2004a, author = {Steven Abney}, title = {Understanding the {Y}arowsky Algorithm}, journal = {Computational Linguistics}, year = {2004}, volume = {30}, number = {3}, pages = {365--395}, topic = {machine-learning;bootstrapping;} } @book{ abraham:1991a, editor = {Werner Abraham}, title = {Discourse Particles: Descriptive and Theoretical Investigations on the Logical, Syntactic and Pragmatic Properties of Discourse Particles in {G}erman}, publisher = {J. Benjamins Publishing Co.}, year = {1991}, address = {Amsterdam}, topic = {discourse-cue-words;pragmatics;German-language;} } @unpublished{ abrams-frisch_am:1991a, author = {Charlene Bloch Abrams and Alan M. Frisch}, title = {An Examination of the Efficiency of Sorted Deduction}, year = {1991}, note = {Unpublished manuscript, Department of Computer Science, University of Illinois}, topic = {theorem-proving;taxonomic-reasoning;knowledge-retrieval;} } @book{ abramsky-hankin:1987a, editor = {Samson Abramsky and Chris Hankin}, title = {Abstract Interpretation of Declarative Languages}, publisher = {Ellis Horwood}, year = {1987}, address = {Chichester}, ISBN = {0745801099}, topic = {abstract-model-theory;} } @book{ abramsky:1988a, author = {Samson Abramsky}, title = {Domain Theory in Logical Form}, publisher = {University of London}, year = {1988]}, address = {London}, ISBN = {0-7923-6350-7 hardcover.}, topic = {higher-order-logic;} } @book{ abramsky-vickers:1990a, author = {Samson Abramsky and Steven Vickers}, title = {Quantales, Observational Logic, and Process Semantics}, publisher = {University of London, Imperial College of Science and Technology, Dept. of Computing}, year = {1990}, address = {London}, topic = {logic-programming;} } @book{ abramsky-ong:1992a, author = {Samson Abramsky and C.-H. Luke Ong}, title = {Full Abstraction In The Lazy Lambda Calculus}, publisher = {University of Cambridge, Computer Laboratory}, year = {1992}, address = {Cambridge, England}, topic = {lambda-calculus;} } @book{ abramsky-vickers:1992a, editor = {Samson Abramsky and Steven Vickers}, title = {Proceedings of {JELIA}: Logics in {AI}}, publisher = {Springer-Verlag}, year = {1992}, address = {Berlin}, topic = {logic-programming;logic-in-AI;} } @book{ abramson-rogers_mh:1989a, editor = {Harvey Abramson and M.H. Rogers}, title = {Meta-Programming in Logic Programming: Proceedings of {META}--88, Bristol, 1988}, publisher = {The {MIT} Press}, year = {1989}, address = {Cambridge, Massachusetts}, ISBN = {0262510472}, topic = {metaprogramming;logic-programming;} } @incollection{ abrusci-etal:1997a, author = {V. Michele Abrusci and Christophe Fouquer\'e and Jacqueline Vauzeilles}, title = {Tree Adjoining Grammars in Non-Commutative Linear Logic}, booktitle = {{LACL}'96: First International Conference on Logical Aspects of Computational Linguistics}, publisher = {Springer-Verlag}, year = {1997}, editor = {Christian Retor/'e}, pages = {96--117}, address = {Berlin}, topic = {logic-and-computational-linguistics;linear-logic; TAG-grammar;} } @article{ abrusci-maringelli:1998a, author = {V. Michele Abrusci and Elena Maringelli}, title = {A New Correctness Criterion for Cyclic Proof Nets}, journal = {Journal of Logic, Language, and Information}, year = {1998}, volume = {7}, number = {4}, pages = {449--502}, topic = {proof-nets;} } @article{ abrusci-etal:1999a, author = {V. Michele Abrusci and Christophe FOuquer\'e and Jacqueline Vauzeilles}, title = {Tree Adjoining Grammars in a Fragment of the {L}ambek Calculus}, journal = {Computational Linguistics}, year = {1998}, volume = {25}, number = {2}, pages = {209--2236}, topic = {TAG-grammar;Lambek-calculus;} } @article{ abrusci:2002a, author = {V. Michele Abrusci}, title = {Classical Conservative Extensions of {L}ambek Calculus}, journal = {Studia Logica}, year = {2002}, volume = {71}, number = {3}, pages = {277--324}, topic = {Lambek-calculus;linear-logic;} } @phdthesis{ abusch:1985a, author = {Dorit Abusch}, title = {On Verbs and Time}, school = {Linguistics Department, University of Massachusetts}, year = {1985}, type = {Ph.{D}. Dissertation}, address = {Amherst, Massachusetts}, topic = {causality;tense-aspect;lexical-semantics;} } @techreport{ abusch:1986a, author = {Dorit Abusch}, title = {Verbs of Change, Causation, and Time}, institution = {Center for the Study of Language and Information, Stanford University}, number = {CSLI--86--50}, year = {1986}, address = {Stanford, California}, topic = {causality;tense-aspect;lexical-semantics;} } @article{ abusch:1992a, author = {Dorit Abusch}, title = {The Scope of Indefinites}, journal = {Natural Language Semantics}, year = {1993--1994}, volume = {2}, number = {2}, pages = {83--135}, topic = {nl-quantifer-scope;indefiniteness;nl-semantics;} } @article{ abusch:1994a, author = {Dorit Abusch}, title = {The Scope of Indefinites}, journal = {Natural Language Semantics}, year = {1994}, volume = {2}, number = {2}, pages = {83--136}, topic = {nl-quantifier-scope;indefiniteness;} } @article{ abusch:1997a, author = {Dorit Abusch}, title = {Sequence of Tense and Temporal {\em De Re}}, journal = {Linguistics and Philosophy}, year = {1997}, volume = {20}, number = {1}, pages = {1--50}, topic = {nl-tense;} } @article{ abusch:1997b, author = {Dorit Abusch}, title = {Remarks on the State Formulation of {\it de re} Present Tense}, journal = {Natural Language Semantics}, year = {1997}, volume = {5}, number = {3}, pages = {303--313}, topic = {nl-tense;} } @inproceedings{ abusch-rooth:1997a, author = {Dorit Abusch and Mats Rooth}, title = {Epistemic {NP} Modifiers}, booktitle = {Proceedings from Semantics and Linguistic Theory {VII}}, publisher = {Cornell University}, year = {1997}, editor = {Aaron Lawson}, pages = {1--18}, address = {Ithaca, New York}, topic = {nl-semantics;adjectives;} } @inproceedings{ abusch:2002a, author = {Dorit Abusch}, title = {Lexical Alternatives as a Source of Pragmatic Presuppositions}, booktitle = {Proceedings from Semantics and Linguistic Theory {XII}}, publisher = {Cornell University}, year = {2002}, editor = {Brendan Jackson}, pages = {1--19}, address = {Ithaca, New York}, topic = {nl-semantics;presupposition;pragmatics;} } @unpublished{ abusch:2005a, author = {Dorit Abusch}, title = {Triggering from Alternative Sets and Projection of Pragmatic Presuppositions}, year = {2005}, note = {Unpublished manuscript, Cornell University. Available at http://semanticsarchive.net/Archive/jJkYjM3O/Abusch-Triggering.pdf}, topic = {presupposition;} } @article{ achenstein:1964a, author = {Peter Achenstein}, title = {Models, Analogies, and Theories}, journal = {Philosophy of Science}, year = {1964}, volume = {41}, number = {4}, pages = {328--350}, topic = {philosophy-of-science;} } @article{ achinstein:1964a, author = {Peter Achinstein}, title = {On the Meaning of Scientific Terms}, journal = {The Journal of Philosophy}, year = {1964}, volume = {62}, number = {20}, pages = {497--509}, topic = {foundations-of-semantics;philosophy-of-science;holism;} } @article{ achinstein:1965a, author = {Peter Achinstein}, title = {\,`Defeasible' Problems}, journal = {The Journal of Philosophy}, year = {1965}, volume = {62}, number = {21}, pages = {629--633}, xref = {Commentary on: clark_r1:1965a.}, topic = {ceteris-paribus-generalizations;natural-laws;causality; nonmonotonic-reasoning;} } @book{ achinstein-barker_sf:1969a, editor = {Peter Achinstein and Stephen F. Barker}, title = {The Legacy of Logical Positivism: Studies in the Philosophy of Science}, publisher = {Johns Hopkins Press}, year = {1969}, address = {Baltimore}, topic = {logical-positivism;analytic-philosophy;} } @book{ achinstein:1971a, author = {Peter Achinstein}, title = {Law and Explanation: An Essay in the Philosophy of Science}, publisher = {Oxford University Press}, year = {1971}, address = {Oxford}, ISBN = {0198582080}, topic = {philosophy-of-science;explanation;natural-laws;} } @incollection{ achinstein:1979a, author = {Peter Achinstein}, title = {The Causal Relation}, booktitle = {Midwest Studies in Philosophy Volume {V}: Studies in Metaphysics}, publisher = {University of Minnesota Press}, year = {1979}, editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K. Wettstein}, pages = {369--386}, address = {Minneapolis}, topic = {causality;focus;} } @book{ achinstein:1982a, author = {Peter Achinstein}, title = {The Nature Of Explanation}, publisher = {Oxford University Press}, year = {1982}, address = {New York}, ISBN = {0195032152}, topic = {explanation;} } @book{ achinstein:1983a, editor = {Peter Achinstein}, title = {The Concept of Evidence}, publisher = {Oxford University Press}, year = {1983}, address = {Oxford}, ISBN = {0198750625 (pbk.)}, contentnote = {TC: 1. Carl A. Hempel, "Studies in the Logic of Confirmation" 2. Richard B. Braithwaite, " The Structure of a Scientific System" 3. Norwood Russell Hanson, "The logic of Discovery " 4. Nelson Goodman, "Prospects for a Theory of Projection" 5. Rudolf Carnap, "The Concept of Confirming Evidence" 6. Wesley C. Salmon, "Confirmation and Relevance", pp. 7. Clark Glymour, "Relevant Evidence" 8. Peter Achinstein, "Concepts of Evidence" }, topic = {evidence;philosophy-of-science;confirmation-theory;} } @incollection{ achinstein:1984a, author = {Peter Achinstein}, title = {A Type of Non-Causal Explanation}, 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 = {221--243}, address = {Minneapolis}, topic = {philosophy-of-science;explanation;} } @book{ achinstein-snyder:1994a, editor = {Peter Achinstein and Laura J. Snyder}, title = {Scientific Methods: Conceptual and Historical Problems}, publisher = {Krieger Pub. Co.}, year = {1994}, address = {Malabar, Florida}, ISBN = {0894648225}, topic = {philosophy-of-science;scientific-reasoning;} } @incollection{ achinstein:2000a, author = {Peter Achinstein}, title = {Why Philosophical Theories of Evidence Are (and Ought to Be) Ignored by Scientists}, booktitle = {{PSA}'1998: Proceedings of the 1998 Biennial Meetings of the Philosophy of Science Association, Part {II}: Symposium Papers}, publisher = {Philosophy of Science Association}, year = {2000}, editor = {Don A. Howard}, pages = {S180--S192}, address = {Newark, Delaware}, topic = {philosophy-of-science;evidence;} } @incollection{ acid-etal:1991a, author = {S. Acid and L.M. de Campos and A. Gonz\'alez and R. Molina and N. P\'erez de la Blanca}, title = {Learning with {CASTLE}}, 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 = {99--106}, address = {Berlin}, topic = {machine-learning;causality;} } @article{ ackerman_f1-moore:1999a, author = {Farrell Ackerman and John Moore}, title = {Syntagmatic and Paradigmatic Dimensions of Causee Encodings}, journal = {Linguistics and Philosophy}, year = {1999}, volume = {22}, number = {1}, pages = {1--44}, topic = {causatives;thematic-roles;} } @incollection{ ackerman_f2:1994a, author = {Felicia Ackerman}, title = {Roots and Consequences of Vagueness}, booktitle = {Philosophical Perspectives, Volume 8: Logic and Language}, publisher = {Blackwell Publishers}, year = {1994}, editor = {James E. Tomberlin}, pages = {129--136}, address = {Oxford}, note = {Also available at http://www.jstor.org/journals/.}, topic = {vagueness;} } @article{ ackrill:1964a, author = {J.L. Ackrill}, title = {Comments}, journal = {The Journal of Philosophy}, year = {1964}, volume = {62}, number = {20}, pages = {610--613}, xref = {Comments on; demos:1964a}, topic = {Plato;philosophy-of-language;} } @article{ acock-jackson_hg:1976a, author = {M. Acock and H.G. Jackson}, title = {Seems}, journal = {Revue Internationale de Philosophie}, year = {1976}, volume = {30}, pages = {304--330}, missinginfo = {A's 1st name, number}, topic = {intensional-logic;logic-of-perception;} } @incollection{ aczel:1977a, author = {Peter Aczel}, title = {An Introduction to Inductive Definitions}, booktitle = {Handbook of Mathematical Logic}, publisher = {North-Holland}, year = {1977}, editor = {K. Jon Barwise}, pages = {739--782}, address = {Amsterdam}, topic = {inductive-definitions;} } @incollection{ aczel:1980a, author = {Peter Aczel}, title = {Frege Structures and the Notion of Proposition, Truth and Set}, booktitle = {The {K}leene Symposium}, publisher = {North-Holland Publishing Company}, year = {1980}, editor = {K. Jon Barwise and H.J. Keisler and K. Kunen}, pages = {31--59}, address = {Amsterdam}, missinginfo = {E's 1st name.}, topic = {Frege-structures;propositions;truth;foudnations-of-set-theory;} } @book{ aczel:1983a, author = {Peter Aczel}, title = {Non-Well-Founded Sets}, publisher = {Center for the Study of Language and Information}, year = {1983}, address = {Stanford, California}, topic = {set-theory;nonwellfounded-sets;} } @article{ adali-subrahmanian_vs:1996a, author = {Sibel Adali and V.S. Subrahmanian}, title = {Amalgamating Knowledge Bases {III}: Algorithms, Data Structures, and Query Processing}, journal = {Journal of Logic Programming}, year = {1996}, volume = {28}, number = {1}, pages = {45--88}, missinginfo = {A's 1st name}, topic = {knowledge-integration;} } @article{ adam-laurent:1980a, author = {Anne Adam and Jean-Pierre Laurent}, title = {{LAURA}, A System to Debug Student Programs}, journal = {Artificial Intelligence}, year = {1980}, volume = {15}, number = {1--2}, pages = {75--122}, acontentnote = {Abstract: An effort to automate the debugging of real programs is presented. We discuss possible choices in conceiving a debugging system. In order to detect all the semantic errors, it must have a knowledge of what the program is intended to achieve. Strategies and results are very dependent on the way of giving this knowledge. In the LAURA system that we have designed, the program's task is given by means of a `program model'. Automatic debugging is then viewed as a comparison of programs. The main characteristics of LAURA are the representation of programs by graphs, which gets rid of many syntactical variations, the use of program transformations, realized on the graphs, and its heuristic strategy to identify step by step the elements of the graphs. It has been tested with about a hundred programs writen by students to solve eight different problems in various fields. It is able to recognize correct programs even if their structures are very different from the structure of the program model. It is also able to express exact diagnostics of errors, or at least to localize them. It could be an effective tool for students programmers. }, topic = {program-transformations;automatic-debugging; software-engineering;graph-based-reasoning;diagnosis;} } @book{ adami:1998a, author = {Christoph Adami}, title = {Introduction to Artificial Life}, publisher = {Springer-Verlag}, year = {1998}, address = {Berlin}, ISBN = {0-387-94646-2}, xref = {Review: taylor_t:2001a.}, topic = {artificial-life;} } @article{ adamowicz-bigorajska:2001a, author = {Zofia Adamowicz and Teresa Bigorajska}, title = {Existentially Closed Structures and {G}\"odel's Second Incompleteness Theorem}, journal = {Journal of Symbolic Logic}, year = {2001}, volume = {66}, number = {1}, pages = {349--356}, topic = {model-theory;goedels-second-theorem;} } @article{ adams_ew:1965a, author = {Ernest Adams}, title = {The Logic of Conditionals}, journal = {Inquiry}, year = {1965}, volume = {8}, pages = {166--197}, topic = {conditionals;} } @article{ adams_ew:1970a, author = {Ernest Adams}, title = {Subjunctive and Indicative Conditionals}, journal = {Foundations of Language}, year = {1970}, volume = {6}, pages = {89--94}, number = {1}, topic = {conditionals;nl-mood;subjunctive-mood;} } @article{ adams_ew:1974a, author = {Ernest Adams}, title = {The Logic of `Almost All'\, }, journal = {Journal of Philosophical Logic}, year = {1974}, volume = {3}, number = {1--2}, pages = {3--17}, topic = {generalized-quantifiers;exception-constructions;} } @book{ adams_ew:1975a, author = {Ernest W. Adams}, title = {The Logic of Conditionals}, publisher = {D. Reidel Publishing Co.}, year = {1975}, address = {Dordrecht}, topic = {conditionals;probability-semantics;} } @article{ adams_ew-levine_hp:1975b, author = {Ernest Adams and Howard P. Levine}, title = {On the Uncertainties Transmitted from Premisses to Conclusions in Deductive Inferences}, journal = {Synth\'ese}, year = {1975}, volume = {30}, pages = {429--460}, topic = {probability-semantics;} } @article{ adams_ew:1978a, author = {Ernest W. Adams}, title = {A Note on Comparing Probabilistic and Modal Semantics for Conditionals}, journal = {Theoria}, year = {1978}, volume = {43}, pages = {186--194}, missinginfo = {number}, topic = {conditionals;probability-semantics;} } @article{ adams_ew-carlstrom:1979a, author = {Ernest W. Adams and Ian F. Carlstrom}, title = {Representing Approximate Ordering and Equivalence Relations}, journal = {Journal of Mathematical Psychology}, year = {1979}, volume = {1979}, number = {2}, pages = {182--207}, topic = {approximate-truth;} } @article{ adams_ew:1981a, author = {Ernest W. Adams}, title = {Transmissible Improbabilities and Marginal Essentialness of Premises in Inferences Involving Indicative Condtionals}, journal = {Journal of Philosophical Logic}, year = {1981}, volume = {10}, number = {2}, pages = {149--177}, topic = {conditionals;probability-semantics;} } @article{ adams_ew:1981b, author = {Ernest W. Adams}, title = {Truth, Proof, and Conditionals}, journal = {Pacific Philosophical Quarterly}, year = {1981}, volume = {62}, pages = {323--339}, missinginfo = {number}, topic = {conditionals;causality;} } @unpublished{ adams_ew:1983a, author = {Ernest W. Adams}, title = {Continuity and Idealizability}, year = {1983}, note = {Unpublished manuscript, Philosophy Department, University of California at Berkeley}, missinginfo = {Year is a guess.}, topic = {fractional-quantifiers;} } @article{ adams_ew:1983b, author = {Ernest W. Adams}, title = {Probabilistic Enthymemes}, journal = {Journal of Pragmatics}, year = {1983}, volume = {7}, pages = {283--295}, missinginfo = {number}, topic = {probability-semantics;} } @incollection{ adams_ew:1986a, author = {Ernest W. Adams}, title = {Remarks on the Semantics and Pragmatics of Conditionals}, booktitle = {On Conditionals}, publisher = {Cambridge University Press}, year = {1986}, editor = {Elizabeth Traugott and Alice {ter Meulen} and Judy Reilly}, pages = {169--179}, address = {Cambridge, England}, topic = {conditionals;} } @article{ adams_ew:1987a, author = {Ernest Adams}, title = {On the Meaning of the Conditional}, journal = {Philosophical Topics}, year = {1987}, volume = {15}, number = {1}, pages = {5--45}, topic = {conditionals;indicative-conditionals;pragmatics;} } @incollection{ adams_ew:1988a, author = {Ernest W. Adams}, title = {Consistency and Decision: Variations on {R}amseyan Themes}, booktitle = {Causation in Decision, Belief Change, and Statistics, Vol. 2}, publisher = {Kluwer Academic Publishers}, year = {1988}, editor = {William L. Harper and Brian Skyrms}, pages = {49--69}, address = {Dordrecht}, topic = {foundations-of-decision-theory;} } @article{ adams_ew:1989a, author = {Ernest W. Adams}, title = {On the Logic of High Probability}, journal = {Journal of Philosophical Logic}, year = {1989}, volume = {15}, number = {3}, pages = {255--279}, topic = {probability-semantics;} } @article{ adams_ew:1995a, author = {Ernest W. Adams}, title = {Remarks on a Theorem of {M}c{G}ee}, journal = {Journal of Philosophical Logic}, year = {1995}, volume = {24}, number = {4}, pages = {343--348}, topic = {conditionals;finite-matrix-property;} } @article{ adams_ew:1996a, author = {Ernest W. Adams}, title = {Four Probability Preserving Properties of Inferences}, journal = {Journal of Philosophical Logic}, year = {1996}, volume = {25}, number = {1}, pages = {1--24}, topic = {conditionals;probabilities;} } @book{ adams_ew:1997a, author = {Ernest W. Adams}, title = {A Primer of Probability Logic}, publisher = {Cambridge University Press}, year = {1997}, address = {Cambridge, England}, topic = {probability-semantics;conditionals;} } @article{ adams_ew:1998a, author = {Ernest W. Adams}, title = {Review of \emph{{T}he Geneology of Disjunction}, by {R}.{E}. {J}ennings}, journal = {The Philosophical Review}, year = {1998}, volume = {105}, number = {1}, pages = {87--88}, xref = {Review of jennings_re1:1994a.}, topic = {disjunction;disjunction-in-nl;} } @article{ adams_f:1986a, author = {Frederik Adams}, title = {Intention and Intentional Action: The Simple View}, journal = {Mind and Language}, year = {1986}, volume = {1}, number = {4}, pages = {281--301}, topic = {intention;action;} } @incollection{ adams_g-resnik_p:1997a, author = {Gary Adams and Philip Resnik}, title = {A Language Identification Application Built on the {J}ava Client-Server Platform}, booktitle = {From Research to Commercial Applications: Making {NLP} Work in Practice}, publisher = {Association for Computational Linguistics}, year = {1997}, editor = {Jill C. Burstein and Claudia Leacock}, pages = {43--47}, address = {Somerset, New Jersey}, topic = {language-identification;} } @article{ adams_ja:2001a, author = {Julie A. Adams}, title = {Review of \emph{{M}ultiagent Systems: A Modern Approach to Distributed Artificial Intelligence}, by {M}ichael {J}. {W}ooldridge}, journal = {The {AI} Magazine}, year = {2000}, volume = {22}, number = {2}, pages = {105--108}, xref = {Review of: wooldridge:1999a.}, topic = {distributed-AI;distributed-systems;} } @article{ adams_rm:1981a, author = {Robert Merrihew. Adams}, title = {Actualism and Thisness}, journal = {Synth\'ese}, year = {1981}, volume = {49}, number = {1}, pages = {3--41}, topic = {actuality;haecceity;} } @inproceedings{ adams_wa:2001a, author = {William A. Adams}, title = {The Motivational Context}, booktitle = {Modeling and Using Context: Third International and Interdisciplinary Conference, Context 2001}, publisher = {Springer-Verlag}, year = {2001}, editor = {Varol Akman and Paolo Bouquet and Richmond Thomason and Roger A. Young}, pages = {409--412}, address = {Berlin}, topic = {context;contextual-reasoning;} } @inproceedings{ addanki-etal:1989a1, author = {Sanjaya Addanki and Roberto Cremonini and J. Scott Pemberthy}, title = {Reasoning about Assumptions in Graphs of Models}, booktitle = {Proceedings of the Eleventh International Joint Conference on Artificial Intelligence}, year = {1989}, editor = {N.S. Sridharan}, pages = {1432--1438}, publisher = {Morgan Kaufmann}, address = {San Mateo, CA}, xref = {Republication: addanki-etal:1989a2.}, topic = {qualitative-physics;qualitative-reasoning;model-based-reasoning;} } @incollection{ addanki-etal:1989a2, author = {Sanjaya Addanki and Roberto Cremonini and J. Scott Pemberthy}, title = {Reasoning about Assumptions in Graphs of Models}, booktitle = {Qualitative Reasoning about Physical Systems}, publisher = {Morgan Kaufmann}, year = {1990}, editor = {Daniel S. Weld and Johan de Kleer}, pages = {546--552}, address = {San Mateo, California}, xref = {Republication of: addanki-etal:1989a1.}, topic = {qualitative-physics;qualitative-reasoning;model-based-reasoning;} } @article{ addanki-etal:1991a, author = {Sanjaya Addanki and Roberto Cremonini and J. Scott Penberthy}, title = {Graphs of Models}, journal = {Artificial Intelligence}, year = {1991}, volume = {51}, number = {1--3}, pages = {145--177}, acontentnote = {Abstract: Solving analysis problems in physical worlds requires the representation of large amounts of knowledge. Recently, there has been much interest in using multiple models, in the engineering sense of the word, to capture the complex and diverse knowledge required during analysis. In this paper we represent physical domains as graphs of models, where the nodes of the graph are models and the edges are the assumptions that have to be changed in going from one model to the other. We introduce new, qualitative methods that automatically select and switch models during analysis. Our approach has been successfully used for three implementations in the fields of mechanics, thermodynamics, and fluid dynamics. }, topic = {model-based-reasoning;kr;qualitative-physics;thermodynamics;} } @incollection{ addis:1984a, author = {Laird Addis}, title = {Parallelism, Interaction, and Causation}, 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 = {329--344}, address = {Minneapolis}, topic = {causality;philosophy-of-mind;} } @book{ adelman-riedel:1997a, author = {Leonard Adelman and Sharon Riedel}, title = {Handbook for Evaluating Knowledge-Based Systems}, publisher = {Kluwer Academic Publishers}, year = {1997}, address = {Dordrecht}, topic = {AI-system-evaluation;knowledge-base-verification; knowledge-engineering;} } @article{ adelsonvelskiy-etal:1975a, author = {G.M. Adelson-Velskiy and V.L. Arlazarov and M.V. Donskoy}, title = {Some Methods of Controlling the Tree Search in Chess Programs}, journal = {Artificial Intelligence}, year = {1975}, volume = {6}, number = {4}, pages = {361--371}, topic = {computer-chess;search;} } @article{ ades-steedman:1982a, author = {Anthony F. Ades and Mark J. Steedman}, title = {On the Order of Words}, journal = {Linguistics and Philosophy}, year = {1982}, volume = {4}, number = {4}, pages = {517--558}, topic = {categorial-grammar;word-order;nl-syntax;} } @article{ adger:2003a, author = {David Adger}, title = {Predicaton and Equation}, journal = {Linguistic Inquiry}, year = {2003}, volume = {33}, number = {3}, pages = {325--359}, topic = {predication;Gaelic-language;} } @incollection{ adiba-lopez:1987a, author = {Michel Adiba and Mauricio Lopez}, title = {Data Bases and Office Automation}, booktitle = {Databases}, publisher = {Academic Press}, year = {1987}, editor = {J. Paradaens}, pages = {1--44}, address = {New York}, topic = {databases;} } @article{ adler_je:1987a, author = {Jonathan E. Adler}, title = {Comparisons with {G}rice}, journal = {Behavioral and Brain Sciences}, year = {1987}, volume = {10}, pages = {710--711}, topic = {implicature;pragmatics;} } @article{ adler_je:1997a, author = {Jonathan E. Adler}, title = {Lying, Deceiving, or Falsely Implicating}, journal = {The Journal of Philosophy}, year = {1997}, volume = {94}, number = {9}, pages = {435--452}, topic = {deception;implicature;pragmatics;} } @book{ adler_sl:2004a, author = {Stephen L. Adler}, title = {Quantum Theory as an Emergent Phenomenon: The Statistical Mechanics of Matrix Models as the Precursor of Quantum Field Theory}, publisher = {Cambridge University Press}, year = {2004}, address = {Cambridge, England}, xref = {Review: ghirardi:2005a.}, topic = {foundations-of-quantum-mechanics;} } @book{ adorni-zock:1993a, editor = {Giovanni Adorni and Michael Zock}, title = {Trends in Natural Language Generation, An Artificial Intelligence Perspective, Fourth {E}uropean Workshop, {EWNLG} '93, Pisa, Italy, April 28-30, 1993, Selected Papers}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {1036}, year = {1996}, ISBN = {3-540-60800-1}, contentnote = {TC: 1. Michael Zock and Giovanni Adorni, "Introduction", pp. 1--16 2. Koenraad De Smedt and Helmut Horacek and Michael Zock, "Architectures for Natural Language Generation: Problems and Perspectives", pp. 17--46 3. Alistair Knott and Robert Dale, "Choosing a Set of Coherence Relations for Text Generation: A Data-Driven Approach", pp. 47--67 4. Elisabeth Maier, "Textual Relations as Part of Multiple Links Between Text Segments", pp. 68--87 5. Hercules Dalianis and Eduard H. Hovy, "Aggregation in Natural Language Generation", pp. 88--105 6. Thanasis Daradoumis, "Towards a Representation of the Rhetorical Structure of Interrupted Exchanges", pp. 106--124 7. Stephen J. Green and Chrysanne DiMarco, "Stylistic Decision-Making in Natural Language Generation", pp. 125--143 8. Susan M. Haller and Stuart C. Shapiro, "{IDP}---An Interactive Discourse Planner", pp. 144--167 9. Kristiina Jokinen, "Reasoning about Coherent and Cooperative System Responses", pp. 168--187 10. Jens-Uwe Moeller, "Domain Related Focus-Shifting Constraints in Dialogues with Knowledge Based Systems", pp. 188--204 11. Elsa Pascual, "Integrating Text Formatting and Text Generation", pp. 205--221 12. Manfred Stede, "Lexical Options in Multilingual Generation from a Knowledge Base", pp. 222--237 13. Michel Gagnon and Guy Lapalme, "Pr\`etexte: A Generator for the Expression of Temporal Information", pp. 238--259 14. Leila Kosseim and Agn\`es Tutin and Richard I. Kittredge and Guy Lapalme, "Generating Grammatical and Lexical Anaphora in Assembly Instructional Texts", pp. 260--276 15. Bernd Abb and Carsten G\"unther and Michael Herweg and Kai Lebeth and Claudia Maienborn and Andrea Schopp, "Incremental Grammatical Encoding---An Outline of the Synphonics Formulator", pp. 277--299 16. Masahiko Haruno and Yasuharu Den and Yuji Matsumoto, "A Chart-Based Semantic Head Driven Generation Algorithm", pp. 300--313 17. Simon C. Dik and Peter Kahrel, "Generating Sentences Using ProfGlot", pp. 314--330 18. Elke Teich and Liesbeth Degand and John A. Bateman, "Multilingual Textuality: Some Experiences from Multilingual Text Generation", pp.331--349 19. Liesbeth Degand, "A {D}utch Component for a Multilingual Systemic Text Generation System", pp. 350--367 20. Chris Mellish and Ehud Reiter and John Levine, "Natural Language Generation Applications to Technical Documentation: A View Through IDAS", pp. 368--382}, topic = {nl-generation;} } @article{ adorno:1990a, author = {Theodor W. Adorno}, title = {Punctuation Marks}, journal = {Antioch Review}, year = {1990}, volume = {48}, number = {3}, pages = {300--305}, topic = {punctuation;} } @book{ adriaans-zantinge:1996a, author = {Pieter Adriaans and Dolf Zantinge}, title = {Data Mining}, publisher = {Addison-Wesley}, year = {1996}, address = {Reading, Massachusetts}, xref = {Review: flach:2001a.}, topic = {data-mining;machine-learning;} } @incollection{ adriaans-haas:2000a, author = {Pieter Adriaans and Erik de Haas}, title = {Learning from a Substructural Perspective}, 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 = {176--183}, address = {Somerset, New Jersey}, topic = {machine-language-learning;substructural-logics;} } @book{ adriaens-hahn:1994a, editor = {Geert Adriaens and Udo Hahn}, title = {Parallel Natural Language Processing}, publisher = {Ablex Publishing Corp.}, year = {1994}, address = {Norwood, New Jersey}, ISBN = {0893918695}, topic = {nl-processing;parallel-processing;} } @article{ afrati-etal:1988a, author = {F. Afrati and C.H. Papadimitriou and G. Papageorgiou}, title = {The Synthesis of Communication Protocols}, journal = {Algorithmica}, year = {1988}, volume = {3}, number = {3}, pages = {451--472}, missinginfo = {A's 1st name}, topic = {communication-protocols;} } @incollection{ agarwal:1997a, author = {Rajeev Agarwal}, title = {Towards a {PURE} System for Information Access}, booktitle = {Interactive Spoken Dialog Systems: Bridging Speech and {NLP} Together in Real Applications}, publisher = {Association for Computational Linguistics}, year = {1997}, editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker}, pages = {90--97}, address = {New Brunswick, New Jersey}, topic = {computational-dialogue;information-retrieval;} } @incollection{ agassi:1976a, author = {Joseph Agassi}, title = {Can Adults Become Genuinely Bilingual?}, booktitle = {Language in Focus}, publisher = {D. Reidel Publishing Co.}, year = {1976}, editor = {Asa Kasher}, pages = {473--484}, address = {Dordrecht}, topic = {L2-language-learning;} } @incollection{ agerri-korta:2001a, author = {Rodrigo Agerri and Kepa Korta}, title = {Pragmatically Determined Aspects of Meaning: Explicature, Impliciture or Implicature}, booktitle = {Meaning and Logic: Disjunction/Implicatures}, publisher = {Institute for Logic, Cognition, Language, and Information, University of the Basque Country}, year = {2001}, editor = {Isabel G\'omez Txurruka and Rodrigo Agerri and Kepa Korta}, pages = {13--21}, address = {Donostia}, topic = {pragmatics;implicature;} } @article{ aghael-ardeshir:2001a, author = {Mojtaba Aghael and Mohammed Ardeshir}, title = {Gentzen-Style Axiomatizations of Some Conservative Extensions of Basic Propositional Logic}, journal = {Studia Logica}, year = {2001}, volume = {68}, number = {1}, pages = {263--285}, topic = {proof-theory;modal-logic;} } @inproceedings{ agirre:1996a, author = {Eneko Agirre and German Rigau}, title = {A Proposal for Word Sense Disambiguation Using Conceptual Distance}, booktitle = {Proceedings of the 1st International Conference on Recent Advances in Natural Language Processing}, year = {1996}, missinginfo = {publisher, editor, pages}, url = {http://xxx.lanl.gov/abs/cmp-lg/9510003}, topic = {wordnet;lexical-disambiguation;distance-metrics;} } @inproceedings{ agirre-rigau:1996a, author = {Eneko Agirre and German Rigau}, title = {Word Sense Disambiguation Using Conceptual Density}, booktitle = {Proceedings of the 16th International Conference on Computational Linguistics}, year = {1996}, missinginfo = {publisher, editor, pages}, url = {http://xxx.lanl.gov/abs/cmp-lg/9606007}, topic = {lexical-disambiguation;wordnet;} } @inproceedings{ agirre-etal:1998a, author = {Eneko Agirre and Koldo Gojenola and Kepa Sarasola and Atro Voutilainen}, title = {Towards a Single Proposal in Spelling Correction}, 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 = {22--28}, organization = {Association for Computational Linguistics}, publisher = {Morgan Kaufmann Publishers}, address = {San Francisco, California}, topic = {spelling-correction;} } @book{ agirre-edmonds:2006a, editor = {Eneko Agirre and Philip Edmonds}, title = {Word Sense Disambiguation: Algorithms and Applications}, publisher = {Springer-Verlag}, year = {2006}, address = {Berlin}, ISBN = {1-4020-4804-4}, xref = {Review: mccarthy_d1:2007a}, topic = {lexical-disambiguation;} } @incollection{ agotnes-alechina:2006a, author = {Thomas {\AA}gotnes and Natasha Alechina}, title = {Semantics for Dynamic Syntactic Epistemic Logics}, booktitle = {{KR}2006: Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning}, publisher = {AAAI Press}, year = {2006}, editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty}, pages = {411--419}, address = {Menlo Park, California}, topic = {limited-rationality;epistemic-logic;hyperintensionality;} } @unpublished{ agrawal-etal:2000a, author = {Marindra Agrawal and Neeraj Kayal and Nitin Saxena}, title = {{\sc primes} Is in {P}}, year = {2000}, note = {Unpublished manuscript, Indian Institute of Technology Kampur}, topic = {algorithmic-complexity;number-theory;} } @inproceedings{ agre-chapman:1987a, author = {Philip E. Agre and David Chapman}, title = {{PENGI}: An Implementation of a Theory of Activity}, booktitle = {Proceedings of the Sixth National Conference on Artificial Intelligence}, year = {1987}, editor = {Kenneth Forbus and Howard Shrobe}, pages = {268--272}, organization = {American Association for Artificial Intelligence}, publisher = {AAAI Press}, address = {Menlo Park, CA}, topic = {planning;action;} } @article{ agre:1993a, author = {Philip E. Agre}, title = {Interview with {A}llen {N}ewell}, journal = {Artificial Intelligence}, year = {1993}, volume = {59}, number = {1--2}, pages = {415--449}, topic = {SOAR;cognitive-architectures;history-of-AI;} } @article{ agre:1995a, author = {Philip E. Agre}, title = {Computational Research on Interaction and Agency}, journal = {Artificial Intelligence}, year = {1995}, volume = {72}, number = {1--2}, pages = {1--52}, acontentnote = {Abstract: Recent research in artificial intelligence has developed computational theories of agents' involvements in their environments. Although inspired by a great diversity of formalisms and architectures, these research projects are unified by a common concern: using principled characterizations of agents' interactions with their environments to guide analysis of living agents and design of artificial ones. This article offers a conceptual framework for such theories, surveys several other fields of research that hold the potential for dialogue with these new computational projects, and summarizes the principal contributions of the articles in this special double volume. It also briefly describes a case study in these ideas--a computer program called Toast that acts as a short-order breakfast cook. Because its designers have discovered useful structures in the world it inhabits, Toast can employ an extremely simple mechanism to decide what to do next. }, topic = {agent-architectures;agent-environment-interaction;} } @book{ agre-rosenschein_sj:1996a, editor = {Philip E. Agre and Stanley J. Rosenschein}, title = {Computational Theories of Interaction and Agency}, publisher = {The {MIT} Press}, year = {1996}, address = {Cambridge, Massachusetts}, topic = {agency;communication-protocols;distributed-systems;} } @book{ agre:1997a, author = {Phillip Agre}, title = {Computation and Human Experience}, publisher = {Cambridge University Press}, year = {1997}, address = {Cambridge, England}, ISBN = {0-521-38432-X}, topic = {foundations-of-AI;philosophy-AI;philosophy-of-mind; consciousness;} } @article{ aguilar:2005a, author = {Jesus H. Aguilar}, title = {Review of \emph{{H}ow We Act: Causes, Reasons and Intentions}, by }, journal = {The Philosophical Review}, year = {2005}, volume = {114}, number = {4}, pages = {548--550}, xref = {Review of: enc_b:2003a}, topic = {philosophy-of-action;causality;intention;} } @article{ aguzzoli-ciabattoni:2000a, author = {Stefano Aguzzoli and Agata Ciabattoni}, title = {Finiteness in Infinite-Valued {\L}ukasiewicz Logic}, journal = {Journal of Logic, Language, and Information}, year = {2000}, volume = {9}, number = {1}, pages = {5--29}, topic = {reasoning-about-uncertainty;multivalued-logic;} } @article{ ahmed:2005a, author = {Tarek Sayed Ahmed}, title = {Algebraic Logic: Where Does it Stand Today?}, journal = {The Bulletin of Symbolic Logic}, year = {2005}, volume = {11}, number = {4}, pages = {465--516}, topic = {algebraic-logic;} } @inproceedings{ ahn_d:2003a, author = {David Ahn}, title = {Presupposition Incorporation in Adverbial Quantification}, booktitle = {Modeling and Using Context: Fourth International and Interdisciplinary Conference, Context 2003}, publisher = {Springer-Verlag}, year = {2003}, editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner and Fausto Giunchiglia}, pages = {1--14}, address = {Berlin}, topic = {presupposition;nl-semantics;context;adverbs;nl-quantifiers;} } @incollection{ ahn_rmc:1994a, author = {Reni M.C. Ahn}, title = {Communication Contexts: A Pragmatic Approach to Information Exchange}, booktitle = {Types for Proofs and Programs: International Workshop {TYPES}'94, {B}estad, {S}weden, June 6--10}, publisher = {Springer-Verlag}, year = {1994}, editor = {Peter Dybjer and Bengt Nordstr\"om and Jan Smith}, pages = {1--13}, address = {Berlin}, topic = {context;communication;} } @article{ ahn_rmc-etal:1994a, author = {R. Ahn and R.J. Beun and T. Borghuis and Harry C. Bunt and C. van Overveld}, title = {The {DenK} Architecture: A Fundamental Approach to User Interfaces}, journal = {Artificial Intelligence Review}, year = {1994}, volume = {8}, pages = {431--445}, missinginfo = {A's 1st names, number}, topic = {computational-dialogue;HCI;} } @inproceedings{ aho_av-etal:1979a, author = {A.V. Aho and J.D. Ullman and A.D. Wyner and M. Yannakakis}, title = {Modeling Communication Protocols by Automata}, booktitle = {Proceedings of the Twentieth {IEEE} Symposium on Foundations of Computer Science}, year = {1979}, pages = {267--273}, organization = {IEEE}, missinginfo = {A's 1st names.}, topic = {communication-protocols;} } @article{ aho_av-etal:1982a, author = {A.V. Aho and J.D. Ullman and A.D. Wyner and M. Yannakakis}, title = {Bounds on the Size and Transmission Rate of Communication Protocols}, journal = {Computers and Mathematics with Applications}, year = {1982}, volume = {8}, number = {3}, pages = {205--214}, xref = {Later version of aho-etal:1979a.}, missinginfo = {A's 1st names.}, topic = {communication-protocols;} } @book{ aho_t:1994a, author = {Tuomo Aho}, title = {On the Philosophy of Attitude Logic}, publisher = {The Philosophical Society of Finland}, year = {1994}, series = {Acta Philosophica {F}ennica}, address = {Helsinki}, topic = {epistemic-logic;agent-attitudes;propositional-attitudes;} } @inproceedings{ ahrenberg-etal:1998a, author = {Lars Ahrenberg and Mikael Andersson and Magnus Merkel}, title = {A Simple Hybrid Aligner for Generating Lexical Correspondences in Parallel Texts}, 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 = {29--35}, organization = {Association for Computational Linguistics}, publisher = {Morgan Kaufmann Publishers}, address = {San Francisco, California}, topic = {text-alignment;} } @incollection{ ahrendt-al:1998a, author = {W. Ahrendt et al.}, title = {Integrating Automated and Interactive Theorem Proving}, booktitle = {Automated Deduction: A Basis for Applications. Volume {II}, Systems and Implementation Techniques}, publisher = {Kluwer Academic Publishers}, year = {1998}, editor = {Wolfgang Bibel and Peter H. Schmidt}, address = {Dordrecht}, missinginfo = {A's 1st name, other authors, pages}, topic = {theorem-proving;applied-logic;} } @article{ ahuja-horaud:1995a, author = {Narendra Ahuja and Radu Horaud}, title = {Introduction to the Special Volume on Computer Vision}, journal = {Artificial Intelligence}, year = {1995}, volume = {78}, number = {1--2}, pages = {1--3}, topic = {computer-vision;} } @book{ aiello-etal:1996a, editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro}, title = {{KR}'96: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1996}, address = {San Francisco}, topic = {kr;} } @article{ aiello:2000a, author = {Marco Aiello}, title = {Review of \emph{{P}arts and Places: The Structures of Spatial Representation}, by {R}oberto {C}asati and {A}chille {V}arzi}, journal = {Journal of Logic, Language, and Information}, year = {2000}, volume = {10}, number = {2}, pages = {269--272}, xref = {Review of: casati-varzi:1999a.}, topic = {spatial-representation;philosophucal-ontology;mereology;} } @article{ aikins:1983a, author = {Janice S. Aikins}, title = {Prototypical Knowledge for Expert Systems}, journal = {Artificial Intelligence}, year = {1983}, volume = {20}, number = {2}, pages = {163--210}, acontentnote = {Abstract: Knowledge of situations typically encountered in performing a task is an important and useful source of information for solving that task. This paper presents a system that uses a representation of prototypical knowledge to guide computer consultations, and to focus the application of production rules used to represent inferential knowledge in the domain. The explicit representation of control knowledge for each prototypical situation is also emphasized. }, topic = {expert-systems;procedural-control;rule-based-reasoning; prototypical-knowledge;} } @article{ aikins:1993a, author = {Jan S. Aikins}, title = {Prototypical Knowledge for Expert Systems: A Retrospective Analysis}, journal = {Artificial Intelligence}, year = {1993}, volume = {59}, number = {1--2}, pages = {205--211}, xref = {Retrospective commentary on aikins:1983a.}, topic = {expert-systems;procedural-control;rule-based-reasoning; prototypical-knowledge;} } @book{ ainslie:1992a, author = {George Ainslie}, title = {Picoeconomics: The Strategic Interaction of Successive Motivational States within the Person}, publisher = {Cambridge University Press}, year = {1992}, address = {Cambridge, England}, ISBN = {0521260930}, topic = {cognitive-psychology;practical-reasoning;} } @book{ ainslie:2001a, author = {George Ainslie}, title = {Breakdown of Will}, publisher = {Cambridge University Press}, year = {2001}, address = {Cambridge, England}, ISBN = {052159300X (hbk.), 0521596947 (pbk.)}, topic = {self-defeating-behavior;cognitive-psychology;} } @article{ aiolli-sperduti:2002a, author = {Fabio Aiolli and Alessandro Sperduti}, title = {A Re-Weighting Strategy for Improving Margins}, journal = {Artificial Intelligence}, year = {2002}, volume = {137}, number = {1--2}, pages = {197--216}, topic = {machine-learning;} } @article{ aisbet-gibbon:2001a, author = {Janet Aisbet and Greg Gibbon}, title = {A General Formulation of Conceptual Spaces as a Meso Level Representation}, journal = {Artificial Intelligence}, year = {2001}, volume = {133}, number = {1--2}, pages = {189--232}, topic = {conceptual-spaces;} } @article{ aisbett-gibbon_g:1994a, author = {Janet Aisbett and Greg Gibbon}, title = {A Tunable Distance Measure for Coloured Solid Models}, journal = {Artificial Intelligence}, year = {1994}, volume = {65}, number = {1}, pages = {143--164}, acontentnote = {Abstract: People are willing to rank simple objects of different shape and colour on the basis of "similarity". If machines are to reason about structure, this comparison process must be formalized. That is, a distance measure between formal object representations must be defined. If the machine is reasoning with information to be presented to a human, the distance measure needs to accord with human notions of object similarity. Since our perception of similarity is subjective and strongly influenced by situation, the measure should be tunable to particular users and contexts. This paper describes a distance measure between solid models which incorporates heuristics of the mental mappings humans use to compare objects. The first step is to formally represent objects in a way that reflects human visual segmentations. We use a modified boundary representation scheme in colour+physical space. The next step is to define a family of maps between these representations, motivated by considerations of how humans match shapes. The distance between two objects is essentially the cost of the lowest-cost map between them. The cost of a map incorporates a geometric measure of the smooth deformation required of edges and faces, a feature measure based on visually significant singular points, and a topological measure based on correspondence of visually significant vertices, edges and faces. Tunable features of the match are: the relative cost of ignoring parts of objects; the treatment of colour; and whether or not the distance measure is required to be rotation invariant. An important application for such distance measures is to the development of user-friendly query of CAD and image databases. Query-by-example depends on implementation of a concept of likeness between object models in the database which, to be useful, must reflect the user's concepts. Another important application for distance measures is in automatic recognition of objects into classes whose members are not identical, so that the concept that ``this object is like object X'' is required. In the common situation that classes are based on human perceptions of visual similarity, the distance measure between the class prototype and the object to be classified should reflect those human perceptions. }, topic = {visual-similarity;visual-reasoning;context;CAD;distance-metrics;} } @incollection{ aisbett-carlson_g:2000a, author = {Janet Aisbett and Greg Carlson}, title = {Epistemic Utility in Commonsense Reasoning}, 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 = {1--21}, address = {Stanford, California}, topic = {limited-rationality;} } @inproceedings{ aist-mostow:1997a, author = {Gregory Aist and Jack Mostow}, title = {A Time to Be Silent and a Time to Speak: Time-Sensitive Communicative Actions in a Reading Tutor that Listens}, booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative Action in Humans and Machines}, year = {1997}, pages = {1--5}, organization = {{AAAI}}, publisher = {American Association for Artificial Intelligence}, address = {Menlo Park, California}, editor = {David R. Traum}, topic = {speech-acts;nl-generation;intelligent-tutoring;pragmatics;} } @article{ ait-kaci:1986a, author = {Hassan A\"it-Kaci}, title = {An Algebraic Semantics Approach to the Effective Resolution of Type Equations}, journal = {Theoretical Computer Science}, year = {1986}, volume = {45}, number = {3}, pages = {293--351}, topic = {kr;description-logics;kr-course;} } @book{ aitchenson:1987a, author = {J. Aitchenson}, title = {Words in the Mind. An Introduction to the Mental Lexicon}, publisher = {Blackwell Publishers}, year = {1987}, address = {Oxford}, topic = {cognitive-semantics;lexical-semantics;semantic-primitives;} } @article{ aitken-barrett_ja:2007a, author = {Wayne Aitken and Jeffrey A. Barrett}, title = {Stability and Paradox in Algorithmic Logic}, journal = {Journal of Philosophical Logic}, year = {2007}, volume = {36}, number = {1}, pages = {61--95}, topic = {Curry-paradox;type-free-theories;algorithmic-logic;} } @article{ aitken-barrett:2008a, author = {Wayne Aitken and Jeffrey A. Barrett}, title = {Abstraction in Algorithmic Logic}, journal = {Journal of Philosophical Logic}, year = {2008}, volume = {37}, number = {1}, pages = {23--43}, topic = {algorithmic-logic;lambda-calculus;Curry-paradox;} } @incollection{ aitmokhtar-chanod:1997a, author = {Salah A\"it-Mokhtar and Jean-Pierre Chanod}, title = {Subject and Object Dependency Extraction Using Finite-State Transducers}, booktitle = {Automatic Information Extraction and Building of Lexical Semantic Resources for {NLP} Applications}, publisher = {Association for Computational Linguistics}, year = {1997}, editor = {Piek Vossen and Geert Adriaens and Nicoletta Calzolari and Antonio Sanfilippo and Yorick Wilks}, pages = {71--77}, address = {New Brunswick, New Jersey}, topic = {finite-state-nlp;part-of-speech-tagging;grammatical-relations;} } @article{ akama:1988a, author = {Seiki Akama}, title = {On the Proof Method for Constructive Falsity}, journal = {Zeitschrift f\"ur Mathematische Logik und Grundlagen der Mathematik}, year = {1988}, volume = {34}, pages = {385--392}, topic = {constructive-falsity;} } @article{ akama:1990a, author = {Seiki Akama}, title = {Subformula Semantics for Strong Negation Systems}, journal = {Journal of Philosophical Logic}, year = {1990}, volume = {19}, number = {2}, pages = {217--226}, topic = {constructive-falsity;} } @article{ akama:1996a, author = {Seiki Akama}, title = {Curry's Paradox in Contractionless Constructive Logic}, journal = {Journal of Philosophical Logic}, year = {1996}, volume = {25}, number = {2}, pages = {135--150}, topic = {paradoxes;foundations-of-mathematics;Curry-paradox;} } @book{ akama:1997a, editor = {Seiki Akama}, title = {Logic, Language, and Computation}, publisher = {Kluwer Academic Publishers}, year = {1997}, address = {Dordrecht}, ISBN = {079234376X}, contentnote = {TC: 1. Seiki Akama, "Recent Issues in Logic, Language and Computation" 2. Max J. Cresswell, "Restricted Quantification" 3. B.H. Slater, "The Epsilon Calculus' Problematic" 4. Klaus Von Heusinger, "Definite Descriptions and Choice Functions" 5. Nicholas Asher, "Spatio-Temporal Structure in Text" 6. Y. Nakayama, "DRT and Many-Valued Logics" 7. Heinrich Wansing, "Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logic 8. Luis Far~\nias del Cerro and V. Lugardon, "Quantification and Dependence Logics" 9. Richard Sylvan, "Relevant Conditionals, and Relevant Application Thereof" }, ISBN = {0792360559}, topic = {philosophical-logic;} } @article{ akama-etal:2008a, author = {Seiki Akama and Yasunori Nagata and Chikatoshi Yamada}, title = {Three-Valued Temporal Logic $Q_t$ and Future Contingents}, journal = {Studia Logica}, year = {2008}, volume = {88}, number = {2}, pages = {215--231}, topic = {future-contingent-propositions;multivalued-logic;} } @inproceedings{ akbar-caelen:1998a, author = {Mohammed Akbar and Jean Caelen}, title = {Parole er Traduction Automatique: Le Module de Reconaissance {RAPHAEL}}, 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 = {36--40}, organization = {Association for Computational Linguistics}, publisher = {Morgan Kaufmann Publishers}, address = {San Francisco, California}, topic = {speech-to-speech-machine-translation;} } @article{ akers-etal:2001a, author = {Robert L. Akers and Ion Bica and Elaine Kant and Curt Randall and Robert L. Young}, title = {Sci{F}inance: A Program Synthesis Tool for Financial Modeling}, journal = {The {AI} Magazine}, year = {2000}, volume = {22}, number = {2}, pages = {27--41}, topic = {AI-and-economics;financial-modeling;} } @article{ akiba:1998a, author = {Ken Akiba}, title = {Nominalistic Metalogic}, journal = {Journal of Philosophical Logic}, year = {1998}, volume = {27}, number = {1}, pages = {35--47}, topic = {formalizations-of-nominalism;} } @article{ akiba:2004a, author = {Ken Akiba}, title = {Vagueness in the World}, journal = {No\^us}, year = {2004}, volume = {38}, number = {3}, pages = {407--429}, topic = {vagueness;metaphysics;} } @book{ akins:1986a, editor = {Kathleen Akins}, title = {Perception}, publisher = {Oxford University Press}, year = {1996}, address = {Oxford}, contentnote = {TC: 1. Kathleen A. Akins, "Introduction" 2. Kirk Ludwig, "Explaining Why Things Look the Way They Do" 3. Paul M. Churchland, "A Feedforward Network for Fast Stereo Vision with Movable Fusion Plane" 4. John Grimes, "On the Failure to Detect Changes in Scenes across Saccades" 5. Dana Ballard, "On the Function of Visual Representation" 6. P.S. Churchland and V.S. Ramachandran, "Filling In: Why Dennett Is Wrong" 7. Daniel C. Dennett, "Seeing Is Believing -- Or Is It?" 10. Kathleen A. Akins and Steven Winger, "Ships in the Night: Churchland and Ramachandran on Dennett's Theory of Consciousness" 11. Brian P. McLaughlin, "Lewis on What Distinguishes Perception from Hallucination" 12. Frances Egan, "Intentionality and the Theory of Vision" 13. Sarah Patterson, "Success-Orientation and Individualism in Marr's Theory of Vision" 14. John Haugeland, "Objective Perception" 15. John M. Henderson, "Visual Attention and the Attention-Action Interface" 16. C. Randy Gallistel, "The Perception of Time" }, ISBN = {0-19-508462-4 (paper), 0-19-508461-6 (cloth)}, topic = {psychology-of-perception;} } @book{ akkerman-etal:1985a, author = {Erik Akkerman and Pieter Masereeuw and Willem Meijs}, title = {Designing a Computerized Lexicon For Linguistic Purposes}, publisher = {Rodopi}, year = {1985}, address = {Amsterdam}, ISBN = {9062037674 (pbk.)}, miscnote = {Distributed in the U.S.A. by Humanities Press.}, topic = {computational-lexicography;} } @book{ akmajian:1974a, author = {Adrian Akmajian}, title = {Pronominalization, Relativization, and Thematization: Interrelated Systems of Coreference in {E}nglish and {J}apanese}, publisher = {Indiana University Linguistics Club}, year = {1971}, address = {310 Lindley Hall, Bloomington, Indiana}, topic = {pronouns;anaphora;relative-clauses;Japanese-language;} } @book{ akmajian-heny:1975a, author = {Adrian Akmajian and Frank Heny}, title = {An Introduction to the Principles of Transformational Syntax}, publisher = {The {MIT} Press}, year = {1975}, address = {Cambridge, Massachusetts}, topic = {syntax-intro;} } @article{ akmajian-wasow:1975a, author = {Adrian Akmajian and Tom Wasow}, title = {The Constituent Structure of {VP} and {AUX} and the Position of the Verb {BE}}, journal = {Linguistic Analysis}, year = {1975}, volume = {1}, number = {3}, pages = {205--245}, topic = {transformational-grammar;auxiliary-verbs;} } @book{ akmajian:1979a, author = {Adrian Akmajian}, title = {Aspects of the Grammar of Focus in {E}nglish}, publisher = {Garland Publishing}, year = {1979}, address = {New York}, ISBN = {0824096916}, topic = {s-focus;} } @book{ akmajian-etal:1979a, author = {Adrian Akmajian and Richard Demers and Robert M. Harnish}, title = {Linguistics: An Introduction to Language and Communication}, edition = {1}, publisher = {The {MIT} Press}, year = {1979}, address = {Cambridge, Massachusetts}, topic = {linguistics-intro;} } @book{ akmajian-etal:2001a, author = {Adrian Akmajian and Richard A. Demers and Ann K. Farmer and Robert M. Harnish}, title = {Linguistics: An Introduction to Language and Communication}, edition = {5}, publisher = {The {MIT} Press}, year = {2001}, address = {Cambridge, Massachusetts}, ISBN = {0262011859}, topic = {linguistics-intro;} } @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;} } @article{ akman:1995a, author = {Varol Akman}, title = {Review of \emph{{F}ormalizing Common Sense: Papers by {J}ohn {M}c{C}arthy}, edited by {V}ladimir {L}ifschitz}, journal = {Artificial Intelligence}, year = {1995}, volume = {77}, number = {2}, pages = {359--369}, xref = {Review of: lifschitz:1990d.}, topic = {John-McCarthy;common-sense;kr;} } @article{ akman:1995b, author = {Varol Akman}, title = {Review of \emph{{F}rom Discourse to Logic: Introduction to Modeltheoretic Semantics in Natural Language, Formal Logic and Discourse Representation Theory, Vols. 1 and 2}, by {H}ans {K}amp and {U}we {R}eyle}, journal = {Computational Linguistics}, year = {1995}, volume = {21}, number = {2}, pages = {265--268}, xref = {Review of kamp-reyle:1993ai, kamp-reyle:1993aii.}, topic = {nl-semantics;discourse-representation-theory;pragmatics;} } @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}, topic = {context;} } @inproceedings{ akman:1997a, author = {Varol Akman}, title = {Context as a Social Construct}, 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 = {1--6}, organization = {American Association for Artificial Intelligence}, publisher = {American Association for Artificial Intelligence}, address = {Menlo Park, California}, topic = {context;contextual-reasoning;} } @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;} } @article{ akman:1999a, author = {Varol Akman}, title = {Review of \emph{{S}urvey of the State of the Art in Human Language Technology}, edited by {G}iovanni {B}attista {V}arile and {A}ntonio {Z}ampolli}, journal = {Computational Linguistics}, year = {1999}, volume = {25}, number = {1}, pages = {161--164}, xref = {Review of varile-zampolli:1997a.}, topic = {nlp-technology;} } @incollection{ akman-alpaslan:1999a, author = {Varol Akman and Ferda Nur Alpaslan}, title = {Strawson on Intended Meaning and Context}, booktitle = {Modeling and Using Contexts: Proceedings of the Second International and Interdisciplinary Conference, {CONTEXT}'99}, publisher = {Springer-Verlag}, year = {1999}, editor = {Paolo Bouquet and Luigi Serafini and Patrick Br\'ezillon and Massimo Benerecetti and Francesca Castellani}, pages = {1--14}, address = {Berlin}, topic = {context;speaker-meaning;} } @book{ akman-etal:2001a, editor = {Varol Akman and Paolo Bouquet and Richmond Thomason and Roger A. Young}, title = {Modeling and Using Context: Third International and Interdisciplinary Conference, Context 2001}, publisher = {Springer-Verlag}, year = {2001}, address = {Berlin}, contentnote = {TC: 1. Horacio Arlo-Costa, "Trade-Offs between Inductive Power and Logical Omniscience in Modeling Context", pp. 1--14 2. John A. Barnden, "Uncertainty and Conflict Handling in the {ATT}-Meta Context-Based System for Metaphorical Reasoning", pp. 15--29 3. Travis Bauer and David B. Leake, "{W}ord{S}eive: A Method for Real-Time Context Extraction", pp. 30--44 4. John Bell, "Pragmatic Reasoning: Pragmatic Semantics and Semantic Pragmatics", pp. 45--58 5. Massimo Beneceretti and Paolo Bouquet and Chiara Ghidini, "On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective", pp. 59--72 6. Claudia Bianchi, "Context of Utterance and Intended Context", pp. 73--66 7. Paolo Bouquet and Luciano Serafini, "Two Formalizations of Context: A Comparison", pp. 87--101 8. Jocelyn Cohan, "Consider the Alternatives: Focus in Contrast and Context", pp. 102--115 9. John H. Connolly, "Context in the Study of Human Languages and Computer Programming Languages: A Comparison", pp. 116--128 10. Mehdi Dastani and Bipin Indurkhya, "Modeling Context Effect in Perceptual Domains", pp. 129--142 11. Bruce Edmonds, "Learning Appropriate Contexts", pp. 143--155 12. Hamid R. Ekbia and Ana G. Maguitman, "Context and Relevance: A Pragmatic Approach", pp. 156--169 13. Roberta Ferrario, "Counterfactual Reasoning", pp. 170--183 14. Martin Romacker and Udo Hahn, "Context-Based Ambiguity Management for Natural Language Processing", pp. 184--197 15. Amy E. Henninger and Avelino J.Gonzalez and Michael Georgiopoulos and Michael De{M}aro, "A Connectionist-Symbolic Approach to Modeling Agent Behavior: Neural Networks Grouped by Contexts", pp. 198--209 16. Martin Juettner and Ingo Rentschler, "Context Dependency of Pattern-Category Learning", pp. 210--220 17. Boicho Kokinov and Maurice Grinberg, "Simulating Context Effects in Problem Solving with {AMBR}", pp. 221--234 18. David Langlois and Kamel Smaili and Jean-Paul Haton, "A New Method Based on Context for Combining Statistical Language Models", pp. 235--247 19. Tomoko Matsui, "Experimental Pragmatics: Towards Testing Relevance-Based Predictions about Anaphoric Bridging Inferences", pp. 248--260 20. Heiko Maus, "Workflow Context as a Means for Intelligent Information Support", pp. 261--274 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;} } @article{ akman:2003a, author = {Varol Akman}, title = {Reading {M}c{D}ermott: Review of \emph{{M}ind and Mechanism}, by {D}rew {M}c{D}ermott}, journal = {Artificial Intelligence}, year = {2003}, volume = {151}, number = {1--2}, pages = {227--235}, xref = {Review of mcdermott_d:2001a.}, topic = {philosophy-AI;mind-body-problem;consciousness;} } @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)}, topic = {software-engineering;} } @inproceedings{ alasady-narayanan:1993a, author = {R. Al-Asady and A. 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}, topic = {inheritance-theory;} } @book{ alasady:1995a, author = {R. 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 }, 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}, 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}, 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: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;} } @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;} } @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}, 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-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;} } @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;} } @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;} } @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}, 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:bc, author = {Alexander of Aphrodisias}, title = {Quaestiones}, publisher = {Duckworth}, year = {1992}, address = {London}, ISBN = {0715623729}, note = {Translated by R. W. Sharples.}, 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;} } @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;} } @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}, 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;} } @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-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;} } @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{ 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;} } @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;} } @incollection{ alhalimi-kazman:1998a, 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 = {1998}, editor = {Christaine Fellbaum}, pages = {333--351}, address = {Cambridge, Massachusetts}, topic = {wordnet;document-classification;} } @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}, topic = {deontic-logic;} } @unpublished{ alhibiri:1979b, author = {Azizah Al-Hibiri}, title = {Temporality and Deontic Logic}, year = {1979}, note = {Unpublished manuscript, Texas A\&M University}, 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 }, 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}, 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-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}, topic = {discourse;nl-interpretation; plan-recognition;discourse-intentions;pragmatics;} } @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}, topic = {plan-recognition;nl-interpretation; pragmatics;} } @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}, topic = {temporal-reasoning;planning;} } @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;} } @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.}, topic = {planning;nl-processing;plan-recognition;} } @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;} } @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;} } @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;} } @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-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;} } @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}, topic = {temporal-logic;events;action;action-formalisms;} } @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;} } @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;} } @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;} } @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;} } @unpublished{ allen_jv:undateda, author = {James V. Allen}, title = {Signs and Probability}, note = {Unpublished manuscript. Said to be part appendix to doctoral dissertation.}, missinginfo = {year}, contentnote = {Has a discussion of default reasoning in ancient philosophy. --RT}, topic = {nonmonotonic-reasoning;ancient-philosophy;} } @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-inf