| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Franz Baader, Alexander Okhotin |
Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints.  |
LPAR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Silvio Ghilardi |
Unification in modal and description logics. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader |
What's new in Description Logics. |
Informatik Spektrum |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter |
Fusions of Description Logics and Abstract Description Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska |
Unification in the Description Logic EL without the Top Concept. |
CADE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Rafael Peñaloza |
GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska |
Unification in the Description Logic EL without the Top Concept. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Rafael Peñaloza |
On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. |
FroCos |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Rafael Peñaloza |
Are fuzzy description logics with general concept inclusion axioms decidable? |
FUZZ-IEEE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Bernhard Beckert, Tobias Nipkow |
Deduktion: von der Theorie zur Anwendung. |
Informatik Spektrum |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Rafael Peñaloza |
Axiom Pinpointing in General Tableaux. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Barbara Morawska |
Unification in the Description Logic EL |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Rafael Peñaloza |
Automata-Based Axiom Pinpointing. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Anni-Yasmin Turhan |
Small is Again Beautiful in Description Logics. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Hongkai Liu, Anees ul Mehdi |
Verifying Properties of Infinite Sequences of Description Logic Actions. |
ECAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Barbara Morawska |
SAT Encoding of Unification in EL. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Marcel Lippmann, Hongkai Liu |
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query and Predicate Emptiness in Description Logics. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Andreas Bauer 0002, Alwen Tiu |
Matching Trace Patterns with Regular Policies. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Felix Distel |
Exploring Finite Models in the Description Logic . |
ICFCA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Baris Sertkaya |
Usability Issues in Description Logic Knowledge Base Completion. |
ICFCA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query Answering over DL ABoxes: How to Pick the Relevant Symbols. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Barbara Morawska |
Unification in the Description Logic EL. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Barbara Morawska |
Unification in the Description Logic EL. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Andreas Bauer 0002, Marcel Lippmann |
Runtime Verification Using a Temporal Description Logic. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher |
Putting ABox Updates into Action. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Andreas Bauer 0002, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter |
A Novel Architecture for Situation Awareness Systems. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Martin Knechtel, Rafael Peñaloza |
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. |
International Semantic Web Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader |
Description Logics. |
Reasoning Web |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Jan Hladik, Rafael Peñaloza |
Automata can show PSpace results for description logics. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Rafael Peñaloza |
Automata-Based Axiom Pinpointing. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Felix Distel |
A Finite Basis for the Set of EL-Implications Holding in a Finite Model. |
ICFCA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Silvio Ghilardi, Carsten Lutz |
LTL over Description Logic Axioms. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Boris Motik (eds.) |
Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008 |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Novak Novakovik, Boontawee Suntisrivaraporn |
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Silvio Ghilardi, Carsten Lutz |
LTL over Description Logic Axioms. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Boontawee Suntisrivaraporn |
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. |
KR-MED |
2008 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Silvio Ghilardi |
Connecting many-sorted theories. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan |
Computing the least common subsumer w.r.t. a background terminology. |
J. Applied Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader |
Preface to Special Issue on Reasoning in Description Logics. |
J. Autom. Reasoning |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler |
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Jan Hladik, Rafael Peñaloza |
SI! Automata Can Show PSPACE Results for Description Logics. |
LATA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn |
Pinpointing in the Description Logic EL. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Jan Hladik, Rafael Peñaloza |
Blocking Automata for PSPACE DLs. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis |
07401 Executive Summary -- Deduction and Decision Procedures. |
Deduction and Decision Procedures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis (eds.) |
Deduction and Decision Procedures, 30.09. - 05.10.2007 |
Deduction and Decision Procedures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis |
07401 Abstracts Collection -- Deduction and Decision Procedures. |
Deduction and Decision Procedures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader |
SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. |
MedInfo |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya |
Completing Description Logic Knowledge Bases using Formal Concept Analysis. |
OWLED |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader (eds.) |
Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings |
RTA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Rafael Peñaloza |
Axiom Pinpointing in General Tableaux. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman |
Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. |
AIME |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn |
Pinpointing in the Description Logic EL+. |
KI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Silvio Ghilardi, Cesare Tinelli |
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn |
CEL - A Polynomial-Time Reasoner for Life Science Ontologies. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn |
Efficient Reasoning in EL+. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov (eds.) |
Deduction and Applications, 23.-28. October 2005 |
Deduction and Applications |
2006 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris |
Reasoning Support for Ontology Design. |
OWLED |
2006 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader |
19th International Conference on Automated Deduction (CADE-19). |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Silvio Ghilardi |
Connecting Many-Sorted Theories. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Sebastian Brandt, Carsten Lutz |
Pushing the EL Envelope. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Andrei Voronkov (eds.) |
Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings |
LPAR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen |
A new n-ary existential quantifier in description logics. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter |
Integrating Description Logics and Action Formalisms: First Results. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov |
05431 Abstracts Collection - Deduction and Applications. |
Deduction and Applications |
2005 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov |
05431 Executive Summary - Deduction and Applications. |
Deduction and Applications |
2005 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Silvio Ghilardi |
Connecting Many-Sorted Structures and Theories Through Adjoint Functions. |
FroCos |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Ian Horrocks, Ulrike Sattler |
Description Logics as Ontology Languages for the Semantic Web. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen |
A New n-Ary Existential Quantifier in Description Logics. |
KI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter |
Integrating Description Logics and Action Formalisms: First Results. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Stephan Tobies |
The Inverse Method Implements the Automata Approach for Modal Satisfiability |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Ian Horrocks, Ulrike Sattler |
Description Logics. |
Handbook on Ontologies |
2004 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader |
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL. |
WG |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Silvio Ghilardi, Cesare Tinelli |
A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Baris Sertkaya |
Applying Formal Concept Analysis to Description Logics. |
ICFCA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan |
Computing the Least Common Subsumer w.r.t. a Background Terminology. |
Description Logics |
2004 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan |
Computing the Least Common Subsumer w.r.t. a Background Terminology. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader |
Engineering of Logics for the Content-Based Representation of Information. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter |
From Tableaux to Automata for Description Logics. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Ulrike Sattler |
Description logics with aggregates and concrete domains. |
Inf. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader (eds.) |
Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings |
CADE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader |
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader |
Terminological Cycles in a Description Logic with Existential Restrictions. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter |
From Tableaux to Automata for Description Logics. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider (eds.) |
The Description Logic Handbook: Theory, Implementation, and Applications |
Description Logic Handbook |
2003 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Werner Nutt |
Basic Description Logics. |
Description Logic Handbook |
2003 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader |
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. |
Description Logics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader |
Description Logic Terminology. |
Description Logic Handbook |
2003 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Ralf Küsters, Frank Wolter |
Extensions to Description Logics. |
Description Logic Handbook |
2003 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader |
The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. |
KI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader |
Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. |
ICCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Cesare Tinelli |
Deciding the Word Problem in the Union of Equational Theories. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter |
Fusions of Description Logics and Abstract Description Systems. |
J. Artif. Intell. Res. (JAIR) |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Ian Horrocks, Ulrike Sattler |
Description Logics for the Semantic Web. |
KI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Cesare Tinelli |
Combining Decision Procedures for Positive Theories Sharing Constructors. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader |
Engineering of Logics for the Content-Based Representation of Information. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Anni-Yasmin Turhan |
On the Problem of Computing Small Representations of Least Common Subsumers. |
KI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Paliath Narendran |
Unification of Concept Terms in Description Logics. |
J. Symb. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Ulrike Sattler |
An Overview of Tableau Algorithms for Description Logics. |
Studia Logica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Fensel, Franz Baader, Marie-Christine Rousset, Holger Wache |
Heterogeneous information resources need semantic access. |
Data Knowl. Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")