Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSebastian Rudolph
"Johann" Sebastian Rudolph
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c148]Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac:
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence. AAMAS 2024: 983-991- [c147]Luisa Herrmann, Vincent Peth, Sebastian Rudolph:
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. CSL 2024: 33:1-33:19 - [e30]Andreas Hotho
, Sebastian Rudolph:
KI 2024: Advances in Artificial Intelligence - 47th German Conference on AI, Würzburg, Germany, September 25-27, 2024, Proceedings. Lecture Notes in Computer Science 14992, Springer 2024, ISBN 978-3-031-70892-3 [contents] - [i27]Piotr Ostropolski-Nalewaja, Sebastian Rudolph:
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules. CoRR abs/2407.14384 (2024) - 2023
- [j23]Bartosz Bednarczyk, Sebastian Rudolph:
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC. J. Artif. Intell. Res. 78 (2023) - [j22]Shima Asaadi, Eugenie Giesbrecht, Sebastian Rudolph:
Compositional matrix-space models of language: Definitions, properties, and learning methods. Nat. Lang. Eng. 29(1): 32-80 (2023) - [c146]Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph:
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying. ICDT 2023: 18:1-18:18 - [c145]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. IJCAI 2023: 3258-3267 - [c144]Tim S. Lyon, Sebastian Rudolph:
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. JELIA 2023: 369-384 - [c143]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. KR 2023: 333-343 - [c142]Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph:
Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying. PODS 2023: 291-302 - [c141]Johanna Rockstroh, Giada D'Ippolito, Nicolas Lazzari, Anouk Michelle Oudshoorn, Disha Purohit, Ensiyeh Raoufi, Sebastian Rudolph:
A is the B of C: (Semi)-Automatic Creation of Vossian Antonomasias. Wikidata@ISWC 2023 - [e29]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 11th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Macao, S.A.R. China; August 20, 2023. CEUR Workshop Proceedings 3489, CEUR-WS.org 2023 [contents] - [i26]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. CoRR abs/2302.13187 (2023) - [i25]Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph:
Decidability of Querying First-Order Theories via Countermodels of Finite Width. CoRR abs/2304.06348 (2023) - [i24]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. CoRR abs/2304.14323 (2023) - [i23]Luisa Herrmann, Sebastian Rudolph:
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. CoRR abs/2305.01962 (2023) - [i22]Tim S. Lyon, Sebastian Rudolph:
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. CoRR abs/2307.08481 (2023) - 2022
- [c140]Bartosz Bednarczyk, Sebastian Rudolph:
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard. AAAI 2022: 5495-5502 - [c139]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract). Description Logics 2022 - [c138]Faiq Miftakhul Falakh, Sebastian Rudolph:
AGM Revision in Description Logics Under Fixed-Domain Semantics. Description Logics 2022 - [c137]Sebastian Rudolph:
Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract). Description Logics 2022 - [c136]Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo:
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). IJCAI 2022: 5269-5273 - [c135]Jonas Karge, Sebastian Rudolph:
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion. KR 2022 - [c134]Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph:
A Journey to the Frontiers of Query Rewritability. PODS 2022: 359-367 - [c133]Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald:
Semantic Characterizations of AGM Revision for Tarskian Logics. RuleML+RR 2022: 95-110 - [c132]Jarno Vrolijk, Ioannis Reklos, Mahsa Vafaie, Arcangelo Massari, Maryam Mohammadi, Sebastian Rudolph:
Toward a Comparison Framework for Interactive Ontology Enrichment Methodologies. VOILA@ISWC 2022: 41-50 - [c131]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logic. ISWC 2022: 125-141 - [e28]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 10th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022. CEUR Workshop Proceedings 3233, CEUR-WS.org 2022 [contents] - [i21]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic. CoRR abs/2206.06793 (2022) - [i20]Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph:
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying. CoRR abs/2209.02464 (2022) - 2021
- [j21]Xiaoyu Yin, Dagmar Gromann, Sebastian Rudolph:
Neural machine translating from natural language to SPARQL. Future Gener. Comput. Syst. 117: 510-519 (2021) - [j20]Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß:
On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics. J. Artif. Intell. Res. 70: 1-64 (2021) - [c130]Bartosz Bednarczyk, Sebastian Rudolph:
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract). Description Logics 2021 - [c129]Emanuel Kieronski, Sebastian Rudolph:
Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract). Description Logics 2021 - [c128]Lucía Gómez Álvarez, Sebastian Rudolph:
Standpoint Logic: Multi-Perspective Knowledge Representation. FOIS 2021: 3-17 - [c127]Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph:
Datalog-Expressibility for Monadic and Guarded Second-Order Logic. ICALP 2021: 120:1-120:17 - [c126]Jana Klimpke, Sebastian Rudolph:
Visualization of Statistical Information in Concept Lattice Diagrams. ICFCA 2021: 208-223 - [c125]Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald:
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report). FCR@KI 2021: 48-59 - [c124]Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo:
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. KR 2021: 141-150 - [c123]Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph:
On Logics and Homomorphism Closure. LICS 2021: 1-13 - [c122]Emanuel Kieronski, Sebastian Rudolph:
Finite Model Theory of the Triguarded Fragment and Related Logics. LICS 2021: 1-13 - [c121]Aaron Eberhart, David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph:
Seed Patterns for Modeling Trees. WOP (Book) 2021: 48-67 - [e27]Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph:
Graph Structures for Knowledge Representation and Reasoning - 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12640, Springer 2021, ISBN 978-3-030-72307-1 [contents] - [e26]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 9th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), Montréal, Québec, Canada, August 21, 2021. CEUR Workshop Proceedings 2972, CEUR-WS.org 2021 [contents] - [i19]Emanuel Kieronski, Sebastian Rudolph:
Finite Model Theory of the Triguarded Fragment and Related Logics. CoRR abs/2101.08377 (2021) - [i18]Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph:
On Logics and Homomorphism Closure. CoRR abs/2104.11955 (2021) - [i17]Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald:
A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics. CoRR abs/2104.14512 (2021) - [i16]Bartosz Bednarczyk, Sebastian Rudolph:
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard. CoRR abs/2106.15150 (2021) - [i15]Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo:
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. CoRR abs/2107.07811 (2021) - [i14]Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald:
Semantic Characterizations of General Belief Base Revision. CoRR abs/2112.13557 (2021) - 2020
- [j19]Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph:
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. Künstliche Intell. 34(3): 389-394 (2020) - [j18]Fariz Darari, Werner Nutt, Simon Razniewski, Sebastian Rudolph:
Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements. Semantic Web 11(3): 441-482 (2020) - [j17]Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph, Malintha Adikari:
Semantic Node-RED for rapid development of interoperable industrial IoT applications. Semantic Web 11(6): 949-975 (2020) - [c120]Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph:
Neva - Extension Visualization for Argumentation Frameworks. COMMA 2020: 477-478 - [c119]Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph:
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. ECAI 2020: 616-623 - [e25]Sebastian Rudolph, Goreti Marreiros:
Proceedings of the 9th European Starting AI Researchers' Symposium 2020 co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago Compostela, Spain, August, 2020. CEUR Workshop Proceedings 2655, CEUR-WS.org 2020 [contents] - [e24]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 8th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2020) co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, Spain, August 29, 2020. CEUR Workshop Proceedings 2729, CEUR-WS.org 2020 [contents] - [e23]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 7th International Workshop "What can FCA do for Artificial Intelligence"? co-located with International Joint Conference on Artificial Intelligence, FCA4AI@IJCAI 2019, Macao, China, August 10, 2019. CEUR Workshop Proceedings 2529, CEUR-WS.org 2020 [contents] - [i13]Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph:
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. CoRR abs/2002.06072 (2020) - [i12]Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph:
Datalog-Expressibility for Monadic and Guarded Second-Order Logic. CoRR abs/2010.05677 (2020) - [i11]Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph:
A Journey to the Frontiers of Query Rewritability. CoRR abs/2012.11269 (2020) - [i10]Nacira Abbas, Kholoud Alghamdi, Mortaza Alinam, Francesca Alloatti, Glenda C. M. Amaral, Claudia d'Amato, Luigi Asprino, Martin Beno, Felix Bensmann, Russa Biswas, Ling Cai, Riley Capshaw, Valentina Anita Carriero, Irene Celino, Amine Dadoun, Stefano De Giorgis, Harm Delva, John Domingue, Michel Dumontier, Vincent Emonet, Marieke van Erp, Paola Espinoza-Arias, Omaima Fallatah, Sebastián Ferrada, Marc Gallofré Ocaña, Michalis Georgiou, Genet Asefa Gesese, Frances Gillis-Webber, Francesca Giovannetti, María Granados Buey, Ismail Harrando, Ivan Heibi, Vitor A. C. Horta, Laurine Huber, Federico Igne, Mohamad Yaser Jaradeh, Neha Keshan, Aneta Koleva, Bilal Koteich, Kabul Kurniawan, Mengya Liu, Chuangtao Ma, Lientje Maas, Martin Mansfield, Fabio Mariani, Eleonora Marzi, Sepideh Mesbah, Maheshkumar Mistry, Alba Catalina Morales Tirado, Anna Nguyen, Viet Bach Nguyen, Allard Oelen, Valentina Pasqual, Heiko Paulheim, Axel Polleres, Margherita Porena, Jan Portisch, Valentina Presutti, Kader Pustu-Iren, Ariam Rivas Mendez, Soheil Roshankish, Sebastian Rudolph, Harald Sack, Ahmad Sakor, Jaime Salas, Thomas Schleider, Meilin Shi, Gianmarco Spinaci, Chang Sun, Tabea Tietz, Molka Tounsi Dhouib, Alessandro Umbrico, Wouter van den Berg, Weiqin Xu:
Knowledge Graphs Evolution and Preservation - A Technical Report from ISWS 2019. CoRR abs/2012.11936 (2020)
2010 – 2019
- 2019
- [c118]Ana Ozaki, Markus Krötzsch, Sebastian Rudolph:
Temporally Attributed Description Logics. Description Logic, Theory Combination, and All That 2019: 441-474 - [c117]"Johann" Sebastian Rudolph:
Presburger Concept Cardinality Constraints in Very Expressive Description Logics - Allegro sexagenarioso ma non ritardando. Description Logic, Theory Combination, and All That 2019: 542-561 - [c116]Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph:
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. Description Logics 2019 - [c115]Bartosz Bednarczyk, Sebastian Rudolph:
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting. Description Logics 2019 - [c114]Markus Krötzsch, Maximilian Marx, Sebastian Rudolph:
The Power of the Terminating Chase (Invited Talk). ICDT 2019: 3:1-3:17 - [c113]Bartosz Bednarczyk, Sebastian Rudolph:
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting. IJCAI 2019: 1530-1536 - [c112]Sebastian Rudolph, Lukas Schweizer, Zhihao Yao:
SPARQL Queries over Ontologies Under the Fixed-Domain Semantics. PRICAI (1) 2019: 486-499 - [c111]Bernhard Ganter, Sebastian Rudolph, Gerd Stumme:
Explaining Data with Formal Concept Analysis. RW 2019: 153-195 - [i9]Tayeb Abderrahmani Ghor, Esha Agrawal, Mehwish Alam, Omar Alqawasmeh, Claudia d'Amato, Amina Annane, Amr Azzam, Andrew Berezovskyi, Russa Biswas, Mathias Bonduel, Quentin Brabant, Cristina-Iulia Bucur, Elena Camossi, Valentina Anita Carriero, Shruthi Chari, David Chaves-Fraga, Fiorela Ciroku, Michael Cochez, Hubert Curien, Vincenzo Cutrona, Rahma Dandan, Danilo Dessì, Valerio Di Carlo, Ahmed El Amine Djebri, Marieke van Erp, Faiq Miftakhul Falakh, Alba Fernndez Izquierdo, Giuseppe Futia, Aldo Gangemi, Simone Gasperoni, Arnaud Grall, Lars Heling, Pierre Henri, Noura Herradi, Subhi Issa, Samaneh Jozashoori, Nyoman Juniarta, Lucie-Aimée Kaffee, Ilkcan Keles, Prashant Khare, Viktor Kovtun, Valentina Leone, Siying Li, Sven Lieber, Pasquale Lisena, Tatiana Makhalova, Ludovica Marinucci, Thomas Minier, Benjamin Moreau, Alberto Moya Loustaunau, Durgesh Nandini, Sylwia Ozdowska, Amanda Pacini de Moura, Swati Padhee, Guillermo Palma, Pedro Del Pozo Jimnez, Valentina Presutti, Roberto Reda, Ettore Rizza, Henry Rosales-Méndez, Sebastian Rudolph, Harald Sack, Luca Sciullo, Humasak Simanjuntak, Carlo Stomeo, Thiviyan Thanapalasingam, Tabea Tietz, Dalia Varanka, Maria-Esther Vidal, Michael Wolowyk, Maximilian Zocholl:
Linked Open Data Validity - A Technical Report from ISWS 2018. CoRR abs/1903.12554 (2019) - [i8]Xiaoyu Yin, Dagmar Gromann, Sebastian Rudolph:
Neural Machine Translating from Natural Language to SPARQL. CoRR abs/1906.09302 (2019) - 2018
- [j16]Karell Bertet, Sebastian Rudolph:
Preface: Concept Lattices and Applications: Recent Advances and New Opportunities. Discret. Appl. Math. 249: 1 (2018) - [c110]Ana Ozaki, Markus Krötzsch, Sebastian Rudolph:
Happy Ever After: Temporally Attributed Description Logics. Description Logics 2018 - [c109]Sebastian Rudolph, Mantas Simkus:
Satisfiability in the Triguarded Fragment of First-Order Logic. Description Logics 2018 - [c108]Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph:
IoT Semantic Interoperability with Device Description Shapes. ESWC (Satellite Events) 2018: 409-422 - [c107]David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph:
Preserving Constraints with the Stable Chase. ICDT 2018: 12:1-12:19 - [c106]Sebastian Rudolph, Mantas Simkus:
The Triguarded Fragment of First-Order Logic. LPAR 2018: 604-619 - [c105]Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa:
Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics. RuleML+RR 2018: 185-200 - [c104]Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer:
Faceted Answer-Set Navigation. RuleML+RR 2018: 211-225 - [e22]Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph, Maria Maleshkova, Heiko Paulheim, Jeff Z. Pan, Mehwish Alam:
The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11155, Springer 2018, ISBN 978-3-319-98191-8 [contents] - [e21]Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton:
Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10775, Springer 2018, ISBN 978-3-319-78101-3 [contents] - [e20]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 6th International Workshop "What can FCA do for Artificial Intelligence"? co-located with International Joint Conference on Artificial Intelligence and European Conference on Artificial Intelligence (IJCAI/ECAI 2018), Stockholm, Sweden, July 13, 2018. CEUR Workshop Proceedings 2149, CEUR-WS.org 2018 [contents] - 2017
- [j15]Sebastian Rudolph:
Succinctness and tractability of closure operator representations. Theor. Comput. Sci. 658: 327-345 (2017) - [c103]Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract. AMW 2017 - [c102]Sebastian Rudolph, Lukas Schweizer:
Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics. Description Logics 2017 - [c101]Sebastian Rudolph, Lukas Schweizer:
Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics. EPIA 2017: 695-708 - [c100]Aparna Saisree Thuluva, Kirill Dorofeev, Monika Wenger, Darko Anicic, Sebastian Rudolph:
Semantic-Based Approach for Low-Effort Engineering of Automation Systems. OTM Conferences (2) 2017: 497-512 - [c99]Shima Asaadi, Sebastian Rudolph:
Gradual Learning of Matrix-Space Models of Language for Sentiment Analysis. Rep4NLP@ACL 2017: 178-185 - [c98]Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph:
Semantic Web of Things for Industry 4.0. RuleML+RR (Supplement) 2017 - [c97]David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph:
On the Ontological Modeling of Trees. WOP@ISWC 2017 - [c96]Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa:
Wolpertinger: A Fixed-Domain Reasoner. ISWC (Posters, Demos & Industry Tracks) 2017 - [c95]Aparna Saisree Thuluva, Kirill Dorofeev, Monika Wenger, Darko Anicic, Sebastian Rudolph:
A Demo: Semantic-Based Re-Engineering of Automation Systems. ISWC (Posters, Demos & Industry Tracks) 2017 - [e19]Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard:
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. CEUR Workshop Proceedings 2013, CEUR-WS.org 2017 [contents] - [i7]David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph:
On the Ontological Modeling of Trees. CoRR abs/1710.05096 (2017) - 2016
- [j14]José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph:
Concept lattices with negative information: A characterization theorem. Inf. Sci. 369: 51-62 (2016) - [j13]Markus Krötzsch, Sebastian Rudolph:
Is Your Database System a Semantic Web Reasoner? Künstliche Intell. 30(2): 169-176 (2016) - [c94]Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:
Fixed-Domain Reasoning for Description Logics. Description Logics 2016 - [c93]Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph:
Efficient Axiom Pinpointing in EL using SAT Technology. Description Logics 2016 - [c92]Sebastian Rudolph:
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics. Description Logics 2016 - [c91]Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:
Fixed-Domain Reasoning for Description Logics. ECAI 2016: 819-827 - [c90]Alina Petrova, Sebastian Rudolph:
Web-Mining Defeasible Knowledge from Concessional Statements. ICCS 2016: 191-203 - [c89]Sebastian Rudolph, Christian Sacarea, Diana Troanca:
Conceptual Navigation for Polyadic Formal Concept Analysis. AI4KM@IJCAI 2016: 50-70 - [c88]Sebastian Rudolph, Michaël Thomazo:
Expressivity of Datalog Variants - Completing the Picture. IJCAI 2016: 1230-1236 - [c87]Sebastian Rudolph:
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics. KR 2016: 247-257 - [c86]Stathis Delivorias, Sebastian Rudolph:
Revisiting Grounded Circumscription in Description Logics. RR 2016: 46-60 - [e18]Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph:
Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence, FCA4AI@ECAI 2016, The Hague, the Netherlands, August 30, 2016. CEUR Workshop Proceedings 1703, CEUR-WS.org 2016 [contents] - 2015
- [j12]Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt:
A closer look at the semantic relationship between Datalog and description logics. Semantic Web 6(1): 63-79 (2015) - [c85]Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo:
What Is a Reasonable Argumentation Semantics? Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 309-324 - [c84]Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph:
Schema-Agnostic Query Rewriting for OWL QL. Description Logics 2015 - [c83]Sebastian Rudolph, Christian Sacarea, Diana Troanca:
Towards a Navigation Paradigm for Triadic Concepts. ICFCA 2015: 252-267 - [c82]Sebastian Rudolph, Christian Sacarea, Diana Troanca:
Reduction in Triadic Data Sets. FCA4AI@IJCAI 2015: 55-62 - [c81]Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph:
Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention). IJCAI 2015: 2826-2832 - [c80]Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass:
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks. IJCAI 2015: 2985-2991 - [c79]Sebastian Rudolph, Christian Sacarea, Diana Troanca:
Membership Constraints in Formal Concept Analysis. IJCAI 2015: 3186-3192 - [c78]Sebastian Rudolph, Michaël Thomazo:
Characterization of the Expressivity of Existential Rule Queries. IJCAI 2015: 3193-3199 - [e17]Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton:
Graph Structures for Knowledge Representation and Reasoning - 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9501, Springer 2015, ISBN 978-3-319-28701-0 [contents] - [e16]