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