MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Tim Geisler – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

Problem Solving with Model-Generation Approaches based on PUHR Tableaux
by Norbert Eisinger, Norbert Eisinger, Tim Geisler, Tim Geisler — 1998 — In Proc. Workshop on Problemsolving Methodologies with Automated Deduction, Workshop at the Fifteenth Int. Conf. on Automated Reasoning
… Norbert Eisinger, Tim Geisler In Proc. Problem-solving Methodologies with Automated Deduction, workshop…
Cited by 3 (0 self) – Add To MetaCart

An Application-independent Support system for Assumption-based Temporal Reasoning
by Clemens Beckstein, Tim Geisler — 1994 — In Proc. of the 1994 Workshop on Temporal Representation and Reasoning (TIME-94), Florida AI Workshops and Symposiums (FLAIRS-94
… of an \optimal" plan can render it impossible Tim Geisler Univ. Munchen, Institut fur Informatik Wagmullerstr. 23…
Cited by 2 (2 self) – Add To MetaCart

The Theorem Prover
by Satchmo Strategies, Slim Abdennadher, Norbert Eisinger, Tim Geisler — 1995 — In IV`emes Journ'ees Francophones de Programmation en Logique
…��cois Bry, Norbert Eisinger, Tim Geisler Institut fur Informatik Universitat Munchen Germany Pr'esentation d…
Add To MetaCart

Efficient Model Generation through Compilation
by Heribert Schütz, Heribert Schutz, Tim Geisler, Tim Geisler — 1997 — Proceedings of the 13th International Conference on Automated Deduction, number 1104 in Lecture Notes in Artificial Intelligence
… Schutz and Tim Geisler Universitat Munchen, Institut fur Informatik, Oettingenstr. 67, D-80538 Munchen…
Cited by 14 (4 self) – Add To MetaCart

Contributing participants: Munich Contributing workpackages:
by Tim Furche, Liviu Badea, Tim Geisler, François Bry, Tim Furche, Benedikt Linse — 2008
…506779/Munich/I4-D17/D/PU/a1 Responsible editors: Tim Furche Reviewers: Liviu Badea and Tim Geisler…
Add To MetaCart

Contributing participants:
by Andrea Kulas, Silvie Spreeuwenberg, Andrea Kulas, Sara Carro Martínez, Tim Geisler — 2004
… , Sara Carro Martínez 2 and Tim Geisler 3 1 webXcerpt Software GmbH, Munich, Germany Email: ak…
Add To MetaCart

Satchmo: Minimal Model Generation and Compilation (System Description)
by Thomas Brüggemann, François Bry, Thomas Bruggemann, Norbert Eisinger, Norbert Eisinger, Tim Geisler, Tim Geisler, Sven Panne, Sven Panne, Heribert Schutz, Heribert Schutz, Sunna Torge, Sunna Torge, Adnan Yahya, Adnan Yahya — 1996
…) Thomas Bruggemann Fran��cois Bry Norbert Eisinger Tim Geisler Sven Panne Heribert Schutz Sunna Torge…
Cited by 1 (0 self) – Add To MetaCart

Personalized Portal for REWERSE
by Reviewers Ingo Brunkhorst, Uta Schwertel, Nicola Henze, Robert Baumgartner, Tim Geisler, Georg Gottlob, Wolfgang Nejdl, Heribert Schütz
… Programme. c○ REWERSE 2005. ii Personalized Portal for REWERSE Nicola Henze 1 , Robert Baumgartner 2 , Tim…
Add To MetaCart

An Abstract Machine for Model Generation with PHUR Tableaux (Extended Abstract)
by Alexander von Drach, Ur Informatik, Er Von Drach, Er Von Drach, Tim Geisler, Tim Geisler, Sven Panne, Sven Panne, David Sacher, David Sacher — 1998
… Abstract) Alexander von Drach, Tim Geisler, Sven Panne, David Sacher In: Proc 13th Workshop Logische…
Add To MetaCart

The Theorem Prover Satchmo: Strategies, Heuristics, and Applications (System Description)
by Lehr- Und Forschungseinheit Fur, François Bry, Programmier- Und Modellierungssprachen, Slim Abdennadher, Norbert Eisinger, Norbert Eisinger, Tim Geisler, Tim Geisler — 1995
… (System Description) Slim Abdennadher Fran��cois Bry Norbert Eisinger Tim Geisler Pr'esentation d…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB