Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Franz
Last name:	Baader
DBLP:	b/FBaader
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 197  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Franz Baader, Stefan Borgwardt, Marcel Lippmann. Temporalizing Ontology-Based Data Access.	Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013	(0)	2013
	Conference paper Franz Baader, Alexander Okhotin. Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints.	Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings 2012	(0)	2012
	Conference paper Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska. UEL: Unification Solver for EL.	Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 2012	(0)	2012
	Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes.	Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 2012	(0)	2012
	Conference paper Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski. Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics.	Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 2012	(0)	2012
	Journal article Franz Baader, Martin Knechtel, Rafael Peñaloza. Context-dependent views to axioms and consequences of Semantic Web ontologies.	J. Web Sem. 2012, Volume 12	(0)	2012
	Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies.	Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings 2012	(0)	2012
	Conference paper Franz Baader, Julian Mendez, Barbara Morawska. UEL: Unification Solver for the Description Logic $\mathcal{EL}$ - System Description.	Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings 2012	(0)	2012
	Conference paper Franz Baader, Wolfgang Thomas. Editorial.	Informatik Spektrum 2012, Volume 35	(0)	2012
	Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. Extending Unification in EL Towards General TBoxes.	Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 2012	(0)	2012
	Conference paper Franz Baader, Silvio Ghilardi, Carsten Lutz. LTL over description logic axioms.	ACM Trans. Comput. Log. 2012, Volume 13	(0)	2012
	Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. A Goal-Oriented Algorithm for Unification in $\mathcal{ELH}_{R+}$ w.r.t. Cycle-Restricted Ontologies.	AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings 2012	(0)	2012
	Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. Computing Minimal EL-unifiers is Hard.	Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012 2012	(0)	2012
	Journal article Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter. Fusions of Description Logics and Abstract Description Systems	CoRR 2011, Volume 0	(0)	2011
	Conference paper Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska. Unification in the Description Logic EL without the Top Concept.	Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 2011	(0)	2011
	Conference paper Franz Baader, Rafael Peñaloza. GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable.	Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 2011	(0)	2011
	Conference paper Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska. Unification in the Description Logic	Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings 2011	(0)	2011
	Conference paper Franz Baader, Rafael Peñaloza. Are fuzzy description logics with general concept inclusion axioms decidable?	FUZZ-IEEE 2011, IEEE International Conference on Fuzzy Systems, Taipei, Taiwan, 27-30 June, 2011, Proceedings 2011	(0)	2011
	Conference paper Franz Baader, Rafael Peñaloza. On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm.	Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings 2011	(0)	2011
	Conference paper Franz Baader. What's new in Description Logics.	Informatik Spektrum 2011, Volume 34	(0)	2011
	Conference paper Franz Baader, Silvio Ghilardi. Unification in modal and description logics.	Logic Journal of the IGPL 2011, Volume 19	(0)	2011
	Conference paper Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter. Query and Predicate Emptiness in Description Logics.	Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 2010	(0)	2010
	Journal article Franz Baader, Barbara Morawska. Unification in the Description Logic EL	CoRR 2010, Volume 0	(0)	2010
	Conference paper Franz Baader, Hongkai Liu, Anees ul Mehdi. Verifying Properties of Infinite Sequences of Description Logic Actions.	ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings 2010	(0)	2010
	Journal article Franz Baader, Rafael Peñaloza. Automata-Based Axiom Pinpointing.	J. Autom. Reasoning 2010, Volume 45	(0)	2010

Show item 1 to 25 of 197  

Your query returned 197 matches in the database.