Rudolph, Sebastian

1. Neural Machine Translating from Natural Language to SPARQL
   2019/06/21 by Xiaoyu Yin, Yin, Xiaoyu, Dagmar Gromann +3 · 3 citations
   Biochemistry, Genetics and Molecular Biology · Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Genomics and Phylogenetic Studies #Natural Language Processing Techniques #Semantic Web and Ontologies #cs.CL
2. Finite Model Theory of the Triguarded Fragment and Related Logics
   2021/01/21 by Kieroński, Emanuel, Rudolph, Sebastian · 2 citations
   #03C13 #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
3. How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
   2022/06/14 by Lucía Gómez Álvarez, Sebastian Rudolph, Álvarez, Lucía Gómez +3 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
4. Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
   2020/02/14 by Franz Baader, Bartosz Bednarczyk, Baader, Franz +3 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.AI #cs.LO
5. Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
   2023/05/03 by Herrmann, Luisa, Peth, Vincent, Rudolph, Sebastian · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
6. Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
   2023/04/27 by Álvarez, Lucía Gómez, Rudolph, Sebastian, Strass, Hannes · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
7. Towards Propositional KLM-Style Defeasible Standpoint Logics
   2024/10/05 by Nicholas Leisegang, Leisegang, Nicholas, Thomas Meyer +3 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems