Sebastian Rudolph
Orcid: 0000-0002-1609-2080
According to our database1,
Sebastian Rudolph
authored at least 183 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
CoRR, 2024
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules.
CoRR, 2024
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures.
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
2023
Compositional matrix-space models of language: Definitions, properties, and learning methods.
Nat. Lang. Eng., January, 2023
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC.
J. Artif. Intell. Res., 2023
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures.
CoRR, 2023
CoRR, 2023
Proceedings of the Wikidata Workshop 2023 co-located with 22nd International Semantic Web Conference (ISWC 2023), 2023
Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying.
Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying.
Proceedings of the 26th International Conference on Database Theory, 2023
2022
Proceedings of the Seventh International Workshop on the Visualization and Interaction for Ontologies and Linked Data co-located with the 21st International Semantic Web Conference (ISWC 2022), 2022
Proceedings of the Semantic Web - ISWC 2022, 2022
Proceedings of the Rules and Reasoning, 2022
Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics.
J. Artif. Intell. Res., 2021
Future Gener. Comput. Syst., 2021
A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics.
CoRR, 2021
Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report).
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021
Proceedings of the Formal Concept Analysis - 16th International Conference, 2021
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
Proceedings of the Formal Ontology in Information Systems, 2021
Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
2020
Semantic Node-RED for rapid development of interoperable industrial IoT applications.
Semantic Web, 2020
Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements.
Semantic Web, 2020
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT.
Künstliche Intell., 2020
CoRR, 2020
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the Computational Models of Argument, 2020
2019
Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 22nd International Conference on Database Theory, 2019
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints.
Proceedings of the 32nd International Workshop on Description Logics, 2019
Presburger Concept Cardinality Constraints in Very Expressive Description Logics - Allegro sexagenarioso ma non ritardando.
Proceedings of the Description Logic, Theory Combination, and All That, 2019
Proceedings of the Description Logic, Theory Combination, and All That, 2019
2018
Discret. Appl. Math., 2018
Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics.
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Proceedings of the 21st International Conference on Database Theory, 2018
Proceedings of the Semantic Web: ESWC 2018 Satellite Events, 2018
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
2017
Theor. Comput. Sci., 2017
Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017
Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017
Proceedings of the Doctoral Consortium, 2017
Proceedings of the 2nd Workshop on Representation Learning for NLP, 2017
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017
Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics.
Proceedings of the Progress in Artificial Intelligence, 2017
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017
2016
Inf. Sci., 2016
Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Artificial Intelligence for Knowledge Management, 2016
Proceedings of the Graph-Based Representation and Reasoning, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics.
Proceedings of the 29th International Workshop on Description Logics, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
2015
Semantic Web, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 4th International Workshop "What can FCA do for Artificial Intelligence?", 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention).
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Formal Concept Analysis - 13th International Conference, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015
2014
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases.
J. Artif. Intell. Res., 2014
Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses.
CoRR, 2014
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL.
Artif. Intell., 2014
Towards Combining Machine Learning with Attribute Exploration for Ontology Refinement.
Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014
Proceedings of the Semantic Web - ISWC 2014, 2014
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014
Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Formal Concept Analysis - 12th International Conference, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014
2013
IEEE Trans. Knowl. Data Eng., 2013
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013
2012
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
Log. Methods Comput. Sci., 2012
Appl. Artif. Intell., 2012
Proceedings of the Research and Development in Intelligent Systems XXIX, 2012
On the (Non-)Succinctness of Uniform Interpolation in General ${\mathcal{EL}}$ Terminologies.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the Formal Concept Analysis - 10th International Conference, 2012
More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation.
Proceedings of the Foundations of Information and Knowledge Systems, 2012
Proceedings of the Semantic Web: Research and Applications, 2012
Proceedings of the Knowledge Engineering and Knowledge Management, 2012
Proceedings of the ECAI 2012, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Proceedings of the 20th International Conference on World Wide Web, 2011
Proceedings of the Semantic Web - ISWC 2011, 2011
Proceedings of the Reasoning Web. Semantic Technologies for the Web of Data, 2011
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
Proceedings of the Practical Aspects of Declarative Languages, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the Conceptual Structures for Discovering Knowledge, 2011
Proceedings of the Semantic Web: Research and Applications, 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
J. Artif. Intell. Res., 2010
Computing intensional answers to questions - An inductive logic programming approach.
Data Knowl. Eng., 2010
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks.
Proceedings of the Conceptual Structures: From Information to Intelligence, 2010
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010
Chapman and Hall/CRC Press, ISBN: 9781420090505, 2010
2009
Proceedings of the Workshop on Ontology Patterns (WOP 2009) , 2009
Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data.
Proceedings of the 25th International Conference on Data Engineering, 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
2008
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008
Proceedings of the Natural Language and Information Systems, 2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
Proceedings of the Formal Concept Analysis, 6th International Conference, 2008
Proceedings of the Formal Concept Analysis, 6th International Conference, 2008
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008
Proceedings of the Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008, 2008
Proceedings of the AI Meets Business Rules and Process Management, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Proceedings of the Semantic Web, 2007
Proceedings of the Semantic Web, 2007
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007
Proceedings of the Foundations of Artificial Intelligence FAInt 2007, 2007
Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, 2007
Proceedings of the Formal Concept Analysis, 5th International Conference, 2007
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Relational exploration: combining description logics and formal concept analysis for knowledge specification.
PhD thesis, 2006
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006
2004
Proceedings of the Conceptual Structures at Work: 12th International Conference on Conceptual Structures, 2004
2001
Proceedings of the Conceptual Structures: Broadening the Base, 2001