@incollection{Bauer/97, AUTHOR = {Bauer, F.L.}, TITLE = {The might of formulas and their limits}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {1-8}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Zemanek/97, AUTHOR = {Zemanek, Heinz}, TITLE = {Hardware --- software: An equivalence and a contradiction}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {9-19}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Coy/97, AUTHOR = {Coy, Wolfgang}, TITLE = {Defining discipline}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {21-35}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Siefkes/97, AUTHOR = {Siefkes, Dirk}, TITLE = {Computer science as cultural development}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {37-47}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Gruska-Vollmar/97, AUTHOR = {Gruska, Jozef and Vollmar, Roland}, TITLE = {Towards adjusting informatics education to information era}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {49-67}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Klaeren-Floyd-Diestelmeier/97, AUTHOR = {Klaeren, Herbert and Floyd, Christiane and Diestelmeier, Friedrich}, TITLE = {Informatics and society: A curriculum for distance education}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {69-78}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Mateescu-Rozenberg-Salomaa/97a, AUTHOR = {Mateescu, Alexandru and Rozenberg, Grzegorz and Salomaa, Arto}, TITLE = {Syntactic and semantic aspects of parallelism}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {79-105}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Kupka/97, AUTHOR = {Kupka, Ingbert}, TITLE = {Unique fixpoints in complete lattices with applications to formal languages and semantics}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {107-115}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Karner-Kuich/97a, AUTHOR = {Karner, Georg and Kuich, Werner}, TITLE = {On abstract families of languages, power series, and elements}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {117-124}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Lange/97a, AUTHOR = {Lange, Klaus-J{\"o}rn}, TITLE = {Are there formal languages complete for SymSPACE($\log n$)?}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {125-134}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Jantzen/97, AUTHOR = {Jantzen, Matthias}, TITLE = {On twist-closed trios: A new morphic characterization of r.e. sets}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {135-142}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Esparza-Rossmanith/97, AUTHOR = {Esparza, J. and Rossmanith, P.}, TITLE = {An automata approach to some problems on context-free grammars}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {143-152}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Culik-Kari/97a, AUTHOR = {Culik, Karel and Kari, Jarkko}, TITLE = {On aperiodic sets of Wang tiles}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {153-162}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Jenner/97, AUTHOR = {Jenner, Birgit}, TITLE = {Closure under complementation of logspace complexity classes --- A survey}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {163-175}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Kirsig/97, AUTHOR = {Kirsig, Bernd}, TITLE = {A relation between sparse and printable sets in NSPACE($\log n$)}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {177-184}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Weihrauch/97a, AUTHOR = {Weihrauch, Klaus}, TITLE = {A foundation for computable analysis}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {185-199}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Schmidhuber/97, AUTHOR = {Schmidhuber, J{\"u}rgen}, TITLE = {A computer scientist's view of life, the universe, and everything}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {201-208}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Kudlek/97, AUTHOR = {Kudlek, Manfred}, TITLE = {Calendars and chronologies}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {209-217}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Ehrig-Padberg/97, AUTHOR = {Ehrig, H. and Padberg, J.}, TITLE = {A uniform approach to Petri nets}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {219-231}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Kiehn/97, AUTHOR = {Kiehn, Astrid}, TITLE = {Observing partial order runs of Petri nets}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {233-238}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Meseguer-Montanari-Sassone/97, AUTHOR = {Meseguer, Jos{\'{e}} and Montanari, Ugo and Sassone, Vladimiro}, TITLE = {Representation theorems for Petri nets}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {239-249}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Diekert/97, AUTHOR = {Diekert, Volker}, TITLE = {A remark on trace equations}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {251-260}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Kindler-Reisig/97, AUTHOR = {Kindler, Ekkart and Reisig, Wolfgang}, TITLE = {Verification of distributed algorithms with algebraic Petri nets}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {261-270}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Vogler/97b, AUTHOR = {Vogler, Walter}, TITLE = {A short story on action refinement}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {271-278}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Broy/97a, AUTHOR = {Broy, Manfred}, TITLE = {Interactive and reactive systems: States, observations, experiments, input, output, nondeterminism, compositonality and all that}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {279-286}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Daduna/97, AUTHOR = {Daduna, Hans}, TITLE = {Discrete time analysis of a state dependent tandem with different customer types}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {287-296}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Desel/97, AUTHOR = {Desel, J{\"o}rg}, TITLE = {How distributed algorithms play the token game}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {297-306}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Walter/97, AUTHOR = {Walter, Rolf}, TITLE = {The asynchronous stack revisited: Rounds set the twilight reeling}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {307-312}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Monien-Berenbrink-Luling-Riedel/97, AUTHOR = {Monien, B. and Berenbrink, P. and L{\"u}ling, R. and Riedel, M.}, TITLE = {Online scheduling of continuous media streams}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {313-320}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Langmaack/97, AUTHOR = {Langmaack, Hans}, TITLE = {Contribution to goodenough's and Gerhart's theory of software testing and verification: Relation between strong compiler test and compiler implementation verification}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {321-335}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Hotz-Wu/97, AUTHOR = {Hotz, G{\"u}nter and Wu, Hongzhong}, TITLE = {On the arrangement complexity of uniform trees}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {337-350}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Boley/97, AUTHOR = {Boley, Harold}, TITLE = {A relational-functional integration for declarative programming}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {351-358}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Kanngiesser/97, AUTHOR = {Kanngie{\"ss}er, Siegfried}, TITLE = {Inside and outside the Chinese room}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {359-368}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Habel-Eschenbach/97, AUTHOR = {Habel, Christopher and Eschenbach, Carola}, TITLE = {Abstract structures in spatial cognition}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {369-378}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Freksa/97, AUTHOR = {Freksa, Christian}, TITLE = {Spatial and temporal structures in cognitive processes}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {379-387}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Hernandez/97, AUTHOR = {Hern{\'{a}}ndez, Daniel}, TITLE = {Qualitative vs. fuzzy representations of spatial distance}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {389-398}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Pribbenow/97, AUTHOR = {Pribbenow, Simone}, TITLE = {What's a part? On formalizing part-whole relations}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {399-406}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Rollinger/97, AUTHOR = {Rollinger, Claus R.}, TITLE = {SPOCK: A feasibility study on the completeness of parts lists}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {407-415}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Schill/97, AUTHOR = {Schill, Kerstin}, TITLE = {Decision support systems with adaptive reasoning strategies}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {417-427}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Morik/97, AUTHOR = {Morik, Katharina}, TITLE = {Knowledge discovery in databases --- An inductive logic programming approach}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {429-436}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Ammon/97, AUTHOR = {Ammon, Kurt}, TITLE = {The composition heuristic}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {437-444}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Weiss/97, AUTHOR = {Wei{\"ss}, Gerhard}, TITLE = {The job assignment problem: A study in parallel and distributed machine learning}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {445-454}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Hamdi-Kaiser/97, AUTHOR = {Hamdi, Mohamed Salah and Kaiser, Karl}, TITLE = {Self-improving behavior arbitration}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {455-464}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Sturm/97, AUTHOR = {Sturm, Margit}, TITLE = {Neural networks for manipulator path planning}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {465-472}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Eldracher-Pic/97, AUTHOR = {Eldracher, Martin and Pic, Thomas}, TITLE = {Path planning using a subgoal graph}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {473-480}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Schittenkopf-Deco/97, AUTHOR = {Schittenkopf, Christian and Deco, Gustavo}, TITLE = {A nonlinear Markovian characterization of time series using neural networks}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {481-488}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Scheler/97, AUTHOR = {Scheler, Gabriele}, TITLE = {Featur-based perception of semantic concepts}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {489-497}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Ruge/97, AUTHOR = {Ruge, Gerda}, TITLE = {Automatic detection of thesaurus relations for information retrieval applications}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {499-506}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, } @incollection{Pfefferer-Schutt/97, AUTHOR = {Pfefferer, Leo and Sch{\"u}tt, Dieter}, TITLE = {InfoSphere$^{TM}$-V: A new approach to 3D-visualization of information}, BOOKTITLE = {Foundations of Computer Science: Potential --- Theory --- Cognition}, SERIES = {LNCS}, VOLUME = {1337}, PAGES = {507-514}, YEAR = {1997}, EDITOR = {Freksa, Christian and Jantzen, Matthias and Valk, R{\"u}diger}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo}, }