CoRR, July 2002

• Ronald M. Fussell:
  National Infrastructure Contingencies: Survey of Wireless Technology Support. , (informal publication)
  [cs.DC/0207001]
• Mikhail Belkin, John A. Goldsmith:
  Using eigenvectors of the bigram graph to infer morpheme identity. , (informal publication)
  [cs.CL/0207002]
• Yasuko Senda, Yasusi Sinohara:
  Analysis of Titles and Readers For Title Generation Centered on the Readers. , (informal publication)
  [cs.CL/0207003]
• Jeff Erickson, Sariel Har-Peled:
  Optimally cutting a surface into a disk. , (informal publication)
  [cs.CG/0207004]
• Melanie Siegel, Emily M. Bender:
  Efficient Deep Processing of Japanese. , (informal publication)
  [cs.CL/0207005]
• W. Chen:
  Orthonormal RBF wavelet and ridgelet-like series and transforms for high-dimensional problems. , (informal publication)
  [cs.SC/0207006]
• Denis V. Popel, Nawar Al-Hakeem:
  Evolutionary Circuit Design: Information Theory Perspective on Signal Propagation. , (informal publication)
  [cs.OH/0207007]
• Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
  Agent Programming with Declarative Goals. , (informal publication)
  [cs.AI/0207008]
• Vince Grolmusz:
  Computing Elementary Symmetric Polynomials with a Sublinear Number of Multiplications. , (informal publication)
  [cs.CC/0207009]
• W. Chen:
  Symmetric boundary knot method. , (informal publication)
  [cs.CE/0207010]
• Denis V. Popel, Nawar Al-Hakeem:
  Improving Web Database Access Using Decision Diagrams. , (informal publication)
  [cs.LO/0207011]
• Denis V. Popel:
  Synthesis of Low-Power Digital Circuits Derived from Binary Decision Diagrams. , (informal publication)
  [cs.AR/0207012]
• Denis V. Popel:
  A Compact Graph Model of Handwritten Images: Integration into Authentification and Recognition. , (informal publication)
  [cs.HC/0207013]
• Denis V. Popel, Nawar Al-Hakeem:
  On the Information Engine of Circuit Design. , (informal publication)
  [cs.AR/0207014]
• W. Chen, M. Tanaka:
  New advances in dual reciprocity and boundary-only RBF methods. , (informal publication)
  [cs.CE/0207015]
• W. Chen, M. Tanaka:
  Relationship between boundary integral equation and radial basis function. , (informal publication)
  [cs.CE/0207016]
• W. Chen, M. Tanaka:
  New Insights in Boundary-only and Domain-type RBF Methods. , (informal publication)
  [cs.CE/0207017]
• W. Chen:
  Definitions of distance function in radial basis function approach. , (informal publication)
  [cs.CE/0207018]
• Denis V. Popel:
  Information Measures in Detecting and Recognizing Symmetries. , (informal publication)
  [cs.AR/0207019]
• Denis V. Popel:
  Towards Efficient Calculation of Information Measures for Reordering of Binary Decision Diagrams. , (informal publication)
  [cs.AR/0207020]
• Piero A. Bonatti:
  Abduction, ASP and Open Logic Programs. , (informal publication)
  [cs.AI/0207021]
• Mehdi Dastani, Leendert W. N. van der Torre:
  What is a Joint Goal? Games with Beliefs and Defeasible Desires. , (informal publication)
  [cs.MA/0207022]
• Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith:
  Domain-Dependent Knowledge in Answer Set Planning. , (informal publication)
  [cs.AI/0207023]
• Paul E. Dunne:
  On Concise Encodings of Preferred Extensions. , (informal publication)
  [cs.AI/0207024]
• Claudette Cayrol, Sylvie Doutre, Marie-Christine Lagasquie-Schiex, Jérôme Mengin:
  "Minimal defence": a refinement of the preferred semantics for argumentation frameworks. , (informal publication)
  [cs.AI/0207025]
