Search dblp for Publications

export results for "toc:db/conf/birthday/bibel2000.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/BaumgartnerEF00,
  author       = {Peter Baumgartner and
                  Norbert Eisinger and
                  Ulrich Furbach},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {A Confluent Connection Calculus},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {3--26},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BaumgartnerEF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BrewkaE00,
  author       = {Gerhard Brewka and
                  Thomas Eiter},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Prioritizing Default Logic},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {27--45},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BrewkaE00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BruningS00,
  author       = {Stefan Br{\"{u}}ning and
                  Torsten Schaub},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {A Connection Calculus for Handling Incomplete Information},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {47--66},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BruningS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/CaferraP00,
  author       = {Ricardo Caferra and
                  Nicolas Peltier},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {The Connection Method, Constraints and Model Building},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {67--84},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/CaferraP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/DemolombeC00,
  author       = {Robert Demolombe and
                  Luis Fari{\~{n}}as del Cerro},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Towards a Logical Characterization of Sentences of the Kind "Sentence
                  \emph{p} is about Object \emph{c}"},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {85--99},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/DemolombeC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Eder00,
  author       = {Elmar Eder},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {The Cut Role in Theorem Proving},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {101--123},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Eder00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/EglyT00,
  author       = {Uwe Egly and
                  Hans Tompits},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Some Strengths of Nonmonotonic Reasoning},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {125--141},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/EglyT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Eusterbrock00,
  author       = {Jutta Eusterbrock},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Compsing Re-usable Synthesis Methods through Graph-based Viewpoints},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {143--158},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Eusterbrock00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Fronhofer00,
  author       = {Bertram Fronh{\"{o}}fer},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Proof Structures and Matrix Graphs},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {159--173},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Fronhofer00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Herrmann00,
  author       = {Christoph S. Herrmann},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {{AI} and Cognitive Science: Feedback Leads to a New Neural Concept},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {175--188},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Herrmann00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HolldoblerS00,
  author       = {Steffen H{\"{o}}lldobler and
                  Hans{-}Peter St{\"{o}}rr},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Complex Plans in the Fluent Calculus},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {207--223},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/HolldoblerS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Kreitz00,
  author       = {Christoph Kreitz},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Prologue},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {1--2},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Kreitz00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Kreitz00a,
  author       = {Christoph Kreitz},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Epilogue},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {387},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Kreitz00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/KreitzOSP00,
  author       = {Christoph Kreitz and
                  Jens Otten and
                  Stephan Schmitt and
                  Brigitte Pientka},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Matrix-based Constructive Theorem Proving},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {189--205},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/KreitzOSP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/LakemeyerL00,
  author       = {Gerhard Lakemeyer and
                  Hector J. Levesque},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Querying {AOL} Knowledge Bases},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {225--244},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/LakemeyerL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Letz00,
  author       = {Reinhold Letz},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Properties and Relations of Tableau and Connection Calculi},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {245--261},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Letz00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/MelisS00,
  author       = {Erica Melis and
                  J{\"{o}}rg H. Siekmann},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Concepts in Proof Planning},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {263--276},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/MelisS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Robinson00,
  author       = {John Alan Robinson},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Proof = Guarantee + Explanation},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {277--294},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Robinson00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Schumann00,
  author       = {Johann Schumann},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Automated Theorem Proving in High-Quality Software Design},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {295--312},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Schumann00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Strohmaier00,
  author       = {Antje Strohmaier},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {A Complete Neural Network Algorithm for Horn-Sat},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {313--325},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Strohmaier00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Thielscher00,
  author       = {Michael Thielscher},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Nondeterministic Actions in the Fluent Calculus: Disjunctive State
                  Update Axioms},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {327--345},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Thielscher00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Wagner00a,
  author       = {Christian Wagner},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {The Illusion of Knowledge},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {347--359},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Wagner00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Walther00,
  author       = {Christoph Walther},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Criteria for Termination},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {361--386},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Walther00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/Bibel2000,
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  publisher    = {Kluwer},
  year         = {2000},
  isbn         = {0-7923-6261-6},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Bibel2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.