export record
dblp key:
journals/corr/cs-AI-0003038 share record
persistent URL:
Richard Watson : A Splitting Set Theorem for Epistemic Specifications. CoRR cs.AI/0003038 (2000 )export record
dblp key:
journals/corr/cs-AI-0003039 share record
persistent URL:
Maarit Hietalahti , Fabio Massacci , Ilkka Niemelä : DES: a Challenge Problem for Nonmonotonic Reasoning Systems. CoRR cs.AI/0003039 (2000 )export record
dblp key:
journals/corr/cs-AI-0003040 share record
persistent URL:
Frances L. Johnson , Stuart C. Shapiro : Implementing Integrity Constraints in an Existing Belief Revision System. CoRR cs.AI/0003040 (2000 )export record
dblp key:
journals/corr/cs-AI-0003041 share record
persistent URL:
Luc Bovens , Stephan Hartmann : Coherence, Belief Expansion and Bayesian Networks. CoRR cs.AI/0003041 (2000 )export record
dblp key:
journals/corr/cs-AI-0003042 share record
persistent URL:
Yuliya Babovich , Esra Erdem , Vladimir Lifschitz : Fages' Theorem and Answer Set Programming. CoRR cs.AI/0003042 (2000 )export record
dblp key:
journals/corr/cs-AI-0003044 share record
persistent URL:
Adnan Darwiche : On the tractable counting of theory models and its application to belief revision and truth maintenance. CoRR cs.AI/0003044 (2000 )export record
dblp key:
journals/corr/cs-AI-0003046 share record
persistent URL:
Yi-Dong Shen , Li-Yan Yuan , Jia-Huai You , Neng-Fa Zhou : Linear Tabulated Resolution Based on Prolog Control Strategy. CoRR cs.AI/0003046 (2000 )export record
dblp key:
journals/corr/cs-AI-0003047 share record
persistent URL:
Steffen Hölldobler , Hans-Peter Störr : BDD-based reasoning in the fluent calculus - first results. CoRR cs.AI/0003047 (2000 )export record
dblp key:
journals/corr/cs-AI-0003048 share record
persistent URL:
Pedro Cabalar , Manuel Cabarcos , Ramón P. Otero : PAL: Pertinence Action Language. CoRR cs.AI/0003048 (2000 )export record
dblp key:
journals/corr/cs-AI-0003049 share record
persistent URL:
Antonis C. Kakas , Rob Miller , Francesca Toni : Planning with Incomplete Information. CoRR cs.AI/0003049 (2000 )export record
dblp key:
journals/corr/cs-AI-0003051 share record
persistent URL:
Renata Wassermann : Local Diagnosis. CoRR cs.AI/0003051 (2000 )export record
dblp key:
journals/corr/cs-AI-0003052 share record
persistent URL:
James P. Delgrande , Torsten Schaub : A Consistency-Based Model for Belief Change: Preliminary Report. CoRR cs.AI/0003052 (2000 )export record
dblp key:
journals/corr/cs-AI-0003059 share record
persistent URL:
Mary-Anne Williams , Aidan Sims : SATEN: An Object-Oriented Web-Based Revision and Extraction Engine. CoRR cs.AI/0003059 (2000 )export record
dblp key:
journals/corr/cs-AI-0003061 share record
persistent URL:
Deborah East , Miroslaw Truszczynski : dcs: An Implementation of DATALOG with Constraints. CoRR cs.AI/0003061 (2000 )export record
dblp key:
journals/corr/cs-AI-0003073 share record
persistent URL:
Chitta Baral , Miroslaw Truszczynski : Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000. CoRR cs.AI/0003073 (2000 )export record
dblp key:
journals/corr/cs-AI-0003076 share record
persistent URL:
Krzysztof R. Apt , Éric Monfroy : Constraint Programming viewed as Rule-based Programming. CoRR cs.AI/0003076 (2000 )export record
dblp key:
journals/corr/cs-AI-0003077 share record
persistent URL:
Deborah East , Miroslaw Truszczynski : DATALOG with constraints - an answer-set programming system. CoRR cs.AI/0003077 (2000 )export record
dblp key:
journals/corr/cs-AI-0003080 share record
persistent URL:
Krzysztof R. Apt : Some Remarks on Boolean Constraint Propagation. CoRR cs.AI/0003080 (2000 )export record
dblp key:
journals/corr/cs-CL-0003055 share record
persistent URL:
Thorsten Brants : TnT - A Statistical Part-of-Speech Tagger. CoRR cs.CL/0003055 (2000 )export record
dblp key:
journals/corr/cs-CL-0003060 share record
persistent URL:
Stephan Busemann , Sven Schmeier , Roman Georg Arens : Message Classification in the Call Center. CoRR cs.CL/0003060 (2000 )export record
dblp key:
journals/corr/cs-CL-0003074 share record
persistent URL:
Gosse Bouma : A Finite State and Data-Oriented Method for Grapheme to Phoneme Conversion. CoRR cs.CL/0003074 (2000 )export record
dblp key:
journals/corr/cs-CL-0003081 share record
persistent URL:
Yoshihiko Gotoh , Steve Renals : Variable Word Rate N-grams. CoRR cs.CL/0003081 (2000 )export record
dblp key:
journals/corr/cs-CL-0003083 share record
persistent URL:
Freddy Y. Y. Choi : Advances in domain independent linear text segmentation. CoRR cs.CL/0003083 (2000 )export record
dblp key:
journals/corr/cs-CL-0003084 share record
persistent URL:
Yoshihiko Gotoh , Steve Renals : Information Extraction from Broadcast News. CoRR cs.CL/0003084 (2000 )export record
dblp key:
journals/corr/cs-CR-0003053 share record
persistent URL:
Lek-Heng Lim : Security of the Cao-Li Public Key Cryptosystem. CoRR cs.CR/0003053 (2000 )export record
dblp key:
journals/corr/cs-CR-0003066 share record
persistent URL:
James A. Hoagland : Specifying and Implementing Security Policies Using LaSCO, the Language for Security Constraints on Objects. CoRR cs.CR/0003066 (2000 )export record
dblp key:
journals/corr/cs-CV-0003065 share record
persistent URL:
Oleg Kiselyov , Paul Fisher : Image Compression with Iterated Function Systems, Finite Automata and Zerotrees: Grand Unification. CoRR cs.CV/0003065 (2000 )export record
dblp key:
journals/corr/cs-CV-0003079 share record
persistent URL:
Andreas Siebert : Differential Invariants under Gamma Correction. CoRR cs.CV/0003079 (2000 )export record
dblp key:
journals/corr/cs-DB-0003005 share record
persistent URL:
Prasan Roy , Krithi Ramamritham , S. Seshadri , Pradeep Shenoy , S. Sudarshan : Don't Trash your Intermediate Results, Cache 'em. CoRR cs.DB/0003005 (2000 )export record
dblp key:
journals/corr/cs-DB-0003006 share record
persistent URL:
Hoshi Mistry , Prasan Roy , Krithi Ramamritham , S. Sudarshan : Materialized View Selection and Maintenance Using Multi-Query Optimization. CoRR cs.DB/0003006 (2000 )