• Michael H. Goldwasser, Ming-Yang Kao, Hsueh-I Lu:
  Linear-Time Algorithms for Computing Maximum-Density Sequence Segments with Bioinformatics Applications. , (informal publication)
  [cs.DS/0207026]
• Boaz Tsaban:
  Permutation graphs, fast forward permutations, and sampling the cycle structure of a permutation. , (informal publication)
  [cs.CR/0207027]
• Kamal Jain, Mohammad Mahdian, Evangelos Markakis, Amin Saberi, Vijay V. Vazirani:
  Greedy Facility Location Algorithms Analyzed using Dual Fitting with Factor-Revealing LP. , (informal publication)
  [cs.DS/0207028]
• Alexander Bochman:
  Two Representations for Iterative Non-prioritized Change. , (informal publication)
  [cs.AI/0207029]
• Alexander Bochman:
  Collective Argumentation. , (informal publication)
  [cs.AI/0207030]
• Henry Prakken:
  Intuitions and the modelling of defeasible reasoning: some case studies. , (informal publication)
  [cs.AI/0207031]
• Pedro Cabalar:
  Alternative Characterizations for Strong Equivalence of Logic Programs. , (informal publication)
  [cs.AI/0207032]
• W. Chen, Xinwei Wang, Yongxi Yu:
  Reducing the Computational Requirements of the Differential Quadrature Method. , (informal publication)
  [cs.CE/0207033]
• W. Chen, Weixing He, Tingxiu Zhong:
  A Note on the DQ Analysis of Anisotropic Plates. , (informal publication)
  [cs.SC/0207034]
• W. Chen, Tingxiu Zhong:
  A Lyapunov Formulation for Efficient Solution of the Poisson and Convection-Diffusion Equations by the Differential Quadrature Method. , (informal publication)
  [cs.CE/0207035]
• N. Allen, Timothy B. Terriberry:
  System Description for a Scalable, Fault-Tolerant, Distributed Garbage Collector. , (informal publication)
  [cs.DC/0207036]
• Samir Chopra, Johannes Heidema, Thomas Andreas Meyer:
  Some logics of belief and disbelief. , (informal publication)
  [cs.AI/0207037]
• Samir Chopra, Aditya Ghose, Thomas Andreas Meyer:
  Iterated revision and the axiom of recovery: a unified treatment via epistemic states. , (informal publication)
  [cs.AI/0207038]
• Masataka Tanaka, W. Chen:
  Dual reciprocity BEM and dynamic programming filter for inverse elastodynamic problems. , (informal publication)
  [cs.CE/0207039]
• Ralf Schweimeier, Michael Schroeder:
  Well-Founded Argumentation Semantics for Extended Logic Programming. , (informal publication)
  [cs.LO/0207040]
• W. Chen:
  RBF-based meshless boundary knot method and boundary particle method. , (informal publication)
  [cs.CE/0207041]
• Gerhard Brewka:
  Logic Programming with Ordered Disjunction. , (informal publication)
  [cs.AI/0207042]
• W. Chen, Masataka Tanaka:
  A meshless, integration-free, and boundary-only RBF technique. , (informal publication)
  [cs.CE/0207043]
• Ulrich Neumerkel, Stefan Kral:
  Declarative program development in Prolog with GUPU. , (informal publication)
  [cs.SE/0207044]
• Adnan Darwiche, Pierre Marquis:
  Compilation of Propositional Weighted Bases. , (informal publication)
  [cs.AI/0207045]
• Samir Ouis, Narendra Jussien, Patrice Boizumault:
  COINS: a constraint-based interactive solving system. , (informal publication)
  [cs.SE/0207046]
• Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson:
  Tracing and Explaining Execution of CLP(FD) Programs. , (informal publication)
  [cs.SE/0207047]
• François Fages:
  CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. , (informal publication)
  [cs.SE/0207048]
• Claudio Vaucheret, Francisco Bueno:
  More Precise Yet Efficient Type Inference for Logic Programs. , (informal publication)
  [cs.SE/0207049]
