| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ulrich Furbach |
Künstliche Intelligenz.  |
Informatik Spektrum  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jürgen Bürckert, Ulrich Furbach |
Vom Schmuddelkind zum Fachbereich. |
KI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer |
A Natural Language Question Answering System as a Participant in Human Q&A Portals. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach |
First-Order Tableaux in Applications (Extended Abstract). |
TABLEAUX |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach, Ingo Glöckner, Björn Pelzer |
An application of automated reasoning in natural language question answering. |
AI Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach, Björn Pelzer |
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer |
Logic-Based Question Answering. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ammar Mohammed, Ulrich Furbach |
Extending CTL to Specify Quantitative Temporal Requirements. |
MSVVEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ammar Mohammed, Ulrich Furbach |
From Reactive to Deliberative Multi-agent Planning. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ammar Mohammed, Ulrich Furbach |
Multi-Agent Systems: Modeling and Verification Using Hybrid Automata. |
PROMAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach, Heiko Günther, Claudia Obermaier |
A Knowledge Compilation Technique for ALC Tboxes. |
FLAIRS Conference |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach |
IJCAR Preface. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach |
Editorial. |
KI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer |
LogAnswer - A Deduction-Based Question Answering System (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ammar Mohammed, Ulrich Furbach |
Modeling Multi-agent Logistic Process System using Hybrid Automata. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Markus Maron, Kevin Read |
Location based Informationsystems. |
KI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg |
Model Checking Hybrid Multiagent Systems for the RoboCup. |
RoboCup |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach, Björn Pelzer |
Hyper Tableaux with Equality. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg |
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. |
PROMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach, Markus Maron, Kevin Read |
CAMPUS NEWS - an Information Network for Pervasive Universities. |
GI Jahrestagung |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Claudia Obermaier |
Knowledge Compilation for Description Logics. |
KESE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Natarajan Shankar (eds.) |
Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings |
IJCAR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Claudia Obermaier |
Applications of Automated Reasoning. |
KI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya |
Automated Reasoning, Knowledge Representation and Management. |
KI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach |
Living Books, Automated Deduction and Other Strange Things. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach (eds.) |
KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings |
KI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner |
Living Book - Deduction, Slicing, and Interaction. |
J. Autom. Reasoning |
2004 |
DBLP DOI BibTeX RDF |
knowledge management, e-learning, knowledge representation, theorem proving |
| 1 | Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann |
Model Based Deduction for Database Schema Reasoning. |
KI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann |
Optimizing the Evaluation of XPath Using Description Logics. |
INAP/WLP |
2004 |
DBLP DOI BibTeX RDF |
XML, Description Logics, XPath, automated reasoning, Schema, DTD |
| 1 | Ulrich Furbach |
AI--A multiple book review. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach |
Automated Deduction Techniques for the Management of Personalized Documents. |
Ann. Math. Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner |
'Living Book': -'Deduction', 'Slicing', 'Interaction'. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt |
Living Books. |
Wirtschaftsinformatik |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gerd Beuster, Ulrich Furbach, Margret Groß-Hardt, Bernd Thomas |
Automatic Classification for the Identification of Relationships in a Meta-Data Repository. |
Discovery Science |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach |
Wissenssysteme aus der Sicht der Inferenz. |
KI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach |
Jahresbericht 2000 des FB1 der GI. |
KI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Ulrich Furbach, Ilkka Niemelä |
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. |
Handbook of Automated Reasoning |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Oliver Obst, Frieder Stolzenburg |
Intelligente Agenten und KI. |
LOG IN |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach |
Jahresbericht 1999 des Sprechers des FB1 der GI. |
KI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner, Norbert Eisinger, Ulrich Furbach |
A Confluent Connection Calculus. |
Intellectics and Computational Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.) |
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings |
CL |
2000 |
DBLP BibTeX RDF |
|
| 1 | Thomas Christaller, Ulrich Furbach, Reinhard Keil-Slawik, Bernd Neumann, Franz Josef Radermacher |
Kommentare zum Diskussionsbeitrag ``Die militärische Seite der KI''. |
KI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner, Norbert Eisinger, Ulrich Furbach |
A Confluent Connection Calculus. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas |
Automated Deduction: a Technological Point of View. |
KI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (eds.) |
Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings |
JELIA |
1998 |
DBLP BibTeX RDF |
|
| 1 | Wenjin Lu, Ulrich Furbach |
Disjunctive Logic Program = Horn Program + Control Program. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg |
Computing Answers with Model Elimination. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl |
Semantically Guided Theorem Proving for Diagnosis Applications. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach |
Calculi for Disjunctive Logic Programming. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach |
Calculi for Disjunctive Logic Programming. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.) |
Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings |
LPNMR |
1997 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl |
Tableaux for Diagnosis Applications. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Ulrich Furbach |
Logisches Programmieren mit Negation und Disjunktion. |
KI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg |
Deduktion und Logisches Programmieren. |
KI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach |
Hyper Tableaux and Disjunctive Logic Programming. |
DDLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg |
On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä |
Hyper Tableaux. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe |
Ist die Wissensrepräsentation tot? |
KI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg |
Model Elimination, Logic Programming and Computing Answers. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach |
From Theorem Proving to Logic Programming. |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach |
Model Elimination Without Contrapositives and Its Application to PTTP. |
J. Autom. Reasoning |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach |
PROTEIN: A PROver with a Theory Extension INterface. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach |
Model Elimination Without Contrapositives. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach |
Theory Reasoning in First Order Calculi. |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach |
Consolution as a Framework for Comparing Calculi. |
J. Symb. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach |
Formal specification methods for reactive systems. |
Journal of Systems and Software |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach |
ILPS'91 - International Logic Programming Syposium. |
KI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Bibel, Ulrich Furbach |
Logik, KI und Intellektik. |
KI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach |
Computing Answers for Disjunctive Logic Programs. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach |
Consolution as a Framework for Comparing Calculi. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Walter Hower |
Workshop on ``Massively Parallel Inference Systems''. |
KI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach |
Logische und funktionale Programmierung - Grundlagen einer Kombination. |
|
1991 |
RDF |
|
| 1 | Ulrich Furbach |
Answers for disjunctive logic programs. |
GWAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Ulrich Hedtstück, Wolfgang Wernecke |
Bericht über das 6. Jahrestreffen der GI-Fachgruppe ``Deduktionssysteme''. |
KI |
1990 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber |
Horn Equational Theories and Paramodulation. |
J. Autom. Reasoning |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bockmayr, Klaus Estenfeld, Ulrich Furbach, Claus Jäkel |
Ein Konstanzer Prolog-Workshop. |
KI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Bertram Fronhöfer, Ulrich Furbach |
ALPES: A Programming Environment for Logic Programming. |
Wissensbasierte Systeme |
1989 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber |
Linear Paramodulation modulo Equality. |
GWAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach |
Oldy but Goody Paramodulation Revisited. |
GWAI |
1987 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Steffen Hölldobler |
Modelling the Combination of Functional and Logic Programming Languages. |
J. Symb. Comput. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach |
Wissensrepräsentation und Programmiersprachen. |
Wissensarten und ihre Darstellung |
1986 |
DBLP BibTeX RDF |
|
| 1 | Bertram Fronhöfer, Ulrich Furbach |
Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. |
GWAI |
1986 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler, Ulrich Furbach, Thomas Laußermair |
Extended Unification and its Implementation. |
GWAI |
1985 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Dirlich, Helmut von Benda, Christian Freksa, Ulrich Furbach, Albrecht Müller, Klaus Wimmer |
Computerunterstützte Planung von Ferienreisen ein fiktiven Beispiel. |
Kognitive Aspekte der Mensch-Computer-Interaktion |
1984 |
DBLP BibTeX RDF |
|
| 1 | Christian Freksa, Ulrich Furbach, Gerhard Dirlich |
Cognition and Representation - An Overview of Knowledge Reprensentation Issues in Cognitive Science. |
GWAI |
1984 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Gerhard Dirlich, Christian Freksa |
Towards a Theory of Knowledge Representation Systems. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber |
Strategies for the synthesis of algorithms. |
Fachtagung über Programmiersprachen |
1978 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")