Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDCoRR, 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 S. 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, 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.
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.
last updated on 2020-10-01 22:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