• Willy Lesaint:
  Value withdrawal explanations: a theoretical tool for programming environments. , (informal publication)
  [cs.SE/0207050]
• Nicos Angelopoulos:
  Exporting Prolog source code. , (informal publication)
  [cs.SE/0207051]
• Alexandre Tessier:
  Proceedings of the 12th International Workshop on Logic Programming Environments. , (informal publication)
  [cs.SE/0207052]
• Jan Wielemaker, Anjo Anjewierden:
  An Architecture for Making Object-Oriented Systems Available from Prolog. , (informal publication)
  [cs.SE/0207053]
• Göran Falkman, Olof Torgersson:
  Enhancing Usefulness of Declarative Programming Frameworks through Complete Integration. , (informal publication)
  [cs.SE/0207054]
• Mark Burgin:
  The Rise and Fall of the Church-Turing Thesis. , (informal publication)
  [cs.CC/0207055]
• Antonis C. Kakas, Loizos Michael:
  Modeling Complex Domains of Actions and Change. , (informal publication)
  [cs.AI/0207056]
• Samson Abramsky, Bob Coecke:
  Physical Traces: Quantum vs. Classical Information Processing. , (informal publication)
  [cs.CG/0207057]
• Jochen L. Leidner:
  Question Answering over Unstructured Data without Domain Restrictions. , (informal publication)
  [cs.CL/0207058]
• Trevor J. M. Bench-Capon:
  Value Based Argumentation Frameworks. , (informal publication)
  [cs.AI/0207059]
• Torsten Schaub, Kewen Wang:
  Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report. , (informal publication)
  [cs.AI/0207060]
• Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery Westbrook:
  Linear-Time Pointer-Machine Algorithms for Least Common Ancestors, MST Verification, and Dominators. , (informal publication)
  [cs.DS/0207061]
• W. Chen:
  Some addenda on distance function wavelets. , (informal publication)
  [cs.NA/0207062]
• Daniel A. Spielman, Shang-Hua Teng, Alper Üngör:
  Parallel Delaunay Refinement: Algorithms and Analyses. , (informal publication)
  [cs.CG/0207063]
• Eyal Amir:
  Interpolation Theorems for Nonmonotonic Reasoning Systems. , (informal publication)
  [cs.AI/0207064]
• Dritan Berzati, Bernhard Anrig, Jürg Kohlas:
  Embedding Default Logic in Propositional Argumentation Systems. , (informal publication)
  [cs.AI/0207065]
• Jochen Alber, Michael R. Fellows, Rolf Niedermeier:
  Polynomial Time Data Reduction for Dominating Set. , (informal publication)
  [cs.DS/0207066]
• Bart Verheij:
  On the existence and multiplicity of extensions in dialectical argumentation. , (informal publication)
  [cs.AI/0207067]
• Konstantin Korovin, Andrei Voronkov:
  Knuth-Bendix constraint solving is NP-complete. , (informal publication)
  [cs.LO/0207068]
• Ahmed Helmy:
  Small Large-Scale Wireless Networks: Mobility-Assisted Resource Discovery. , (informal publication)
  [cs.NI/0207069]
• Chung-chieh Shan:
  A continuation semantics of interrogatives that accounts for Baker's ambiguity. , (informal publication)
  [cs.CL/0207070]
• David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran:
  A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. , (informal publication)
  [cs.AI/0207071]
• Marco Cadoli, Thomas Eiter, Georg Gottlob:
  Complexity of Nested Circumscription and Nested Abnormality Theories. , (informal publication)
  [cs.AI/0207072]
• Srinidhi Varadarajan, Naren Ramakrishnan:
  Reinforcing Reachable Routes. , (informal publication)
  [cs.NI/0207073]
• Dina Q. Goldin, Peter Wegner:
  Paraconsistency of Interactive Computation. 109-118
  [cs.LO/0207074]
• Thomas Lukasiewicz:
  Nonmonotonic Probabilistic Logics between Model-Theoretic Probabilistic Logic and Probabilistic Logic under Coherence. , (informal publication)
  [cs.AI/0207075]
• Elisa Bertino, Barbara Catania, Paolo Perlasca:
  Introducing Dynamic Behavior in Amalgamated Knowledge Bases. , (informal publication)
  [cs.PL/0207076]
• Jahanzeb Sherwani, Nosheen Ali, Nausheen Lotia, Zahra Hayat, Rajkumar Buyya:
  Libra: An Economy driven Job Scheduling System for Clusters. , (informal publication)
  [cs.DC/0207077]
• András A. Benczúr, David R. Karger:
  Randomized Approximation Schemes for Cuts and Flows in Capacitated Graphs. , (informal publication)
  [cs.DS/0207078]
• Dima Grigoriev, Ilia V. Ponomarenko:
  On non-abelian homomorphic public-key cryptosystems. , (informal publication)
  [cs.CR/0207079]
• Dima Grigoriev:
  Public-key cryptography and invariant theory. , (informal publication)
  [cs.CR/0207080]
• Marshall W. Bern, David Eppstein:
  Moebius-Invariant Natural Neighbor Interpolation. , (informal publication)
  [cs.CG/0207081]
• David Eppstein:
  Dynamic Generators of Topologically Embedded Graphs. , (informal publication)
  [cs.DS/0207082]
• Henry E. Kyburg Jr., Choh-Man Teng:
  Evaluating Defaults. , (informal publication)
  [cs.AI/0207083]
• Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran:
  Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. 1-15
  [cs.LO/0207084]
• Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe:
  Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. 51-65
  [cs.LO/0207085]
• Michael J. Maher:
  A Model-Theoretic Semantics for Defeasible Logic. 67-80
  [cs.LO/0207086]
• Guo-Qiang Zhang:
  Axiomatic Aspects of Default Inference. 17-32
  [cs.LO/0207087]
• Jørgen Villadsen:
  A Paraconsistent Higher Order Logic. 33-49
  [cs.LO/0207088]
• Jan Maluszynski, Aida Vitória:
  Defining Rough Sets by Extended Logic Programs. 81-90
  [cs.LO/0207089]
• Diderik Batens:
  On a Partial Decision Method for Dynamic Proofs. 91-108
  [cs.LO/0207090]
• François Bry:
  An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning. 119-134
  [cs.LO/0207091]
• Henryk Fuks, Anna T. Lawniczak, Stanislav Volkov:
  Packet delay in models of data networks. , (informal publication)
  [cs.NI/0207092]
• Jan Chomicki:
  Preference Queries. , (informal publication)
  [cs.DB/0207093]
• Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki:
  Answer Sets for Consistent Query Answering in Inconsistent Databases. , (informal publication)
  [cs.DB/0207094]
• Wim H. Hesselink:
  Eternity variables to prove simulation of specifications. , (informal publication)
  [cs.DC/0207095]
• Avery Ching, Alok N. Choudhary, Wei-keng Liao, Robert B. Ross, William Gropp:
  Noncontiguous I/O through PVFS. , (informal publication)
  [cs.DC/0207096]
• Jürgen Schmidhuber:
  Optimal Ordered Problem Solver. , (informal publication)
  [cs.AI/0207097]
• Alexei Vazquez, Martin Weigt:
  Computational complexity arising from degree correlations in networks. , (informal publication)
  [cond-mat/0207035]
• Marc Mézard, Federico Ricci-Tersenghi, Riccardo Zecchina:
  Alternative solutions to diluted p-spin models and XORSAT problems. , (informal publication)
  [cond-mat/0207140]
• Igor Bjelakovic, Tyll Krueger, Rainer Siegmund-Schultze, Arleta Szkola:
  The Shannon-McMillan Theorem for Ergodic Quantum Lattice Systems. , (informal publication)
  [math.DS/0207121]