search result

Cover von Succinctness and tractability of closure operator representations

Succinctness and tractability of closure operator representations

article
Year: 2017
Media group: ARTICLE
Cover von Relational Exploration
Combining Description Logics and Formal Concept Analysis for Knowledge Specification
Author: Rudolph, Sebastian Search for this author
Year: 2006
Publisher: Karlsruhe, KIT Scientific Publishing
Media group: OPENACCESS
Cover von KI 2024: Advances in Artificial Intelligence
47th German Conference on AI, Würzburg, Germany, September 25-27, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 14992
Media group: MONOGRAPHIE
Cover von Datalog-Expressibility for Monadic and Guarded Second-Order Logic

Datalog-Expressibility for Monadic and Guarded Second-Order Logic

Year: 2021
Media group: LIPIcs
Cover von Artificial General Intelligence
6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 7999
Media group: MONOGRAPHIE
Cover von Web Reasoning and Rule Systems
5th International Conference, Galway, Ireland, August 29 - 30, 2011, Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6902
Media group: MONOGRAPHIE
Cover von Formal Concept Analysis
7th International Conference, Darmstadt, Germany, May 21 - 24, 2009 Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 5548
Media group: MONOGRAPHIE
Cover von Decidable (Ac)counting with Parikh and Muller

Decidable (Ac)counting with Parikh and Muller

Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
Year: 2024
Media group: LIPIcs
Cover von The Power of the Terminating Chase (Invited Talk)

The Power of the Terminating Chase (Invited Talk)

Year: 2019
Media group: LIPIcs
Cover von KI 2015: Advances in Artificial Intelligence
38th Annual German Conference on AI, Dresden, Germany, September 21 - 25, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 9324
Media group: MONOGRAPHIE
OPEN V 11.1.0.0