Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarCoRR, March 2000
- (Withdrawn) Combining Random Number Generators using Quasicrystals.
- 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). - 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. - Daniele Theseider Dupré:
Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective. - Samir Chopra, Konstantinos Georgatos, Rohit Parikh:
Relevance Sensitive Non-Monotonic Inference on Belief Sequences. - Nikolay Pelov, Emmanuel De Mot, Maurice Bruynooghe:
A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems. - Henrik Grosskreutz, Gerhard Lakemeyer:
cc-Golog: Towards More Realistic Logic-Based Robot Controllers. - Antonis C. Kakas, Rob Miller, Francesca Toni:
E-RES: A System for Reasoning about Actions, Events and Observations. - 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. - 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. - 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. - James P. Delgrande, Torsten Schaub:
A Consistency-Based Model for Belief Change: Preliminary Report. - Adriana Iamnitchi, Ian T. Foster:
A Problem-Specific Fault-Tolerance Mechanism for Asynchronous Distributed Systems. - (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. - 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. - Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Representation results for defeasible logic.
maintained by 
at 
at 
last updated on 2018-08-20 21:55 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint