CoRR, March 2000

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

Last update Tue May 21 10:10:33 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page