CoRR, November 1997

• Laurie H. Ihrig, Subbarao Kambhampati:
  Storing and Indexing Plan Derivations through Explanation-based Analysis of Retrieval Failures.
  
• Nevin Lianwen Zhang, Wenju Liu:
  A Model Approximation Scheme for Planning in Partially Observable Stochastic Domains.
  
• Dov Monderer, Moshe Tennenholtz:
  Dynamic Non-Bayesian Decision Making.
  
• Lawrence C. Paulson:
  Mechanizing Coinduction and Corecursion in Higher-order Logic.
  
• Lawrence C. Paulson:
  Generic Automatic Proof Tools.
  
• Stefan Riezler:
  Probabilistic Constraint Logic Programming.
  
• Edmund Grimley-Evans:
  Approximating Context-Free Grammars with a Finite-State Calculus.
  
• Christopher D. Manning, Bob Carpenter:
  Probabilistic Parsing Using Left Corner Language Models.
  
• Corey Miller, Orhan Karaali, Noel Massey:
  Variation and Synthetic Speech.
  
• John A. Bateman:
  Some apparently disjoint aims and requirements for grammar development environments: the case of natural language generation.
  
• Paolo Baggia, Morena Danieli, Elisabetta Gerbino, Loreta Moisa, Cosmin Popovici:
  Contextual Information and Specific Language Models for Spoken Language Understanding.
  
• Cosmin Popovici, Paolo Baggia:
  Language Modelling For Task-Oriented Domains.
  
• Morena Danieli:
  On the use of expectations for detecting and repairing human-machine miscommunication.
  
• Joerg P. Ueberla:
  Towards an Improved Performance Measure for Language Models.
  
• Renate Henschel, John A. Bateman:
  Application-driven automatic subgrammar extraction.
  
• Mark Johnson:
  The effect of alternative tree representations on tree bank grammars.
  
• Mark Johnson:
  Proof Nets and the Complexity of Processing Center-Embedded Constructions.
  
• Mark Johnson:
  Features as Resources in R-LFG.
  
• Mark Johnson:
  Type-driven semantic interpretation and feature dependencies in R-LFG.
  

Last update Fri May 24 20:08:14 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page