Publications of Group Computational Logic
From International Center for Computational Logic
Publications of Group Computational Logic
Journal Articles
Bartosz Bednarczyk
Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features.
Logical Methods in Computer Science, 20(2):7:1–7:31, May 2024
Details Download
Tim Lyon, Kees van Berkel
Proof Theory and Decision Procedures for Deontic STIT Logics
Journal of Artificial Intelligence Research, to appear
Details Download
Shima Asaadi, Eugenie Giesbrecht, Sebastian Rudolph
Compositional matrix-space models of language: Definitions, properties, and learning methods
Natural Language Engineering, 29(1):1-49, January 2023
Details Download
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
On Composing Finite Forests with Modal Logics
ACM Transactions on Computational Logic, 24(2), April 2023
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC
Journal of Artificial Intelligence Research, 78:385–458, November 2023
Details Download
Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero
On Monotonic Determinacy and Rewritability for Recursive Queries and Views
ACM Trans. Comput. Logic, 24(2), March 2023
Details
Jonas Karge
Second-order Confidence in Supervaluationism
Journal for General Philosophy of Science, July 2023
Details Download
Tim Lyon
Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
Journal of Applied Non-Classical Logics, 33(2):121-164, 2023
Details
Adam Richard-Bollans, Anthony Cohn, Lucía Gómez Álvarez
Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions
Cognitive Systems Research, 77:45-61, 2023
Details
Kees van Berkel, Tim Lyon, Matteo Pascucci
A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations
Journal of Philosophical Logic, 52:1475–1516, 2023
Details Download
Ringo Baumann, Hannes Straß
An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms
Artificial Intelligence, 305:103680, April 2022
Details Download
Bartosz Bednarczyk, Stéphane Demri
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
Logical Methods in Computer Science, Volume 18, Issue 3(5), July 2022
Details Download
Bartosz Bednarczyk
Statistical EL is ExpTime-complete
Information Processing Letters, 169C(106113), August 2021
Details Download
Bartosz Bednarczyk, Emanuel Kieroński, Piotr Witkowski
Completing the Picture: Complexity of Graded Modal Logics with Converse
Theory and Practice of Logic Programming, 21(4):493--520, April 2021
Details Download
Agata Ciabattoni, Tim Lyon, Revantha Ramanayake, Alwen Tiu
Display to Labeled Proofs and Back Again for Tense Logics
ACM Transactions on Computational Logic, 22(3):1-31, August 2021
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
Journal of Artificial Intelligence Research, 70:1-64, January 2021
Details Download
Luisa Herrmann
Linear weighted tree automata with storage and inverse linear tree homomorphisms
Information and Computation, 281, 2021
Details
Jonas Karge
A Modified Supervaluationist Framework for Decision-Making
Logos & Episteme, 7(2):175-191, June 2021
Details Download
Tim Lyon
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics
Journal of Logic and Computation, 31(1):213-265, 2021
Details Download
Tobias Philipp, Valentin Roland, Lukas Schweizer
Smoke Test Planning using Answer Set Programming
International Journal of Interactive Multimedia and Artificial Intelligence, 6(5):57--65, February 2021
Details Download
Xiaoyu Yin, Dagmar Gromann, Sebastian Rudolph
Neural Machine Translating from Natural Language to SPARQL
Future Generation Computer Systems, 117:510-519, 2021
Details Download
Bartosz Bednarczyk
One-Variable Logic Meets Presburger Arithmetic
Theoretical Computer Science, 802(141-146), January 2020
Details Download
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer Set Programming
Theory and Practice of Logic Programming, January 2020
Details
Fariz Darari, Sebastian Rudolph, Simon Razniewski, Werner Nutt
Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements
Semantic Web, 11(3):441-482, 2020
Details Download
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Investigating subclasses of abstract dialectical frameworks
Argument & Computation, 11(1-2):191-219, May 2020
Details
Thomas Feller, Christian Pech, Maja Pech
The classification of homomorphism homogeneous tournaments
European Journal of Combinatorics, 89:103142, October 2020
Details Download
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and results of the second international competition on computational models of argumentation
Artificial Intelligence, 279:103193, February 2020
Details Download
Norbert Manthey, Rafael Peñaloza Nyssen, Sebastian Rudolph
SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT
Künstliche Intelligenz, 34(3):389-394, 2020
Details Download
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, October 2020
Details Download
Luisa Herrmann, Heiko Vogler, Manfred Droste
Weighted automata with storage
Information and Computation, 269, 2019
Details
Johannes Osterholzer, Toni Dietze, Luisa Herrmann
Linear context-free tree languages and inverse homomorphisms
Information and Computation, 269, 2019
Details
Hannes Strass, Adam Zachary Wyner, Martin Diller
EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface
International Journal of Approximate Reasoning, 112:55-84, 2019
Details Download
Karell Bertet, Sebastian Rudolph
Preface: Concept Lattices and Applications: Recent Advances and New Opportunities
Discrete Applied Mathematics, 249:1, 2018
Details
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
An Extension-Based Approach to Belief Revision in Abstract Argumentation
International Journal of Approximate Reasoning, 93:395-423, 2018
Details
Zoltán Fülöp, Luisa Herrmann, Heiko Vogler
Weighted Regular Tree Grammars with Storage
Discrete Mathematics & Theoretical Computer Science, 20(1), 2018
Details
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Summary Report of the Second International Competition on Computational Models of Argumentation
AI Magazine, 39(4):77-79, December 2018
Details Download
Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner
Foundations of Implementations for Formal Argumentation
The IfCoLog Journal of Logics and their Applications; Special Issue Formal Argumentation, 4:2623-2705, September 2017
Details Download
Schnitzer Johannes, Gromann Dagmar
Estrategias de combinación de recursos lexicográficos en la adquisición de lenguas extranjeras (en contextos específicos)
Revista Nebrija, 11(23):124 - 145, November 2017
Details
Tim Lyon, Christian Ittner, Timo Eckhardt, Norbert Gratzl
The Basics of Display Calculi
Kriterion -- Journal of Philosophy, 31(2):55-100, 2017
Details Download
Sebastian Rudolph
Succinctness and tractability of closure operator representations
Theoretical Computer Science, 658, Part B:327 - 345, January 2017
Details Download
Wolfgang Dvořák, Sarah Alice Gaggl
Stage semantics and the SCC-recursive schema for argumentation semantics
Journal of Logic and Computation, 26(4):1149-1202, August 2016
Details Download
Dagmar Gromann, Johannes Schnitzer
Where do business students turn for help? An empirical study on dictionary use in foreign-language learning
Journal of Lexicography, 29(1):55–99, 2016
Details
Markus Krötzsch, Sebastian Rudolph
Is Your Database System a Semantic Web Reasoner?
KI, 30(2):169-176, 2016
Details Download
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph
Concept lattices with negative information: A characterization theorem
Information Sciences, Volume 369:51–62, November 2016
Details Download
Günther Charwat, Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Methods for Solving Reasoning Problems in Abstract Argumentation – A Survey
Artificial Intelligence Journal, 220(0):28-63, March 2015
Details Download
Martin Diller, Johannes Peter Wallner, Stefan Woltran
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
Argument & Computation, 6(2):149–177, 2015
Details
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation
Theory and Practice of Logic Programming (TPLP), 15(4-5):434-448, September 2015
Details Download
Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
A Closer Look at the Semantic Relationship between Datalog and Description Logics
Semantic Web Journal, 6(1):63-79, 2015
Details Download
Sanda Dragoș, Diana Haliță, Christian Săcărea, Diana Troancă
An FCA grounded study of user dynamics through log exploration
Studia Univ. Babes-Bolyai, Ser. Informatica, Vol.2(LIX):pp. 82-97, 2014
Details Download
Nadeschda Nikitina, Sebastian Rudolph
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ
Artificial Intelligence, 215:120-140, October 2014
Details Download
Giorgo Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases
Journal of Artificial Intelligence Research, 51:645-705, December 2014
Details Download
Sarah Alice Gaggl, Stefan Woltran
The cf2 argumentation semantics revisited
Journal of Logic and Computation, 23(5):925-949, 2013
Details Download
Dagmar Gromann, Nathan Rasmussen, Alan Melby
Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL
eDITion, 2:9-13, 2013
Details
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexities of Horn Description Logics
ACM Trans. Comput. Log., 14(1):2, 2013
Details Download
Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang
Report on the Sixth Conference on Artificial General Intelligence
AI Magazine, 34(4):9-125, 2013
Details
Marina M. Strelin, Andrea Cosacov, Martin Diller, Alicia N. Sérsic
Study of the Polymorphism of the Patagonian Calceolaria Polyrhiza (Calceolariaceae) using Decision Tree and Sequential Covering Rule Induction
Botanical Journal of the Linnean Society, 173(3):487-500, 2013
Details
Thanh Tran, Günter Ladwig, Sebastian Rudolph
Managing Structured and Semistructured RDF Data Using Structure Indexes
IEEE Transactions on Knowledge and Data Engineering, 25(9):2076-2089, 2013
Details Download
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Stream reasoning and complex event processing in ETALIS
Semantic Web, 3(4):397-407, 2012
Details Download
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach
Applied Artificial Intelligence, 26(1-2):6-57, February 2012
Details Download
Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Information and Computation, 215:8-31, 2012
Details Download
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Interactive ontology revision
Journal of Web Semantics, 12:118-130, April 2012
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog
Logical Methods in Computer Science, 8(1), 2012
Details Download
Philipp Cimiano, Sebastian Rudolph, Helena Hartfiel
Computing Intensional Answers to Questions - An Inductive Logic Programming Approach
Data & Knowledge Engineering, 69(3):261-278, March 2010
Details Download
Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
Answer-set programming encodings for argumentation frameworks
Argument & Computation, 1(2):147-177, 2010
Details Download
Sebastian Rudolph, Birte Glimm
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend!
Journal of Artificial Intelligence Research, 39:429-481, October 2010
Details Download
Denny Vrandečić, Markus Krötzsch, Sebastian Rudolph, Uta Lösch
Leveraging Non-Lexical Knowledge for the Linked Open Data Web
The Fifth RAFT'2010 The yearly bilingual publication on nonchalant research, 5(1):18-27, April 2010
Details Download
Jörg Meier, Sebastian Rudolph, Tom Schanz
Effective algorithm for parameter back calculation - Geotechnical applications
Bautechnik, 86(S1):86-97, August 2009
Details
Jörg Meier, Sebastian Rudolph, Tom Schanz
Effektiver Algorithmus zur Lösung von inversen Aufgabenstellungen - Anwendung in der Geotechnik
Bautechnik, 83(7):470--481, July 2006
Details
Proceedings Articles
Tim Lyon, Ian Shillito, Alwen Tiu
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
In Jörg Endrullis, Sylvain Schmitz, eds., Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025, volume 326 of LIPIcs, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Tim Lyon
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
In Jörg Endrullis, Sylvain Schmitz, eds., Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025, volume 326 of LIPIcs, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Tim Lyon
On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
Proceedings of the Eleventh International Conference on Fundamentals of Software Engineering (FSEN), LNCS, to appear. Springer
Details
Lea Bauer, Jonas Karge
Multi-Agent Opinion Pooling by Voting for Bins: Simulations and Characterization
22nd International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS2024), 2024
Details
Ringo Baumann, Hannes Straß
Consequence Operators for Characterization Logics – The Case of Abstract Argumentation
In Gopal Gupta and Carmine Dodaro and Maria Vanina Martínez, eds., Proceedings of the Seventeenth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), LNCS, to appear. Springer
Details Download
Bartosz Bednarczyk
Data Complexity in Expressive Description Logics With Path Expressions
Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024, 3241--3249, August 2024. ijcai.org
Details Download
Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
In Aurona Gerber, Jacques Maritz, Anban W. Pillay, eds., Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), volume 2326 of CCIS, 476–492, 2024. Springer
Details Download
Piotr Gorczyca, Hannes Straß
Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results
In Nina Gierasimczuk, Jesse Heyninck, eds., Proceedings of the 22nd International Workshop on Non-Monotonic Reasoning, to appear
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities
In Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 383–393, 2024. IJCAI Organization
Details Download
Luisa Herrmann, Johannes Osterholzer
Non-Global Parikh Tree Automata
In Florin Manea, Giovanni Pighizzini, eds., 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024), volume 407 of Electronic Proceedings in Theoretical Computer Science, 100--117, 2024. OPA
Details
Luisa Herrmann, Richard Mörbitz
Global One-Counter Tree Automata
In Szilárd Zsolt Fazekas, eds., 28th International Conference on Implementation and Application of Automata (CIAA 2024), volume 15015 of Lecture Notes in Computer Science, 166--179, September 2024. Springer
Details
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
In Aniello Murano, Alexandra Silva, eds., CSL '24: Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic 2024, volume 288 of LIPIcs, 33:1-33:19, 2024. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Jonas Karge
Taming Dilation in Imprecise Pooling
Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), 2024
Details Download
Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence
AAMAS '24: Proceedings of the 2024 International Conference on Autonomous Agents and Multiagent Systems, 2024
Details Download
Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Towards Propositional KLM-Style Defeasible Standpoint Logics
In Aurona Gerber, Jacques Maritz, Anban W. Pillay, eds., Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), volume 2326 of CCIS, 459–475, 2024. Springer
Details Download
Tim Lyon, Jonas Karge
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), 2024. ijcai.org
Details Download
Piotr Ostropolski-Nalewaja, Sebastian Rudolph
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
In Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 574–584, 2024. IJCAI Organization
Details Download
Piotr Ostropolski-Nalewaja, Tim Lyon
Decidability of Quasi-Dense Modal Logics
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024), 2024. ACM
Details Download
Dörthe Arndt, Stephan Mennicke
Notation3 as an Existential Rule Language
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, October 2023. Springer
Details Download
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying
In Floris Geerts, Hung Q. Ngo, Stavros Sintos, eds., Proceedings of the 42nd Symposium on Principles of Database Systems (PODS'23), 291-302, 2023. ACM
Details Download
Bartosz Bednarczyk
Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features
In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023), Logics in Artificial Intelligence, 289--305, to appear. Springer International Publishing
Details Download
Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
On the Limits of Decision: the Adjacent Fragment of First-Order Logic
In Kousha Etessami, Uriel Feige, and Gabriele Puppis, eds., Proceedings of the 50th EATCS International Colloquium on Automata, Languages and Programming, ICALP 2023, volume 261 of Leibniz International Proceedings in Informatics, 114:1--114:20, to appear. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download
Brandon Bennett, Lucía Gómez Álvarez
Vagueness in Predicates and Objects
Proceedings of the 13th International Conference on Formal Ontology in Information Systems, FOIS 2023, to appear
Details Download
Florian Emmrich, Lucía Gómez Álvarez, Hannes Straß
Automated Reasoning Support for Standpoint-OWL 2
In Sergio de Cesare, Tiago Prince Sales, eds., Proceedings of th 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), Ontology Showcase and Demonstrations Track, 2023
Details Download
Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying
In Geerts, Floris and Vandevoort, Brecht, eds., Proceedings of the 26th International Conference on Database Theory (ICDT 2023), volume 255 of Leibniz International Proceedings in Informatics (LIPIcs), 18:1-18:18, March 2023. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Nicola Gigante, Lucía Gómez Álvarez, Tim Lyon
Standpoint Linear Temporal Logic
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 311-321, 2023. IJCAI Inc
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
In Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, eds., Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 333-343, 2023. IJCAI Inc
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL
Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, 3258-3267, 2023. ijcai.org
Details Download
Jonas Karge
Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem
Proceedings of the The 2nd International Workshop on Knowledge Diversity (KoDis23), 2023
Details Download
Tim Lyon, Eugenio Orlandelli
Nested Sequents for Quantified Modal Logics
In Revantha Ramanayake, Josef Urban, eds., Proceedings of Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), 449--467, 2023
Details Download
Tim Lyon, Piotr Ostropolski-Nalewaja
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 769-773, 2023. IJCAI Inc
Details Download
Tim Lyon, Sebastian Rudolph
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), volume 14281 of Lecture Notes in Artificial Intelligence, 369-384, 2023. Springer
Details Download
Bartosz Bednarczyk, Oskar Fiuk
Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting
In Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz, eds., Proceedings of the 28th Workshop on Logic, Language, Information and Computation (WOLLIC 2022), volume 2022 of Logic, Language, Information, and Computation, 295--308, September 2022. Springer International Publishing
Details Download
Bartosz Bednarczyk, Mateusz Urbanczyk
Comonadic Semantics for Description Logics Games
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), August 2022
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5495-5502, February 2022
Details Download
Bartosz Bednarczyk, Emanuel Kieroński
Finite Entailment of Local Queries in the Z family of Description Logics
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), volume 36, 5487--5494, February 2022. AAAI Press
Details Download
Bartosz Bednarczyk, Reijo Jaakkola
Towards Model Theory of Ordered Logics: Expressivity and Interpolation
In Stefan Szeider, Robert Ganian, Alexandra Silva, eds., Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), volume 241 of Leibniz International Proceedings in Informatics, 15:1--15:14, August 2022. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download
Ridhwan Dewoprabowo, Johannes Klaus Fichte, Piotr Gorczyca, Markus Hecher
A Practical Account into Counting Dung’s Extensions by Dynamic Programming
In Georg Gottlob, Daniela Inclezan, Marco Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 387-400, 2022. Springer
Details
Faiq Miftakhul Falakh, Sebastian Rudolph
AGM Revision in Description Logics under Fixed-Domain Semantics
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), August 2022. CEUR Workshop Proceedings
Details Download
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
Semantic Characterizations of AGM Revision for Tarskian Logics
In Guido Governatori, Anni-Yasmin Turhan, eds., Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 95-110, September 2022. Springer
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract)
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263, August 2022. CEUR Workshop Proceedings
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d'Amato, eds., Proceedings of the 21st International Semantic Web Conference (ISWC 22), volume 13489 of Lecture Notes in Computer Science, October 2022. Springer
Details Download
Suk Joon Hong, Brandon Bennett, Judith Clymo, Lucía Gómez Álvarez
KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge
In Andreas Martin, Knut Hinkelmann, Hans-Georg Fill, Aurona Gerber, Doug Lenat, Reinhard Stolle, Frank van Harmelen, eds., Proceedings of the AAAI 2022 Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid Intelligence (AAAI-MAKE 2022), volume 3121, 2022. CEUR
Details Download
Jonas Karge, Sebastian Rudolph
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 205-–214, 2022
Details Download
Jarosław Kwiecień, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
Determinacy of Real Conjunctive Queries. The Boolean Case
Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 347–358, 2022. Association for Computing Machinery
Details
Tim Lyon, Lucía Gómez Álvarez
Automating Reasoning with Standpoint Logic via Nested Sequents
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on the Principles of Knowledge Representation and Reasoning (KR'22), 2022. IJCAI Organization
Details Download
Tim Lyon, Jonas Karge
Uniform and Modular Sequent Systems for Description Logics
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), 2022
Details Download
Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
A Journey to the Frontiers of Query Rewritability
In Leonid Libkin, Pablo Barceló, eds., Proceedings of the 41st Symposium on Principles of Database Systems (PODS'22), 359-367, June 2022. ACM
Details Download
Bartosz Bednarczyk, Maja Orłowska, Anna Pacanowska, Tony Tan
On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics
In Mikołaj Bojańczyk, Chandra Chekuri, eds., Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), volume 213 of Leibniz International Proceedings in Informatics, 36:1--36:15, December 2021. Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
Details Download
Bartosz Bednarczyk
Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
In Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak, eds., Proceedings of the 17th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2021), volume 12678 of Lecture Notes in Computer Science, 179--193, May 2021. Springer International Publishing
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract)
In Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt, eds., Proceedings of the 34th International Workshop on Description Logics (DL 2021), volume 2954 of CEUR Workshop Proceedings, September 2021. CEUR-WS.org
Details Download
Bartosz Bednarczyk, Jakub Michaliszyn
"Most of" leads to undecidability: Failure of adding frequencies to LTL
In Stefan Kiefer, Christine Tasson, eds., Proceedings of the Foundations of Software Science and Computation Structures - 24th International Conference (FOSSACS 2021), volume 12650 of Lecture Notes in Computer Science, 82--101, March 2021. Springer
Details Download
Bartosz Bednarczyk, Emanuel Kieroński
Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract)
In Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt, eds., Proceedings of the 34th International Workshop on Description Logics (DL 2021), volume 2954 of CEUR Workshop Proceedings, September 2021. CEUR-WS.org
Details Download
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
In Nikhil Bansal, James Worrell, eds., Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs, 120:1-120:17, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), 1-13, 2021. IEEE
Details Download
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds., Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), 141--150, 2021
Details Download
Frederic Dörband, Thomas Feller, Kevin Stier
Approximated Determinisation of Weighted Tree Automata
In Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron, eds., Language and Automata Theory and Applications. LATA 2021., volume 12638 of Lecture Notes in Computer Science, 255-266, February 2021. Springer
Details Download
Frederic Dörband, Thomas Feller, Kevin Stier
Sequentiality of Group-Weighted Tree Automata
In Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron, eds., Language and Automata Theory and Applications. LATA 2021., volume 12638 of Lecture Notes in Computer Science, 267-278, February 2021. Springer
Details Download
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report)
In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm, eds., Proceedings of the 7th Workshop on Formal and Cognitive Reasoning, volume 2961, 48-59, September 2021. CEUR Workshop Proceedings
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
IJCAI 2021 Journal Track, 2021
Details
Lucía Gómez Álvarez, Sebastian Rudolph
Standpoint Logic: Multi-Perspective Knowledge Representation
In Neuhaus F, Brodaric B, eds., Proceedings of the 12th International Conference (FOIS 2021) Frontiers in Artificial Intelligence and Applications, volume 3344 of Frontiers in Artificial Intelligence and Applications, 3 - 17, 2021. IOS Press
Details Download
Emanuel Kieroński, Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics
In IEEE, eds., Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), 1-13, 2021
Details Download
Jana Klimpke, Sebastian Rudolph
Visualization of Statistical Information in Concept Lattice Diagrams
In Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber, eds., Proceedings of the 16th International Conference on Formal Concept Analysis, volume 12733 of LNCS, 208-223, 2021. Springer
Details Download
Tim Lyon
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
In Anupam Das, Sara Negri, eds., Automated Reasoning with Analytic Tableaux and Related Methods, 409-427, August 2021. Springer International Publishing
Details Download
Tim Lyon
A Framework for Intuitionistic Grammar Logics
In Pietro Baroni, Christoph Benzmüller, Yὶ N. Wang, eds., Logic and Argumentation, volume 13040, 495-503, October 2021. Springer International Publishing
Details Download
Kees van Berkel, Tim Lyon
The Varieties of Ought-implies-Can and Deontic STIT Logic
In Fenrong Liu, Alessandra Marra, Paul Portner and Frederik Van De Putte, eds., Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021, 57-76, July 2021. College Publications
Details Download
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
In Giuseppe De Giacomo. Alejandro Catala, Bistra Dilkina, Michela Milano, Senen Barro and Alberto Bugarin, Jerome Lang, eds., Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), volume 325 of Frontiers in Artificial Intelligence and Applications, 616-623, June 2020. IOS Press
Details Download
Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti
A Framework for Reasoning about Dynamic Axioms in Description Logics
In Christian Bessiere, eds., Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI 2020), ijcai.org, 1681--1687, July 2020. International Joint Conferences on Artificial Intelligence
Details Download
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
Modal Logics with Composition on Finite Forests: Expressivity and Complexity
In Holger Hermanns, Lijun Zhang, Naoki Kobayashi, Dale Miller, eds., Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), 167--180, June 2020. ACM
Details Download
Bartosz Bednarczyk, Piotr Witkowski
A note on C2 interpreted over finite data-words
In Emilio Muñoz-Velasco, Ana Ozaki, Martin Theobald, eds., Proceedings of the 27th International Symposium on Temporal Representation and Reasoning (TIME 2020), volume 178 of Leibniz International Proceedings in Informatics, 17:1--17:14, September 2020. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download
Bartosz Bednarczyk, Robert Ferens, Piotr Ostropolski-Nalewaja
All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs
In Christian Bessiere, eds., Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI 2020), ijcai.org, 1719--1725, July 2020. International Joint Conferences on Artificial Intelligence
Details Download
Wolfgang Dvořák, Sarah Alice Gaggl, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran
The ASPARTIX System Suite
Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020), volume 326 of Frontiers in Artificial Intelligence and Applications, 461-462, September 2020
Details Download
Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
In Maribel Fernández and Anca Muscholl, eds., 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), volume 152, 28:1--28:16, 2020. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download
Adam Richard-Bollans, Lucía Gómez Álvarez, Anthony Cohn
Modelling the Polysemy of Spatial Prepositions in Referring Expressions
In Diego Calvanese, Esra Erdem, Michael Thielscher, eds., Proceedings of the 17th International Conference on the Principles of Knowledge Representation and Reasoning (KR'20), 2020. IJCAI Organization
Details Download
Adam Richard-Bollans, Anthony Cohn, Lucía Gómez Álvarez
Categorisation, Typicality & Object-Specific Features in Spatial Referring Expressions
In Parisa Kordjamshidi, Archna Bhatia, Malihe Alikhani, Jason Baldridge, Mohit Bansal, Marie-Francine Moens, eds., Proceedings of the Third International Workshop on Spatial Language Understanding, 39-49, November 2020. Association for Computational Linguistics
Details Download
Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph
Neva – Extension Visualization for Argumentation Frameworks
Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020), volume 326 of Frontiers in Artificial Intelligence and Applications, 477-478, September 2020
Details Download
Kees van Berkel, Tim Lyon, Francesco Olivieri
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms
Logic and Argumentation, volume 12061, 219-241, 2020. Springer
Details Download
Shima Asaadi, Saif M. Mohammad, Svetlana Kiritchenko
Big BiRD: A Large, Fine-Grained, Bigram Relatedness Dataset for Examining Semantic Composition
Proceedings of the Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL), June 2019
Details Download
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
Bartosz Bednarczyk, Emanuel Kieroński, Piotr Witkowski
On the Complexity of Graded Modal Logics with Converse.
In Francesco Calimeri, Nicola Leone, Marco Manna, eds., Proceedings of Logics in Artificial Intelligence - 16th European Conference (JELIA 2019), volume 11468 of LNCS, 642--658, May 2019. Lecture Notes in Computer Science
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
In Sarit Kraus, eds., Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI 2019), ijcai.org, 1530--1536, August 2019. International Joint Conferences on Artificial Intelligence
Details Download
Bartosz Bednarczyk, Stéphane Demri
Why propositional quantification makes modal logics on trees robustly hard ?
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), 1--13, June 2019. IEEE
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
Martin Diller, Adam Zachary Wyner, Hannes Strass
Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization
Proceedings of the 13th International Conference on Computational Semantics, 32-37, 2019. Association for Computational Linguistics
Details Download
Martin Diller, Adam Z. Wyner, Hannes Straß
Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization
In Simon Dobnik and Stergios Chatzikyriakidis and Vera Demberg, eds., Proceedings of the Thirteenth International Conference on Computational Semantics (IWCS), Short Papers, 32--37, May 2019. The Association for Computational Linguistics
Details Download
Bernhard Ganter, Sebastian Rudolph, Gerd Stumme
Explaining Data with Formal Concept Analysis
In Markus Krötzsch, Daria Stepanova, eds., Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures., volume 11810 of LNCS, 153-195, 2019. Springer
Details Download
Markus Krötzsch, Maximilian Marx, Sebastian Rudolph
The Power of the Terminating Chase
In Pablo Barceló, Marco Calautti, eds., Proceedings of the 22nd International Conference on Database Theory (ICDT 2019), volume 127 of LIPIcs, 3:1--3:17, 2019. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Tim Lyon, Kees van Berkel
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
In Baldoni, Matteo and Dastani, Mehdi and Liao, Beishui and Sakurai, Yuko and Zalila Wenkstern, Rym, eds., PRIMA 2019: Principles and Practice of Multi-Agent Systems, volume 11873, 202-218, 2019. Springer
Details Download
Adam Richard-Bollans, Lucía Gómez Álvarez, Brandon Bennett, Anthony Cohn
Investigating the Dimensions of Spatial Language
In K Stock, CB Jones, T Tenbrink, eds., Proceedings of Speaking of Location 2019: Conference on Spatial Information Theory (COSIT 2019), 47-56, September 2019. Regensburg, Germany.
Details
Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
SPARQL Queries over Ontologies Under the Fixed-Domain Semantics
In Abhaya C. Nayak, Alok Sharma, eds., PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I, volume 11670 of Lecture Notes in Computer Science, 486--499, August 2019. Springer
Details Download
Kees van Berkel, Tim Lyon
A Neutral Temporal Deontic STIT Logic
In Blackburn, Patrick and Lorini, Emiliano and Guo, Meiyun, eds., Logic, Rationality, and Interaction, volume 11813, 340-354, 2019. Springer
Details Download
Kees van Berkel, Tim Lyon
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics
In Calimeri, Francesco and Leone, Nicola and Manna, Marco, eds., Logics in Artificial Intelligence, volume 11468, 803-819, 2019. Springer
Details Download
Christian Al-Rabaa, Lukas Schweizer, Sebastian Rudolph
Faceted Answer-Set Navigation
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 211--225, September 2018. Springer
Details Download
Gerhard Brewka, Hannes Straß, Johannes P. Wallner, Stefan Woltran
Weighted Abstract Dialectical Frameworks
In Sheila McIlraith and Kilian Weinberger, eds., Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI), 1779--1786, February 2018. AAAI Press
Details Download
David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase
In Benny Kimelfeld and Yael Amsterdamer, eds., Proceedings of the 21st International Conference on Database Theory (ICDT 2018), volume 98 of Leibniz International Proceedings in Informatics (LIPIcs), 12:1--12:19, March 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download
Martin Diller, Wolfgang Dvořák, Jörg Pührer, Johannes Peter Wallner, Stefan Woltran
Applications of ASP in Formal Argumentation
Proceedings of the Second Workshop on Theory and Applications of Answer Set Programming, 2018
Details
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Investigating Subclasses of Abstract Dialectical Frameworks
Proceedings of 7th International Conference on Computational Models of Argument, 12-14, 2018
Details
Lucía Gómez Álvarez, Brandon Bennett, Adam Richard-Bollans
Talking about Forests: an Example of Sharing Information Expressed with Vague Terms
In S Borgo, O Kutz, F Loebe, F Neuhaus, eds., Proceedings of the Joint Ontology Workshops 2017, volume 2050, Bozen-Bolzano, Italy, 2018. CEUR-WS
Details
Lucía Gómez Álvarez
Ambiguity: What is it that needs representing and what needs resolving?
ARR workshop of ESSLLI 2018, Sofia, Bulgaria, 2018
Details
Lucía Gómez Álvarez, Brandon Bennett
Dealing with Conceptual Indeterminacy: A Framework based on Supervaluation Semantics
In Loris Bozzato, Martin Homola, Till Mossakowski, Antoine Zimmermann, Kristijonas Čyras, Tiago Oliveira, Matthew Williams, eds., Joint Proceedings of MedRACER and WOMoCoE 2018. 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018), 38-50, Arizona, USA, 2018. CEUR-WS
Details
Grzegorz Głuch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 492–501, 2018. Association for Computing Machinery
Details
Tim Lyon, Agata Ciabattoni, Revantha Ramanayake
From Display to Labelled Proofs for Tense Logics
In Artemov, Sergei and Nerode, Anil, eds., From Display to Labelled Proofs for Tense Logics, volume 10703, 120-139, 2018. Springer International Publishing
Details Download
Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Happy Ever After: Temporally Attributed Description Logics
In Magdalena Ortiz, Thomas Schneider, eds., Proceedings of the 31st International Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, 2018. CEUR-WS.org
Details Download
Adam Richard-Bollans, Lucía Gómez Álvarez, Anthony Cohn
The role of pragmatics in solving the Winograd Schema Challenge
In AS Gordon, R Miller, G Turan, eds., Proceedings of the Thirteenth International Symposium on Commonsense Reasoning (Commonsense 2017), London, 2018. CEUR Workshop Proceedings
Details
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 185--200, September 2018. Springer
Details Download
Sebastian Rudolph, Mantas Simkus
The Triguarded Fragment of First-Order Logic
In Gilles Barthe, Geoff Sutcliffe, Margus Veanes, eds., Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, 604-619, 2018. EasyChair
Details Download
Shima Asaadi, Sebastian Rudolph
Gradual Learning of Matrix-Space Models of Language for Sentiment Analysis
In Phil Blunsom, Antoine Bordes, Kyunghyun Cho, Shay B. Cohen, Chris Dyer, Edward Grefenstette, Karl Moritz Hermann, Laura Rimell, Jason Weston, Scott Yih, eds., Proceedings of the 2nd Workshop on Representation Learning for NLP, ACL2017, 178-185, August 2017. Association for Computational Linguistics
Details Download
Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieroński
Extending Two-Variable Logic on Trees
In Valentin Goranko, Mads Dam, eds., Proceedings of 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), volume 82 of Leibniz International Proceedings in Informatics, 11:1--11:20, August 2017. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download
Bartosz Bednarczyk, Witold Charatonik
Modulo Counting on Words and Trees.
In Satya V. Lokam, R. Ramanujam, eds., FSTTCS 2017, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, volume 93 of Leibniz International Proceedings in Informatics, 12:1--12:16, December 2017. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer-Set Programming
Proceedings of the 31rst AAAI Conference on Artificial Intelligence, 1077-1083, 2017
Details
Paula Chocron, Dagmar Gromann
Towards Building Ontologies from Crowdsourced Data
In Joanna Bryson, Marina De Vos, Julian Padget, eds., Proceedings of AISB Annual Convention 2017, 236-246, 2017. AISB
Details
Thierry Declerck, Dagmar Gromann
Porting the xEBR taxonomies to a LOD compliant format
In Mariano Rico, Maria Mora, eds., Proceedings of the XBRL Academic Track co-located with Eurofiling XBRL week in Frankfurt and 19th XBRL Europe day (XBRL 2017), volume 1890, 2017. CEUR Workshop Proceedings
Details
Martin Diller, Anthony Hunter
Encoding monotonic multiset preferences using CI-nets
Proceedings of the 1rst Workshop on Präferenzen und Personalisierung in der Informatik, 2017
Details
Martin Diller, Adam Zachary Wyner, Hannes Strass
Defeasible AceRules: A prototype
Proceedings of the 12th International Conference on Computational Semantics, 19-22, 2017
Details Download
Bartłomiej Dudek, Paweł Gawrychowski, Piotr Ostropolski-Nalewaja
A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem
In Juha Kärkkäinen and Jakub Radoszewski and Wojciech Rytter, eds., 28th Annual Symposium on Combinatorial Pattern Matching (CPM 2017), volume 78, 10:1-10:14, 2017. CPM 2017
Details
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract
In Juan L. Reutter, Divesh Srivastava, eds., Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017, volume 1912 of CEUR Workshop Proceedings, June 2017. CEUR-WS.org
Details Download
Dagmar Gromann, Maria M. Hedblom
Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language
In Pat Langley, eds., Advances in Cognitive Systems, volume 5, 2017. Cognitive Systems Foundation
Details
Dagmar Gromann, Thierry Declerck
Hashtag Processing for Enhanced Clustering of Tweets
In Galia Angelova, Kalina Bontcheva, Ruslan Mitkov, Ivelina Nikolova, Irina Temnikova, eds., Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP), 277-283, 2017. RANLP
Details
Dagmar Gromann, Maria M. Hedblom
Body-Mind-Language: Multilingual Knowledge Extraction Based on Embodied Cognition
Proceedings of the 5th International Workshop on Artificial Intelligence and Cognition (AIC), 2017
Details
Lucía Gómez Álvarez, Brandon Bennett
Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms
In Eliseo Clementini and Maureen Donnelly and May Yuan and Christian Kray and Paolo Fogliaroni and Andrea Ballatore, eds., 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), volume 86 of 8:1--8:15, Dagstuhl, Germany, 2017. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Details
Luisa Herrmann
A Medvedev Characterization of Recognizable Tree Series
In Émilie Charlier, Julien Leroy, Michel Rigo, eds., Developments in Language Theory, volume 10396 of Lecture Notes in Computer Science, 210-221, 2017. Springer
Details
Jamie Macbeth, Dagmar Gromann, Maria M. Hedblom
Image Schemas and Conceptual Dependency Primitives: A Comparison
In Oliver Kutz, eds., Proceedings of the Joint Ontology Workshop (JOWO), 2017. CEUR Workshop Proceedings
Details
Sebastian Rudolph, Lukas Schweizer
Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
In Alessandro Artale, Birte Glimm and Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics, volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download
Sebastian Rudolph, Lukas Schweizer
Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
In Oliveira Eugénio, Gama João, Vale Zita, Lopes Cardoso Henrique, eds., Progress in Artificial Intelligence: Proceedings of the 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal,, volume 10423 of Lecture Notes in Computer Science, 695-708, September 2017. Springer
Details
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Wolpertinger: A Fixed-Domain Reasoner
In Nadeschda Nikitina, Dezhao Song, eds., ISWC 2017 Posters & Demonstration Track, October 2017
Details Download
Shima Asaadi, Sebastian Rudolph
On the Correspondence between Compositional Matrix-Space Models of Language and Weighted Automata
Proceedings of the ACL Workshop on Statistical Natural Language Processing and Weighted Automata (StatFSM 2016), August 2016
Details Download
Brandon Bennett, Heshan Du, Lucía Gómez Álvarez, Anthony Cohn
Defining Relations: a general incremental approach with spatial temporal case studies
In R Ferrario, W Kuhn, eds., Frontiers in Artificial Intelligence and Applications. 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), volume 263 of 23-36, Annecy, France, 2016. IOS Press
Details
Paula Chocron, Dagmar Gromann
Towards Building Ontologies with the Wisdom of the Crowd
In Michael Rovatsos, Ronald Chenu-Abente, eds., International Workshop on Diversity-Aware Artificial Intelligence (DIVERSITY 2016) at ECAI 2016, 1-11, 2016
Details
Stathis Delivorias, Sebastian Rudolph
Revisiting Grounded Circumscription in Description Logics
In Magdalena Ortiz, Stefan Schlobach, eds., Proceedings of the 10th International Conference on Web Reasoning and Rule Systems, volume 9898 of LNCS, 46-60, September 2016. Springer
Details Download
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Introducing the Second International Competition on Computational Models of Argumentation
In Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati, eds., Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016), volume 1672, 4-9, September 2016. CEUR-WS
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, eds., Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), volume 285 of Frontiers in Artificial Intelligence and Applications, 819 - 827, September 2016. IOS Press
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
Sarah Alice Gaggl, Umer Mushtaq
Intertranslatability of Labeling-based Argumentation Semantics
In Steven Schockaert, Pierre Senellart, eds., Proceedings of the 10th International Conference on Scalable Uncertainty Management (SUM 2016), volume 9858 of Lecture Notes in Computer Science, 155-169, September 2016. Springer
Details Download
Dagmar Gromann, Maria M. Hedblom
Breaking Down Finance – A Method of Concept Simplification by Identifying Movement Structures from the Image Schema PATH-Following
In Oliver Kutz, Sergio de Cesare, eds., First International Workshop on Cognition and Ontologies (CAOS) at FOIS 2016, volume 1660, 2016. CEUR Workshop Proceedings
Details
Luisa Herrmann, Heiko Vogler
Weighted Symbolic Automata with Data Storage
In Srečko Brlek, Christophe Reutenauer, eds., Developments in Language Theory, volume 9840 of Lecture Notes in Computer Science, 203-215, 2016. Springer
Details
Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
Efficient Axiom Pinpointing in EL using SAT Technology
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
Johannes Osterholzer, Toni Dietze, Luisa Herrmann
Linear Context-Free Tree Languages and Inverse Homomorphisms
In Adrian-Horia DediuJan Janoušek, Carlos Martín-Vide, Bianca Truthe, eds., Language and Automata Theory and Applications, volume 9618 of Lecture Notes in Computer Science, 478-489, 2016. Springer
Details
Alina Petrova, Sebastian Rudolph
Web-Mining Defeasible Knowledge from Concessional Statements
In Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker, eds., Proceedings of the 22nd International Conference on Conceptual Structures (ICCS 2016), volume 9717 of LNCS, 191-203, July 2016. Springer
Details Download
Sebastian Rudolph
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
Sebastian Rudolph
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics
In Chitta Baral, James P. Delgrande, Frank Wolter, eds., Proc. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), 247-257, 2016. AAAI Press
Details Download
Sebastian Rudolph, Michaël Thomazo
Expressivity of Datalog Variants - Completing the Picture
In Subbarao Kambhampati, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'16), 1230-1236, July 2016. AAAI Press
Details Download
Heiko Vogler, Manfred Droste, Luisa Herrmann
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem
In Adrian-Horia DediuJan Janoušek, Carlos Martín-Vide, Bianca Truthe, eds., Language and Automata Theory and Applications, volume 9618 of Lecture Notes in Computer Science, 127-139, 2016. Springer
Details
Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
Schema-Agnostic Query Rewriting for OWL QL
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics, volume 1350 of CEUR Workshop Proceedings, 2015. CEUR-WS.org
Details Download
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Reasonable Highly Expressive Query Languages
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2826-2832, 2015. AAAI Press
Details Download
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
An Extension-Based Approach to Belief Revision in Abstract Argumentation
Proceedings of the 24th International Joint Conference on Artificial Intelligence, 2926–2932, 2015. AAAI Press
Details
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015, August 2015. arXiv:1507.06689
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Bound Your Models! How to Make OWL an ASP Modeling Language
In Stefan Ellmauthaler, Claudia Schulz, eds., International Workshop on User-Oriented Logic Programming (IULP), November 2015
Details
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks
In Qiang Yang and Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), AAAI Press, 2985--2991, July 2015. AAAI Press
Details Download
Luisa Herrmann, Heiko Vogler
A Chomsky-Schützenberger Theorem for Weighted Automata with Storage
In Andreas Maletti, eds., Algebraic Informatics, volume 9270 of Lecture Notes in Computer Science, 115-127, 2015. Springer
Details
Sebastian Rudolph, Christian Săcărea, Diana Troancă
Reduction in Triadic Data Sets
Workshop FCA4AI „What cand FCA do for Artificial Intelligence?”, pp.55-62, July 2015
Details Download
Sebastian Rudolph, Christian Săcărea, Diana Troancă
Towards a Navigation Paradigm for Triadic Concepts
Proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2015, pp. 252-267, 2015. Springer
Details Download
Sebastian Rudolph, Christian Sacarea, Diana Troancă
Membership Constraints in Formal Concept Analysis
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3186-3192, July 2015. AAAI Press
Details Download
Sebastian Rudolph, Michaël Thomazo
Characterization of the Expressivity of Existential Rule Queries
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3193-3199, 2015. AAAI Press
Details Download
Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
Schema-Agnostic Query Rewriting in SPARQL 1.1
In Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig A. Knoblock, Denny Vrandečić, Paul T. Groth, Natasha F. Noy, Krzysztof Janowicz, Carole A. Goble, eds., Proc. 13th International Semantic Web Conference (ISWC'14), volume 8796 of LNCS, 584-600, October 2014. Springer
Details Download
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
How to Best Nest Regular Path Queries
Proc. 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 404-415, July 2014. CEUR-WS.org
Details Download
Martin Diller, Johannes Peter Wallner, Stefan Woltran
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
Proceedings of the 5th International Conference on Computational Models of Argument, 241-252, 2014. IOS Press
Details
Sanda Dragoș, Diana Haliță, Christian Săcărea, Diana Troancă
Applying Triadic FCA in Studying Web Usage Behaviors
Proceedings of the International Conference on Knowledge Science, Engineering and Management, pp. 73-80, 2014. Springer
Details Download
Sarah Alice Gaggl, Hannes Straß
Decomposing Abstract Dialectical Frameworks
In Simon Parsons, Nir Oren, Chris Reed, Federico Cerutti, eds., Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014), volume 266 of Frontiers in Artificial Intelligence and Applications, 281-292, 2014. IOS Press
Details Download
Georg Gottlob, Sebastian Rudolph, Mantas Simkus
Expressiveness of guarded existential rule languages
In Richard Hull, Martin Grohe, eds., Proc. 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'14), 27-38, June 2014. ACM
Details Download
Dagmar Gromann
A Model and Method to Terminologize Existing Domain Ontologies
Proceedings of the 11th International Conference on Terminology and Ontology Engineering, 137-136, 2014. HAL
Details
Markus Krötzsch, Sebastian Rudolph
Complexities of Nominal Schemas
Proc. 27th International Workshop on Description Logics (DL'14), 270-273, July 2014. CEUR Workshop Proceedings
Details Download
Markus Krötzsch, Sebastian Rudolph
Nominal Schemas in Description Logics: Complexities Clarified
In Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, eds., Proc. 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 308-317, July 2014. AAAI Press
Details Download
Marie-Laure Mugnier, Michaël Thomazo
An Introduction to Ontology-Based Query Answering with Existential Rules
Reasoning Web Summer School, 245-278, 2014. Springer
Details Download
Sebastian Rudolph
The Two Views on Ontological Query Answering
In Georg Gottlob, Jorge Pérez, eds., Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, volume 1189 of CEUR Workshop Proceedings, June 2014. CEUR
Details Download
Sebastian Rudolph
On the Succinctness of Closure Operator Representations
In Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea, eds., Proc. 12th International Conference on Formal Concept Analysis (ICFCA 2014), volume 8478 of LNCS, 15-36, June 2014. Springer
Details
Michaël Thomazo, Sebastian Rudolph
Mixing Materialization and Query Rewriting for Existential Rules
Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), 897-902, 2014. IOS Press
Details Download
Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish
Tableaux for Verification of Data-Centric Processes
Proceedings of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 28-43, 2013. Springer
Details
Thierry Declerck, Dagmar Gromann
Towards the Generation of Semantically Enriched Multilingual Components of Ontology Labels
In Paul Buitelaar, Philipp Cimiano, David Lewis, James Pustejovsky, Felix Sasaki, eds., Proceedings of the 3rd International Workshop on the Multilingual Semantic Web (MSW3), volume 936, 11-22, 2013. CEUR Workshop Proceedings
Details
Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
In Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf, eds., 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, volume 7773 of Lecture Notes in Computer Science, 114-133, 2013. Springer
Details Download
Dagmar Gromann
Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts
In Gerhard Budin, Vesna Lusicky, eds., Languages for Special Purposes in a Multilingual, Transcultural World, Proceedings of the 19th European Symposium on Languages for Special Purposes, 8-10 July 2013, Vienna, Austria, 418-428, 2013. University of Vienna
Details
Dagmar Gromann
Terminology-based patterns for natural language definitions in ontologies
In Aldo Gangemi, Michael Gruninger, Karl Hammar, Laurent Lefort, Valentina Presutti, Ansgar Scherp, eds., Proceedings of the 4th International Conference on Ontology and Semantic Web Patterns, 65-69, 2013. CEUR Workshop Proceedings
Details
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
On the Exploration of the Query Rewriting Space with Existential Rules
Proceedings of the 7th International Conference on Web Reasoning and Rule Systems (RR 2013), 123-137, 2013. Springer
Details Download
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, Complete, and Minimal Query Rewriting for Existential Rules
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 3017-3025, 2013
Details
Sebastian Rudolph, Markus Krötzsch
Flag & Check: Data Access with Monadically Defined Queries
Proc. 32nd Symposium on Principles of Database Systems (PODS'13), 151-162, June 2013. ACM
Details Download
Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
Modeling in OWL 2 without Restrictions
OWLED, 2013
Details
Michaël Thomazo
Compact Rewritings for Existential Rules
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 1125-1131, 2013
Details
Michaël Thomazo
Ontology Based Query Answering with Existential Rules
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 3245-3246, 2013
Details Download
Isabelle Augenstein, Sebastian Padó, Sebastian Rudolph
LODifier: Generating Linked Data from Unstructured Text
ESWC, 210-224, 2012
Details
Jürgen Bock, Sebastian Rudolph, Michael Mutter
More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation
FoIKS, 71-90, 2012
Details
Madalina Croitoru, Sebastian Rudolph
Exclusivity-based allocation of knowledge
AAMAS, 1249-1250, 2012
Details
Thierry Declerck, Hans-Ulrich Krieger, Dagmar Gromann
Acquisition, Representation, and Extension of Multilingual Labels of Financial Ontologies
In Rute Costa, Manuel Silva, Antonio Lucas Soares, eds., Proceedings of the Workshop on Challenges to Knowledge Representation in Multilingual Contexts, 17-26, 2012. Universidad Politecnica de Madrid
Details
Thierry Declerck, Dagmar Gromann
Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies
In Thomas Schneider, Dirk Walther, eds., Proceedings of the 6th International W orkshop on Modular Ontologies, volume 875, 28-40, 2012. CEUR Workshop Proceedings
Details
Thierry Declerck, Dagmar Gromann
Extraction of Multilingual Term Variants in the Business Reporting Domain
In Tatiana Gornostay, eds., Proceedings of CHAT 2012: The 2nd Workshop on the Creation, Harmonization and Application of Terminology Resources. Workshop on the Creation, Harmonization and Application of Terminology Resources (CHAT-12), 41-47, 2012. Linköping University Electronic Press
Details
Wolfgang Dvořák, Sarah Alice Gaggl
Computational Aspects of cf2 and stage2 Argumentation Semantics
In Bart Verheij, Stefan Szeider, Stefan Woltran, eds., Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), volume 245 of Frontiers in Artificial Intelligence and Applications, 273-284, 2012. IOS Press
Details Download
Wolfgang Dvořák, Sarah Alice Gaggl
Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics
Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012), June 2012
Details Download
Christian Federmann, Dagmar Gromann, Thierry Declerck, Sabine Hunsicker, Hans-Ulrich Krieger, Gerhard Budin
Multilingual Terminology Acquisition for Ontology-based Information Extraction
In Guadalupe Aguado de Cea, Mari Carmen Suárez-Figueroa, Raúl García-Castro, Elena Montiel-Ponsoda, eds., Proceedings of the 10th Terminology and Knowledge Engineering Conference: New Frontiers in the Constructive Symbiosis of Terminology and Knowledge, 166-175, 2012. Universidad Politécnica de Madrid
Details
Sébastien Ferré, Sebastian Rudolph
Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints
EKAW, 42-56, 2012
Details
Dagmar Gromann, Thierry Declerck
Terminology Harmonization in Industry Classification Standards
In Tatiana Gornostay, eds., Proceedings of CHAT 2012: The 2nd Workshop on the Creation, Harmonization and Application of Terminology Resources. Workshop on the Creation, Harmonization and Application of Terminology Resources (CHAT-12), 19-26, 2012. Linköping University Electronic Press
Details
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
A Sound and Complete Backward Chaining Algorithm for Existential Rules
Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012), 122-138, 2012. Springer
Details Download
Anees Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logics and Rules under Minimal Hypotheses
RR, 242-245, 2012
Details
Nadeschda Nikitina, Sebastian Rudolph
ExpExpExplosion: Uniform Interpolation in General EL Terminologies
ECAI, 618-623, 2012
Details
Sebastian Rudolph, Madalina Croitoru
Multi-Agent Knowledge Allocation
SGAI Conf., 165-178, 2012
Details
Michaël Thomazo
From EL to Tractable Existential Rules with Complex Role Inclusions
Description Logics, 2012
Details Download
Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
A Generic Querying Algorithm for Greedy Sets of Existential Rules
Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR'12), 2012. AAAI
Details Download
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams
In Nick Bassiliades, Guido Governatori, Adrian Paschke, eds., 5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML 2011), volume 6826 of LNCS, 138-153, July 2011. Springer
Details Download
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Retractable Complex Event Processing and Stream Reasoning
In Nick Bassiliades, Guido Governatori, Adrian Paschke, eds., 5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML 2011), volume 6826 of LNCS, 122-137, July 2011. Springer
Details Download
Darko Anicic, Paul Fodor, Sebastian Rudolph, Nenad Stojanovic
EP-SPARQL: A Unified Language for Event Processing and Stream Reasoning
In Sadagopan Srinivasan, Krithi Ramamritham, Arun Kumar, M. P. Ravindra, Elisa Bertino, Ravi Kumar, eds., Proceedings of the 20th International Conference on World Wide Web, WWW 2011, 635-644, 2011. ACM
Details Download
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo
Walking the Complexity Lines for Generalized Guarded Existential Rules
In Toby Walsh, eds., Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 712-717, July 2011. IJCAI/AAAI
Details Download
Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo
Towards Farsighted Dependencies for Existential Rules
Proceedings of the 5th International Conference on Web Reasoning and Rule Systems (RR 2011), 30-45, 2011. Springer
Details Download
Javier Oscar Blanco, Pio Garcia, Martin Diller, Renato Cherini
A Behavioral Characterization of Computational Systems
In Verlagshaus Monsenstein und Vannerdat OHG, eds., Proceedings of the 1rst International Conference of the International Association for Computing and Philosophy, 30-33, 2011
Details
Sarah Alice Gaggl, Stefan Woltran
Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets
In Weiru Liu, eds., Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011), volume 6717 of Lecture Notes in Computer Science, 38-49, June 2011. Springer
Details Download
Markus Krötzsch, Sebastian Rudolph
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness
In Toby Walsh, eds., Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), 963-968, July 2011. IJCAI/AAAI
Details Download
Markus Krötzsch, Sebastian Speiser
ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web
Proc. 10th International Semantic Web Conference (ISWC'11), 354-369, October 2011. Springer
Details Download
Nadeschda Nikitina, Birte Glimm, Sebastian Rudolph
Wheat and Chaff -- Practically Feasible Interactive Ontology Revision
In Noy et al., eds., Proceedings of the 10th International Semantic Web Conference (ISWC2011), October 2011. Springer
Details Download
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 24th International Workshop on Description Logics (DL2011), 2011. CEUR Workshop Proceedings
Details
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 22nd International Joint Conference on Artificial Intelligence, July 2011. IJCAI 2011
Details
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ
In Toby Walsh, eds., Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 1039-1044, July 2011. IJCAI/AAAI
Details Download
Sebastian Rudolph, Michael Schneider
Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies
In Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar, eds., Conceptual Structures for Discovering Knowledge, Proceedings of ICCS 2011, volume 6828 of LNCS, 19-34, July 2011. Springer
Details Download
Anees ul Mehdi, Sebastian Rudolph
Revisiting Semantics for Epistemic Extensions of Description Logics
Proceedings of the 25th Conference on Artificial Intelligence, August 2011. AAAI 2011
Details Download
Anees ul Mehdi, Sebastian Rudolph
Practical Epistemic Entailment Checking in SROIQ
Proceedings of the 24th International Workshop on Description Logics (DL2011), July 2011. CEUR Workshop Proceedings
Details Download
Anees ul Mehdi, Sebastian Rudolph, Stephan Grimm
Epistemic Queries for OWL Knowledge Bases
Proceedings of the 8th Extended Semantic Web Conference, May 2011. 8th Extended Semantic Web Conference (ESWC11), ESWC 2011
Details Download
Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
A Rule-Based Language for Complex Event Processing and Reasoning
In Pascal Hitzler, Thomas Lukasiewicz, eds., Web Reasoning and Rule Systems - Fourth International Conference, volume 6333 of LNCS, 42-57, September 2010. Springer
Details Download
Sarah Alice Gaggl, Stefan Woltran
cf2 Semantics Revisited
In Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo Ricardo Simari, eds., Proceedings of the Third International Conference on Computational Models of Argument (COMMA 2010), volume 216 of Frontiers in Artificial Intelligence and Applications, 243-254, September 2010. IOS Press
Details Download
Sarah Alice Gaggl
Towards a General Argumentation System based on Answer-Set Programming
In Manuel V. Hermenegildo, Torsten Schaub, eds., Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), volume 7 of LIPIcs, 265-269, July 2010. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download
Birte Glimm, Sebastian Rudolph
Status QIO: Conjunctive Query Entailment is Decidable
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), 225-235, May 2010. AAAI Press
Details Download
Birte Glimm, Sebastian Rudolph, Johanna Völker
Integrated Metamodeling and Diagnosis in OWL 2
In Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm, eds., Proceedings of the 9th International Semantic Web Conference, volume 6496 of LNCS, 257-272, November 2010. Springer
Details Download
Markus Krötzsch, Anees ul Mehdi, Sebastian Rudolph
Orel: Database-Driven Reasoning for OWL 2 Profiles
Proceedings of the 23nd International Workshop on Description Logics (DL 2010), volume 573 of CEUR Workshop Proceedings, May 2010. CEUR-WS.org
Details Download
Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
On the Semantic Relationship between Datalog and Description Logics
In Pascal Hitzler, Thomas Lukasiewicz, eds., Proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR 2010), volume 6333 of LNCS, 88-102, September 2010. Springer
Details Download
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), 269-279, May 2010. AAAI Press
Details Download
Sebastian Rudolph, Eugenie Giesbrecht
Compositional Matrix-Space Models of Language
Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics, 907-916, July 2010. Association for Computational Linguistics
Details Download
Pia-Ramona Wojtinnek, Brian Harrington, Sebastian Rudolph, Stephen Pulman
Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks
In Madalina Croitoru, Sébastien Ferré, Dickson Lukose, eds., Proceedings of the 18th International Conference on Conceptual Structures, volume 6208 of LNCS, 203-206, July 2010. Springer
Details Download
Birte Glimm, Sebastian Rudolph
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
In Bernardo Cuenca-Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, eds., Proceedings of the DL Workshop 2009, Oxford, UK, volume 477, July 2009. CEUR Workshop Proceedings
Details Download
Markus Krötzsch, Sebastian Rudolph
A Matter of Principles: Towards the Largest DLP Possible
Proceedings of the 22nd International Workshop on Description Logics (DL2009), volume 477 of CEUR Workshop Proceedings, July 2009. CEUR-WS.org
Details
Uta Lösch, Sebastian Rudolph, Denny Vrandečić, Rudi Studer
Tempus Fugit - Towards an Ontology Update Language
In Lora Aroyo et al., eds., 6th European Semantic Web Conference (ESWC 09), volume 5554 of Lecture Notes on Computer Science, 278--292, June 2009. Springer-Verlag
Details Download
Nadejda Nikitina, Sebastian Rudolph, Sebastian Blohm
Refining Ontologies by Pattern-Based Completion
In Eva Blomqvist, Kurt Sandkuhl, Francois Scharffe, Vojtech Svatek, eds., Proceedings of the Workshop on Ontology Patterns (WOP 2009), volume 516, October 2009. CEUR
Details Download
Duc Thanh Tran, Haofen Wang, Sebastian Rudolph, Philipp Cimiano
Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data
Proceedings of the 25th International Conference on Data Engineering (ICDE'09), March 2009
Details
Denny Vrandečić, Frank Dengler, Sebastian Rudolph, Michael Erdmann
RDF syntax normalization using XML validation
In Lalana Kagal, Ora Lassila, Tim Finin, eds., Proceedings of the Workshop Semantics for the Rest of Us at ISWC2009, October 2009. CEUR-WS
Details Download
Sudhir Agarwal, Sebastian Rudolph, Andreas Abecker
Semantic Description of Distributed Business Processes
In Knut Hinkelmann, Andreas Abecker, Harold Boley, John Hall, Martin Hepp, Amit Sheth, Barbara Thönssen, eds., AAAI Spring Symposium - AI Meets Business Rules and Process Management, March 2008. AAAI
Details
Philipp Cimiano, Helena Hartfiel, Sebastian Rudolph
Intensional Question Answering using ILP: What does an answer mean?
In Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou, eds., Natural Language and Information Systems, 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008, volume 5039 of LNCS, 151-162, June 2008. Springer
Details Download
Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
Answer-Set Programming Encodings for Argumentation Frameworks
1st Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), 2008
Details Download
Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming
In Maria Garcia de la Banda, Enrico Pontelli, eds., Proceedings of the 24th International Conference on Logic Programming, (ICLP 2008), volume 5366 of Lecture Notes in Computer Science, 734-738, 2008. Springer
Details Download
Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj
Approximate OWL Instance Retrieval with Screech
In A.G. Cohn, D.C. Hogg, R. Möller, B. Neumann, eds., Logic and Probability for Scene Interpretation, volume 08091 of Dagstuhl Seminar Proceedings, February 2008. Dagstuhl
Details
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
In Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy Finin and Krishnaprasad Thirunarayan, eds., Proceedings of the 7th International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 649-664, October 2008. Springer
Details Download
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Description Logic Rules
In Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris, eds., Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08), volume 178 of Frontiers in Artificial Intelligence and Applications (FAIA), 80--84, July 2008. IOS Press
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
In Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, eds., Proceedings of 11th European Conference on Logics in Artificial Intelligence (JELIA), volume 5293 of LNAI, 362-374, 2008. Springer
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
In Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan, eds., Proceedings of the International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 435-450, 2008. Springer
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
In Dieter Fox, Carla P. Gomes, eds., Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08), 529-534, 2008. AAAI Press
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
In Franz Baader, Carsten Lutz, Boris Motik, eds., Proceedings of the 21st International Workshop on Description Logics (DL2008), volume 353 of CEUR Workshop Proceedings, May 2008. CEUR-WS.org
Details Download
Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
In Diego Calvanese and Georg Lausen, eds., Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems (RR2008), volume 5341 of LNCS, 150-164, October 2008. Springer
Details
Sebastian Rudolph
Acquiring Generalized Domain-Range Restrictions
In Raoul Medina and Sergei Obiedkov, eds., Proceedings of the 6th International Conference on Formal Concept Analysis (ICFCA'08), volume 4933 of Lecture Notes in Artificial Intelligence, 32-45, February 2008. Springer
Details Download
Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with Screech
In Diego Calvanese and Georg Lausen, eds., Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, volume 5341 of LNCS, 165-180, October 2008. Springer
Details
Johanna Völker, Sebastian Rudolph
Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement
7th International Conference on Web Intelligence, WI 2008, Main Conference Proceedings, 454-460, December 2008. IEEE
Details Download
Johanna Völker, Sebastian Rudolph
Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement
In Raoul Medina and Sergei Obiedkov, eds., Proceedings of the 6th International Conference on Formal Concept Analysis (ICFCA'08), volume 4933 of Lecture Notes in Artificial Intelligence, 62-77, February 2008. Springer
Details Download
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Conjunctive Queries for a Tractable Fragment of OWL 1.1
In Karl Aberer and Key-Sun Choi and Natasha Noy and Dean Allemang and Kyung-Il Lee and Lyndon Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Riichiro Mizoguchi and Guus Schreiber and Philippe Cudré-Mauroux, eds., Proceedings of the 6th International Semantic Web Conference (ISWC 2007), volume 4825 of LNCS, 310--323, November 2007. Springer
Details Download
Markus Krötzsch, Sebastian Rudolph
Conjunctive Queries for EL with Role Composition
In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan and S. Tessaris, eds., Proceedings of the 20th International Workshop on Description Logics (DL2007), volume 250 of CEUR Workshop Proceedings, June 2007. CEUR-WS.org
Details Download
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity Boundaries for Horn Description Logics
Proceedings of the 22nd AAAI Conference on Artficial Intelligence, 452--457, 2007. AAAI Press
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandečić
Efficient OWL Reasoning with Logic Programs - Evaluations
In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, eds., Proceedings of The First International Conference on Web Reasoning and Rule Systems 2007 (RR2007), volume 4524 of Springer Lecture Notes in Computer Science, 370-373, June 2007. Springer
Details
Sebastian Rudolph
Using FCA for Encoding of Closure Operators into Neural Networks
In Uta Priss, Simon Polovina, Richard Hill, eds., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 321 -- 332, July 2007. Springer-Verlag
Details Download
Sebastian Rudolph, Johanna Völker, Pascal Hitzler
Supporting Lexical Ontology Learning by Relational Exploration
In Uta Priss, Simon Polovina, Richard Hill, eds., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 488-491, July 2007. Springer
Details Download
Sebastian Rudolph
Encoding Closure Operators into Neural Networks
In A. S. d'Avila Garcez, P. Hitzler and G. Tamburrini, eds., Proceedings of the Third International Workshop on Neural-Symbolic Learning and Reasoning, volume 230 of CEUR Workshop Proceedings, January 2007. CEUR
Details Download
Sebastian Rudolph
Relational Exploration - Reconciling Plato and Aristotle
In Hitzler, Roth-Berghofer, Rudolph, eds., Proceedings of the Workshop on Artificial Intelligence (FAInt-07), volume Vol-277 of CEUR Workshop Proceedings, September 2007. CEUR
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web
In Uta Priss, Simon Polovina, Richard Hill, eds., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 464-467, July 2007. Springer
Details
Sebastian Rudolph
Some Notes on Pseudo-closed Sets
In Sergej O. Kuznetsov, Stefan Schmidt, eds., Proceedings of the 5th Conference on Formal Concept Analysis, volume 4390 of LNAI, 151 - 165, February 2007. Springer
Details Download
Duc Thanh Tran, Philipp Cimiano, Sebastian Rudolph, Rudi Studer
Ontology-based Interpretation of Keywords for Semantic Search
Proceedings of the 6th International Semantic Web Conference (ISWC'07), 523-536, November 2007. Springer
Details
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
On the complexity of Horn description logics
In Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, Evan Wallace, eds., Proceedings of the 2nd Workshop on OWL: Experiences and Directions, volume 216 of CEUR Workshop Proceedings, November 2006. CEUR
Details Download
Sebastian Rudolph
A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions
In Pascal Hitzler, Henrik Schärfe, Peter Øhrstrøm, eds., Inspiration and Application - Contributions to ICCS 2006, 188 - 201, July 2006. Aalborg University Press
Details Download
Sebastian Rudolph
Exploring Relational Structures via FLE
In Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach, eds., Conceptual Structures at Work: 12th International Conference on Conceptual Structures, volume 3127 of LNCS, 196 -- 212, July 2004. Springer
Details Download
Sebastian Rudolph
An FCA Method for the Extensional Exploration of Relational Data
In Bernhard Ganter, Aldo de Moor, eds., Using Conceptual Structures, Contributions to ICCS 2003, 197 -- 210, July 2003. Shaker, Aachen
Details Download
Bernhard Ganter, Sebastian Rudolph
Formal Concept Analysis Methods for Dynamic Conceptual Graphs
In Harry S. Delugach, Gerd Stumme, eds., Conceptual Structures: Broadening the Base, 9th International Conference on Conceptual Structures, volume 2120 of LNCS, 143-156, July 2001. Springer
Details Download
Sebastian Rudolph
Spatial concepts - a rule exploration
In Gerd Stumme, eds., Working with Conceptual Structures - Contributions to ICCS 2000, 284 -- 288, July 2000. Shaker, Aachen
Details Download
Books
Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
Foundations of Semantic Web Technologies
Chapman & Hall/CRC, August 2009
Details
Steffen Hölldobler
Logik und Logikprogrammierung. Band 1: Grundlagen.
Synchron Wissenschaftsverlag der Autoren, 2009
Details
Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure
Semantic Web - Grundlagen
eXamen.press. Springer-Verlag Berlin Heidelberg, January 2008
Details
Sebastian Rudolph
Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification
Universitätsverlag Karlsruhe, December 2006
Details
Steffen Hölldobler
Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353)
Springer Verlag, 1989
Details
Book Chapters
Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Temporally Attributed Description Logics
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of LNCS, 441-474. Springer, 2019
Details Download
Sebastian Rudolph
Presburger Concept Cardinality Constraints in Very Expressive Description Logics – Allegro sexagenarioso ma non ritardando
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of LNCS, 542-561. Springer, 2019
Details Download
Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner
Foundations of Implementations for Formal Argumentation
In Pietro Baroni; Dov Gabbay; Massimiliano Giacomin; Leendert van der Torre, eds., Handbook on Formal Argumentation, chapter Foundations of implementations for formal argumentation, 688-767. College Publications, February 2018
Details Download
Dagmar Gromann, Johannes Schnitzer
Business lexicography
In Gerlinde Mautner Rainer Franz, eds., Handbook of Business Communication, volume 13 of Handbook of Applied Linguistics (HAL), 561-582. De Gruyter Mouton, 2017
Details
Wolfgang Dvořák, Sarah Alice Gaggl, Thomas Linsbichler, Johannes Peter Wallner
Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks
In Eiter, Thomas and Strass, Hannes and Truszczyński, Mirosław and Woltran, Stefan, eds., Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of Lecture Notes in Computer Science, chapter Abstract Argumentation, 249-264. Springer International Publishing, 2015
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo
What Is a Reasonable Argumentation Semantics?
In Eiter, Thomas and Strass, Hannes and Truszczyński, Mirosław and Woltran, Stefan, eds., Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of Lecture Notes in Computer Science, chapter Abstract Argumentation, 309-324. Springer International Publishing, 2015
Details Download
Dagmar Gromann, Thierry Declerck
A cross-lingual correcting and completive method for multilingual ontology labels
In Paul Buitelaar Philipp Cimiano, eds., Towards the Multilingual Semantic Web - Principles, Methods and Applications, chapter A cross-lingual correcting and completive method for multilingual ontology labels, 227-242. Springer, 2014
Details
Wolfgang Dvořák, Sarah Alice Gaggl, Stefan Szeider, Stefan Woltran
Benchmark libraries for argumentation
In Ossowski, Sascha, eds., Agreement Technologies, volume 8 of Law, Governance and Technology Series, chapter The added value of argumentation, 389-393. Springer, 2013
Details
Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
ETALIS: Rule-Based Reasoning in Event Processing
In Sven Helmer, Alex Poulovassilis, Fatos Xhafa, eds., Reasoning in Event-Based Distributed Systems, volume 347 of Studies in Computational Intelligence, 99-124. Springer, April 2011
Details
Martin Diller
Hacía un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación
In Las prácticas científicas: aportes para un enfoque epistemológico, 31-62. Editorial Brujas, 2011
Details Download
Sebastian Rudolph
Foundations of Description Logics
In Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider, eds., Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, volume 6848 of LNCS, 76-136. Springer, 2011
Details Download
Sebastian Rudolph, Johanna Völker
A Lexico-Logical Approach to Ontology Engineering
In Pascal Hitzler, Henrik Schärfe, eds., Conceptual Structures in Practice, Studies in Informatics, 225--244. Chapman & Hall/CRC, May 2009
Details
Edited Proceedings
Tiago Prince Sales, Maria M. Hedblom, He Tan, Guendalina Righetti, Oliver Kutz, Martin Glauer, Janna Hastings, Till Mossakowski, Fabian Neuhaus, Rafael Peñaloza, Srdjan Vesic, Claudenir Morais Fonseca, Jona Thai, Stefano Borgo, Damion M. Dooley, Rhiannon Cameron, Lauren E. Chan, Duccio Cavalieri, Robert Warren, Hande Küçük-McGinty, Matthew Lange, Fernanda Forea, Francesco Vitali, Bart Gajderowicz, Daniela Rosu, Aldo Gangemi, Robert Porzel, Daniel Beßler, Mihai Pomarlan, Mohammed Diab, Alberto Olivares Alarcos, Lucía Gómez Álvarez
Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden.
Volume 3249, 2022. CEUR Workshop Proceedings
Details
Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20)
Volume 2672, September 2020. CEUR-WS.org
Details
Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017
Volume 10775 of LNCS, 2018. Springer
Details
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
Volume 11155 of LNCS, 2018. Springer
Details
Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
Proceedings of the 6th International Workshop "What can FCA do for Artificial Intelligence?"
Volume 2149 of CEUR Workshop Proceedings, 2018. CEUR-WS.org
Details
Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details
Sarah Alice Gaggl, Matthias Thimm
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16)
Volume abs/1608.02441, September 2016. CoRR
Details Download
Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Straß
Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)
Volume abs/1611.02439, November 2016. CoRR
Details Download
Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza Nyssen, Sebastian Rudolph
KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI
Volume 9324 of LNAI, 2015. Springer
Details
Karell Bertet, Sebastian Rudolph
Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014
Volume 1252 of CEUR, October 2014. CEUR Workshop Proceedings
Details
Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales
Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
Volume 8323 of Lecture Notes in Computer Science, 2014. Springer
Details
Philipp Cimiano, Óscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph
The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings
Volume 7882 of Lecture Notes in Computer Science, 2013. Springer
Details
Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013), Beijing, China, August 5, 2013
Volume 1058 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
Details Download
Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang
Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings
Volume 7999 of Lecture Notes in Computer Science, 2013. Springer
Details
Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen
Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings
Volume 8067 of Lecture Notes in Computer Science, 2013. Springer
Details
Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Volume 7205 of Lecture Notes in Computer Science, 2012. Springer
Details
Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011
Volume 745 of CEUR, July 2011. CEUR Workshop Proceedings
Details
Sebastian Rudolph, Claudio Gutierrez
Web Reasoning and Rule Systems - 5th International Conference (RR 2011)
Volume 6902 of LNCS, August 2011. Springer
Details
Sébastien Ferré, Sebastian Rudolph
Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings
Volume 5548 of LNAI, May 2009. Springer
Details
Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Conceptual Structures: Leveraging Semantic Technologies
Volume 5662 of LNCS, July 2009. Springer
Details
Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Supplementary Proceedings of ICCS'09
Volume 483 of CEUR Workshop Proceedings, July 2009. CEUR
Details
Karl Erich Wolff, Sebastian Rudolph, Sébastien Ferré
Contributions to ICFCA 2009
, May 2009. Verlag Allgemeine Wissenschaft
Details
Madalina Croitoru, Robert Jäschke, Sebastian Rudolph
Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)
Volume 352 of CEUR Workshop Proceedings, July 2008. CEUR
Details
Pascal Hitzler, Thomas Roth-Berghofer, Sebastian Rudolph
Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007
Volume 277 of CEUR Workshop Proceedings, September 2007. CEUR
Details
Doctoral Theses
Bartosz Bednarczyk
Database-Inspired Reasoning Problems in Description Logics With Path Expressions
Phd thesis, Technischen Universitat Dresden, 2024/06/25
Details Download
Tim Lyon
Refining Labelled Systems for Modal and Constructive Logics with Applications
Phd thesis, Technische Universität Wien, 2021/07/29
Details
Luisa Herrmann
Weighted Automata with Storage
Phd thesis, Technische Universität Dresden, 2020/09/29
Details Download
Gromann Dagmar
Design and evaluation of an ontology-terminology model for the interchange of terminological data: an approach to multilingual conceptual modeling as exemplified in the domain of finance
Phd thesis, Universität Wien, 2015/09/17
Details
Sarah Alice Gaggl
A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation
Phd thesis, TU Wien, 2013/03/04
Details Download
Technical Reports
Dörthe Arndt, Stephan Mennike
Existential Notation3 Logic
Technical Report, ICCL, April 2024. Submission to Theory and Practice of Logic Programming
Details
Bartosz Bednarczyk
Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics
Technical Report, arXiv.org, August 2021. Technical Report
Details Download
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
Technical Report, arXiv.org, volume 2010.05677, October 2020
Details Download
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
Technical Report, Computational Logic Group, 2019
Details Download
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer Set Programming
Technical Report, arXiv.org, December 2019
Details
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and Results of the Second International Competition on Computational Models of Argumentation
Technical Report, arXiv.org, volume CoRR abs/1909.00621, September 2019
Details Download
Martin Diller, Anthony Hunter
Encoding monotonic multi-set preferences using CI-nets: preliminary report
Technical Report, arXiv.org, 2016
Details
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Reasonable Highly Expressive Query Languages: Extended Technical Report
Technical Report, TU Dresden, May 2015
Details Download
Sebastian Rudolph, Michaël Thomazo
Characterization of the Expressivity of Existential Rule Queries
Technical Report, TU Dresden, volume IJCAI-15-RT-RR, May 2015
Details Download
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Query Containment for Highly Expressive Datalog Fragments
Technical Report, arXiv.org, volume CoRR abs/1406.7801, January 2014
Details Download
Štěpán Holub, Tomáš Masopust, Michaël Thomazo
Alternating Towers and Piecewise Testable Separators
Technical Report, arXiv.org, volume CoRR abs/1409.3943, September 2014
Details Download
Sebastian Rudolph, Birte Glimm
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend
Technical Report, Technischen Universität Dresden, 2014
Details
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules
Technical Report, University of Montpellier 2, 2013
Details Download
Anees ul Mehdi, Sebastian Rudolph, Jens Wissman
EQuIKa: Epistemic Querying in OWL 2 Ontologies
Technical Report, AIFB, April 2013. Technical Report
Details Download
Wolfgang Dvořák, Sarah Alice Gaggl
Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics
Technical Report, Technische Universität Wien, volume DBAI-TR-2012-78, 2012
Details Download
Sarah Alice Gaggl, Stefan Woltran
The cf2 Argumentation Semantics Revisited
Technical Report, Technische Universität Wien, volume DBAI-TR-2012-77, 2012
Details Download
Markus Krötzsch, Sebastian Rudolph
Conjunctive Query Answering for Directional Rules
Technical Report, Institut AIFB, KIT, May 2012. Technical Report
Details
Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
Modeling in OWL 2 without Restriction
Technical Report, Technischen Universität Dresden, 2012
Details
Anees ul Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logic and Rules under MH Semantics
Technical Report, Institut AIFB, KIT, July 2012. Technical Report
Details Download
Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Making Use of Advances in Answer-Set Programming for Abstract Argumentation System
Technical Report, arXiv.org, volume abs/1108.4942, 2011. Paper appears in the Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)
Details Download
Sarah Alice Gaggl, Stefan Woltran
Strong Equivalence for Argumentation Semantics based on Conflict-free Sets
Technical Report, Technische Universität Wien, volume DBAI-TR-2011-68, 2011
Details Download
Markus Krötzsch, Sebastian Rudolph
Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules
Technical Report, Institut AIFB, KIT, volume 3011, January 2011
Details Download
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Technical Report, Institut AIFB, KIT, April 2011
Details Download
Sebastian Rudolph, Michael Schneider
On the Utility and Feasibility of Reasoning with Undecidable Semantic Web Formalisms
Technical Report, Institut AIFB, KIT, July 2011. Technical Report
Details Download
Anees ul Mehdi, Sebastian Rudolph
Revisiting Semantics for Epistemic Extensions of Description Logics
Technical Report, Institut AIFB, KIT, August 2011
Details Download
Birte Glimm, Sebastian Rudolph, Johanna Völker
Integrated Metamodeling and Diagnosis in OWL 2
Technical Report, Institut AIFB, KIT, September 2010
Details Download
Anees ul Mehdi, Sebastian Rudolph, Stephen Grimm
Epistemic Queries for OWL
Technical Report, Institut AIFB, KIT, December 2010
Details Download
Birte Glimm, Sebastian Rudolph
Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend!
Technical Report, Oxford University, volume 2000, March 2009
Details Download
Markus Krötzsch, Sebastian Rudolph
Finding the Largest Datalog Fragment of Description Logic
Technical Report 3002, Institute AIFB, KIT, November 2009
Details
Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
Answer-Set Programming Encodings for Argumentation Frameworks
Technical Report, Technische Universität Wien, volume DBAI-TR-2008-62, 2008
Details Download
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Expressive Tractable Description Logics based on SROIQ Rules
Technical Report, Universität Karlsruhe (TH), volume 1724, February 2008
Details
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
Technical Report, Institut AIFB, Universität Karlsruhe (TH), volume 1752, April 2008
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
Technical Report, Institut AIFB, KIT, February 2008
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
Technical Report, Institut AIFB, Universität Karlsruhe, volume 1753, April 2008
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
Technical Report, Universität Karlsruhe (TH), volume 1767, May 2008
Details
Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
Technical Report, Institute AIFB, University of Karlsruhe, volume 1731, March 2008
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
OBDD-based Tbox Reasoning in SHIQ
Technical Report, Universität Karlsruhe, volume 1751, January 2008
Details
Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with SCREECH
Technical Report, Institute AIFB, University of Karlsruhe, volume 1729, March 2008
Details
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity of Horn Description Logics
Technical Report, Instistute AIFB, Universität Karlsruhe, volume 1432, February 2007
Details
Sebastian Rudolph
Generalized Domain-Range Restrictions
Technical Report, Institute AIFB, University of Karlsruhe, volume 1516, July 2007
Details Download
Project Deliverables
Zhisheng Huang, Annette ten Teije, Frank van Harmelen, Gaston Tagni, Hansjorg Neth, Lael Schooler, Sebastian Rudolph, Pascal Hitzler, Tuvshintur Tserendorj, Yi Huang, Danica Damljanovic, Angus Roberts
D1.4.1 Initial Framework for Measuring and Evaluating Heuristic Problem Solving
Vrije Universiteit Amsterdam, LarKC Project Deliverable, September 2009
Details
Peter Haase, Sebastian Rudolph, Yimin Wang, Saartje Brockmans, Raul Palma, Jérôme Euzenat, Mathieu d'Aquin
D1.1.1 Networked Ontology Model
Universität Karlsruhe (TH), (D1.1.1), NeOn Project Deliverable, November 2006
Details
Peter Haase, Pascal Hitzler, Sebastian Rudolph, Guilin Qi, Marko Grobelnik, Igor Mozetic, Damjan Bojadziev, Jérôme Euzenat, Mathieu d'Aquin, Aldo Gangemi, Carola Catenacci
D3.1.1 Context Languages - State of the Art
Universität Karlsruhe (TH), (D3.1.1), NeOn Project Deliverable, August 2006
Details
Pascal Hitzler, Peter Dolog, Perry Groot, Michel Klein, Malgorzata Mochol, Lyndon Nixon, Linda Peelen, Sebastian Rudolph, Stefan Schlobach, Heiner Stuckenschmidt, Denny Vrandečić, Holger Wache
Report on realizing practical approximate and distributed reasoning for ontologies
AIFB, University of Karlsruhe, December 2006
Details Download
Talks and Miscellaneous
Hannes Strass
What Can Approximation Fixpoint Theory Do For (Abstract) Argumentation?
Tutorial at SSA, September 2024
Details
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
flexABle – System Description for ICCMA 2023
System description for ICCMA 2023, 2023
Details Download
Sebastian Rudolph
Künstliche Intelligenz, quo vadis?
Jahrbuch des Verbandes der Anbieter von Telekommunikations- und Mehrwertdiensten (VATM), April 2019
Details Download
Sarah Alice Gaggl, Norbert Manthey
ASPARTIX-D Ready for the Competition
Presentation at Argumentation Spring Meeting 2015, Leipzig, April 2015
Details Download
Uwe Egly, Sarah Alice Gaggl, Paul Wandl, Stefan Woltran
ASPARTIX Conquers the Web
Software demonstration at the 3rd International Conference on Computational Models of Argument (COMMA 2010), 2010
Details Download
Sarah Alice Gaggl
ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming
Poster at Advanced Course on Artificial Intelligence Summer School (ACAI 2009), 2009
Details Download
