![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
CoRR, March 2000
- Erik T. Mueller:
Making news understandable to computers. - (Withdrawn) 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 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. - Luís Castro, David Scott 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. - (Withdrawn) 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 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, Éric 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.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.