CoRR, March 2000

• Erik T. Mueller:
  Making news understandable to computers. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IR/0003001]
• Louis-Sebastien Guimond, Zuzana Masáková, Jiri Patera, Edita Pelantová:
  Combining Random Number Generators using Quasicrystals. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DM/0003002]
• Erik T. Mueller:
  Prospects for in-depth story understanding by computer. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003003]
• Erik T. Mueller:
  A database and lexicon of scripts for ThoughtTreasure. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003004]
• Prasan Roy, Krithi Ramamritham, S. Seshadri, Pradeep Shenoy, S. Sudarshan:
  Don't Trash your Intermediate Results, Cache 'em. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0003005]
• Hoshi Mistry, Prasan Roy, Krithi Ramamritham, S. Sudarshan:
  Materialized View Selection and Maintenance Using Multi-Query Optimization. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0003006]
• Ken Satoh, Hidenori Okamoto:
  Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract). , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003007]
• Ken Satoh:
  Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003008]
• Gabriele Kern-Isberner:
  Conditional indifference and conditional preservation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003009]
• Burkhard D. Steinmacher-Burow:
  TSIA: A Dataflow Model. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0003010]
• Stuart C. Shapiro, Frances L. Johnson:
  Automatic Belief Revision in SNePS. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003011]
• John L. Pollock:
  Defeasible Reasoning in OSCAR. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003012]
• Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
  A flexible framework for defeasible logics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003013]
• Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza:
  Applying Maxi-adjustment to Adaptive Information Filtering Agents. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003014]
• Thomas Meyer:
  On the semantics of merging. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003015]
• Daniele Theseider Dupré:
  Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003016]
• Richard Booth:
  The lexicographic closure as a revision process. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003017]
• Igor Stéphan, Frédéric Saubion, Pascal Nicolas:
  Description of GADEL. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003018]
• Marc Denecker:
  Extending Classical Logic with Inductive Definitions. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0003019]
• Antonis C. Kakas:
  ACLP: Integrating Abduction and Constraint Solving. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003020]
• Samir Chopra, Konstantinos Georgatos, Rohit Parikh:
  Relevance Sensitive Non-Monotonic Inference on Belief Sequences. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003021]
• Horacio L. Arló-Costa:
  Hypothetical revision and matter-of-fact supposition. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003022]
• Thomas Lukasiewicz:
  Probabilistic Default Reasoning with Conditional Constraints. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003023]
• James P. Delgrande, Torsten Schaub, Hans Tompits:
  A Compiler for Ordered Logic Programs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003024]
• Maurice Bruynooghe:
  Logic Programming for Describing and Solving Planning Problems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003025]
• Nikolay Pelov, Emmanuel De Mot, Maurice Bruynooghe:
  A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0003026]
• Bert Van Nuffelen:
  SLDNFA-system. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003027]
• James P. Delgrande, Torsten Schaub, Hans Tompits:
  Logic Programs with Compiled Preferences. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003028]
• Nedra Mellouli, Bernadette Bouchon-Meunier:
  Fuzzy Approaches to Abductive Inference. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003029]
• Bert Van Nuffelen, Marc Denecker:
  Problem solving in ID-logic with aggregates: some experiments. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003030]
• Carmen Vodislav, Robert E. Mercer:
  Optimal Belief Revision. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003031]
• Henrik Grosskreutz, Gerhard Lakemeyer:
  cc-Golog: Towards More Realistic Logic-Based Robot Controllers. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003032]
• Ilkka Niemelä, Patrik Simons, Tommi Syrjänen:
  Smodels: A System for Answer Set Programming. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003033]
• Antonis C. Kakas, Rob Miller, Francesca Toni:
  E-RES: A System for Reasoning about Actions, Events and Observations. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003034]
• Gerhard Brewka:
  Declarative Representation of Revision Strategies. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003035]
• Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer:
  DLV - A System for Declarative Problem Solving. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003036]
• Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran:
  QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003037]
• Richard Watson:
  A Splitting Set Theorem for Epistemic Specifications. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003038]
• Maarit Hietalahti, Fabio Massacci, Ilkka Niemelä:
  DES: a Challenge Problem for Nonmonotonic Reasoning Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003039]
• Frances L. Johnson, Stuart C. Shapiro:
  Implementing Integrity Constraints in an Existing Belief Revision System. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003040]
• Luc Bovens, Stephan Hartmann:
  Coherence, Belief Expansion and Bayesian Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003041]
• Yuliya Babovich, Esra Erdem, Vladimir Lifschitz:
  Fages' Theorem and Answer Set Programming. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003042]
• Panagiotis G. Ipeirotis, Luis Gravano, Mehran Sahami:
  Automatic Classification of Text Databases through Query Probing. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0003043]
• Adnan Darwiche:
  On the tractable counting of theory models and its application to belief revision and truth maintenance. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003044]
• Sofie Verbaeten, Danny De Schreye, Konstantinos F. Sagonas:
  Termination Proofs for Logic Programs with Tabling. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0003045]
• Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
  Linear Tabulated Resolution Based on Prolog Control Strategy. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003046]
• Steffen Hölldobler, Hans-Peter Störr:
  BDD-based reasoning in the fluent calculus - first results. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003047]
• Pedro Cabalar, Manuel Cabarcos, Ramón P. Otero:
  PAL: Pertinence Action Language. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003048]
• Antonis C. Kakas, Rob Miller, Francesca Toni:
  Planning with Incomplete Information. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003049]
• Alberto Artosi, Guido Governatori:
  A tableau methodology for deontic conditional logics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0003050]
• Renata Wassermann:
  Local Diagnosis. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003051]
• James P. Delgrande, Torsten Schaub:
  A Consistency-Based Model for Belief Change: Preliminary Report. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003052]
• Lek-Heng Lim:
  Security of the Cao-Li Public Key Cryptosystem. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0003053]
• Adriana Iamnitchi, Ian T. Foster:
  A Problem-Specific Fault-Tolerance Mechanism for Asynchronous Distributed Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0003054]
• Thorsten Brants:
  TnT - A Statistical Part-of-Speech Tagger. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0003055]
• Marc Denecker:
  A note on the Declarative reading(s) of Logic Programming. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0003056]
• L. Castro, D. Warren:
  XNMR: A tool for knowledge bases exploration. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0003057]
• Joseph Y. Halpern:
  A note on knowledge-based programs and specifications. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0003058]
• Mary-Anne Williams, Aidan Sims:
  SATEN: An Object-Oriented Web-Based Revision and Extraction Engine. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003059]
• Stephan Busemann, Sven Schmeier, Roman Georg Arens:
  Message Classification in the Call Center. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0003060]
• Deborah East, Miroslaw Truszczynski:
  dcs: An Implementation of DATALOG with Constraints. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003061]
• Raymond McDowell, Dale Miller:
  Reasoning with Higher-Order Abstract Syntax in a Logical Framework. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0003062]
• Louis-Sebastien Guimond, Jan Patera, Jiri Patera:
  Statistics and implementation of APRNGs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DM/0003063]
• Oleg Kiselyov:
  A network file system over HTTP: remote access and modification of files and "files". , (informal publication)
  Electronic Edition (link) BibTeX [cs.OS/0003064]
• Oleg Kiselyov, Paul Fisher:
  Image Compression with Iterated Function Systems, Finite Automata and Zerotrees: Grand Unification. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CV/0003065]
• James A. Hoagland:
  Specifying and Implementing Security Policies Using LaSCO, the Language for Security Constraints on Objects. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0003066]
• Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker:
  Detecting Unsolvable Queries for Definite Logic Programs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0003067]
• Maurice Bruynooghe, Michael Leuschel, Konstantinos F. Sagonas:
  A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0003068]
• Nikolay Pelov, Maurice Bruynooghe:
  Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0003069]
• Sandro Etalle, Jon Mountjoy:
  The (Lazy) Functional Side of Logic Programming. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0003070]
• Charlie Volkstorf:
  Axiomatic Synthesis of Computer Programs and Computability Theorems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0003071]
• Jason W. H. Lee, Y. C. Tay, Anthony K. H. Tung:
  MOO: A Methodology for Online Optimization through Mining the Offline Optimum. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0003072]
• Chitta Baral, Miroslaw Truszczynski:
  Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003073]
• Gosse Bouma:
  A Finite State and Data-Oriented Method for Grapheme to Phoneme Conversion. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0003074]
• Mark Burgess:
  On the theory of system administration. , (informal publication)
  Electronic Edition (link) BibTeX [cs.OH/0003075]
• Krzysztof R. Apt, Eric Monfroy:
  Constraint Programming viewed as Rule-based Programming. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003076]
• Deborah East, Miroslaw Truszczynski:
  DATALOG with constraints - an answer-set programming system. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003077]
• Anatoly D. Plotnukov:
  About the finding of independent vertices of a graph. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0003078]
• Andreas Siebert:
  Differential Invariants under Gamma Correction. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CV/0003079]
• Krzysztof R. Apt:
  Some Remarks on Boolean Constraint Propagation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0003080]
• Yoshihiko Gotoh, Steve Renals:
  Variable Word Rate N-grams. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0003081]
• Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
  Representation results for defeasible logic. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0003082]
• Freddy Y. Y. Choi:
  Advances in domain independent linear text segmentation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0003083]
• Yoshihiko Gotoh, Steve Renals:
  Information Extraction from Broadcast News. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0003084]
• Craig McNeile:
  Data storage issues in lattice QCD calculations. , (informal publication)
  Electronic Edition (link) BibTeX [hep-lat/0003009]
• Péter Gács:
  Reliable Cellular Automata with Self-Organization. , (informal publication)
  Electronic Edition (link) BibTeX [math.PR/0003117]
• Lance Fortnow:
  One Complexity Theorist's View of Quantum Computing. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/0003035]