EASE-related Publications

Shown Category: Knowledge

2020

[1] Enabling cognitive behavior of humans, animals, and machines: A situation model framework
Werner X Schneider, Josefine Albert, Helge Ritter, "Enabling cognitive behavior of humans, animals, and machines: A situation model framework", In ZiF-Mitteilungen, vol. 1, pp. 21-34, 2020.
[bib]
[2] ``Knowing From'' -- An Outlook on Ontology Enabled Knowledge Transfer for Robotic Systems
Mohammed Diab, Mihai Pomarlan, Daniel Beßler, Stefano Borgo, Jan Rosell, "``Knowing From'' -- An Outlook on Ontology Enabled Knowledge Transfer for Robotic Systems", In Proceedings of the 1st Workshop on Ontology for Autonomous Robots (RobOntics) 2020, 2020.
[bib]
[3] Human, we have a problem: What to say when things go wrong
Mihai Pomarlan, Vanja Sophie Cangalovic, Robert Porzel, John Bateman, "Human, we have a problem: What to say when things go wrong", In Proceedings of the NLG for HRI Workshop at the International Conference on Human–Robot Interaction, Cambridge, UK, 2020.
[bib]
[4] We Asked 100 People: How Would You Train Our Robot?
Johannes Pfau, Rainer Malaka, "We Asked 100 People: How Would You Train Our Robot?", In Extended Abstracts of the 2020 Annual Symposium on Computer-Human Interaction in Play, pp. 335-339, 2020.
[bib]
[5] The Case for Usable AI: What Industry Professionals Make of Academic AI in Video Games
Johannes Pfau, Jan David Smeddinck, Rainer Malaka, "The Case for Usable AI: What Industry Professionals Make of Academic AI in Video Games", In Extended Abstracts Publication of the Annual Symposium on Computer-Human Interaction in Play., 2020.
[bib]
[6] Enemy within: Long-term motivation effects of deep player behavior models for dynamic difficulty adjustment
Johannes Pfau, Jan David Smeddinck, Rainer Malaka, "Enemy within: Long-term motivation effects of deep player behavior models for dynamic difficulty adjustment", In Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems, pp. 1-10, 2020.
[bib]
[7] Dungeons & replicants: automated game balancing via deep player behavior modeling
Johannes Pfau, Antonios Liapis, Georg Volkmar, Georgios N Yannakakis, Rainer Malaka, "Dungeons & replicants: automated game balancing via deep player behavior modeling", In 2020 IEEE Conference on Games (CoG), pp. 431-438, 2020.
[bib]
[8] Bot or not? user perceptions of player substitution with deep player behavior models
Johannes Pfau, Jan David Smeddinck, Ioannis Bikas, Rainer Malaka, "Bot or not? user perceptions of player substitution with deep player behavior models", In Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems, pp. 1-10, 2020.
[bib]
[9] Using Linked Data to Help Robots Understand Product-related Actions
Michaela Kümpel, Anna de Groot, Ilaria Tiddi, Michael Beetz, "Using Linked Data to Help Robots Understand Product-related Actions", In JOWO 2020, The Joint Ontology Workshops, vol. 2708, 2020.
[pdf] [bib]
[10] The Robot Household Marathon Experiment
Gayane Kazhoyan, Simon Stelter, Franklin Kenghagho Kenfack, Sebastian Koralewski, Michael Beetz, "The Robot Household Marathon Experiment", 2020.
[pdf] [bib]
[11] Logical separability of incomplete data under ontologies
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter, "Logical separability of incomplete data under ontologies", In arXiv preprint arXiv:2007.01610, 2020.
[bib]
[12] Modelling Episodes with Generic Ontology Design Patterns
Bernd Krieg-Brückner, Mihai Codescu, Mihai Pomarlan, "Modelling Episodes with Generic Ontology Design Patterns", In Proceedings of the Workshop on Scalable Knowledge Graph Engineering 2020, 2020.
[bib]
[13] A Formal Model of Affordances for Flexible Robotic Task Execution
Daniel Beßler, Robert Porzel, Mihai Pomarlan, Michael Beetz, Rainer Malaka, John Bateman, "A Formal Model of Affordances for Flexible Robotic Task Execution", In European Conference on Artificial Intelligence (ECAI), 2020.
[bib]
[14] Enhancing Game-Based Learning Through Infographics in the Context of Smart Home Security
Mehrdad Bahrini, Nima Zargham, Johannes Pfau, Stella Lemke, Karsten Sohr, Rainer Malaka, "Enhancing Game-Based Learning Through Infographics in the Context of Smart Home Security", In Joint International Conference on Entertainment Computing and Serious Games, 2020.
[bib]
[15] Driven by Commonsense: On the Role of Human-Centred Visual Explainability for Autonomous Vehicles
Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan, "Driven by Commonsense: On the Role of Human-Centred Visual Explainability for Autonomous Vehicles", In ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), IOS Press, vol. 325, pp. 2939-2940, 2020.
[pdf] [bib] [doi]
[16] A Journey into Ontology Approximation: From Non-Horn to Horn
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter, "A Journey into Ontology Approximation: From Non-Horn to Horn", In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, ijcai.org, pp. 1827-1833, 2020.
[bib]
[17] Least General Generalizations in Description Logic: Verification and Existence
Jean Christoph Jung, Carsten Lutz, Frank Wolter, "Least General Generalizations in Description Logic: Verification and Existence", In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020, AAAI Press, pp. 2854-2861, 2020.
[bib]
[18] Cognitive Vision and Perception: Deep Semantics Integrating AI and Vision for Reasoning about Space, Motion, and Interaction
Mehul Bhatt, Jakob Suchan, "Cognitive Vision and Perception: Deep Semantics Integrating AI and Vision for Reasoning about Space, Motion, and Interaction", In ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), IOS Press, vol. 325, pp. 2881-2882, 2020.
[pdf] [bib] [doi]

2019

[19] Player Types and Achievements--Using Adaptive Game Design to Foster Intrinsic Motivation
Georg Volkmar, Johannes Pfau, Rudolf Teise, Rainer Malaka, "Player Types and Achievements--Using Adaptive Game Design to Foster Intrinsic Motivation", In Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts, pp. 747-754, 2019.
[bib]
[20] Give MEANinGS to Robots with Kitchen Clash: A VR Human Computation Serious Game for World Knowledge Accumulation
Johannes Pfau, Robert Porzel, Mihai Pomarlan, Vanja Sophie Cangalovic, Supara Grudpan, Sebastian Höffner, John Bateman, Rainer Malaka, "Give MEANinGS to Robots with Kitchen Clash: A VR Human Computation Serious Game for World Knowledge Accumulation", In Joint International Conference on Entertainment Computing and Serious Games, pp. 85-96, 2019.
[bib]
[21] Deep Player Behavior Models: Evaluating a Novel Take on Dynamic Difficulty Adjustment
Johannes Pfau, Jan David Smeddinck, Rainer Malaka, "Deep Player Behavior Models: Evaluating a Novel Take on Dynamic Difficulty Adjustment", In Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, pp. LBW0171, 2019.
[pdf] [bib] [doi]
[22] Can You Rely on Human Computation?: A Large-scale Analysis of Disruptive Behavior in Games With A Purpose
Johannes Pfau, Rainer Malaka, "Can You Rely on Human Computation?: A Large-scale Analysis of Disruptive Behavior in Games With A Purpose", In Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts, pp. 605-610, 2019.
[pdf] [bib]
[23] Automated models of human everyday activity based on game and virtual reality technology
Andrei Haidu, Michael Beetz, "Automated models of human everyday activity based on game and virtual reality technology", In 2019 International Conference on Robotics and Automation (ICRA), pp. 2606-2612, 2019.
[bib]
[24] Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter, "Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?", In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, ijcai.org, pp. 1682-1688, 2019.
[pdf] [bib] [doi]
[25] An Ontology for Failure Interpretation in Automated Planning and Execution
Mohammed Diab, Mihai Pomarlan, Daniel Beßler, Aliakbar Abkari, Jan Rossel, John Bateman, Michael Beetz, "An Ontology for Failure Interpretation in Automated Planning and Execution", In Fourth Iberian Robotics Conference, Porto, Portugal, 2019.
[bib]
[26] Get a Grip! Introducing Variable Grip for Controller-Based VR Systems
Michael Bonfert, Robert Porzel, Rainer Malaka, "Get a Grip! Introducing Variable Grip for Controller-Based VR Systems", In 2019 IEEE Conference on Virtual Reality and 3D User Interfaces (VR), pp. 604-612, 2019.
[bib]
[27] Foundational Models for Manipulation Activity Parsing
Daniel Beßler, Robert Porzel, Pomarlan Mihai, Michael Beetz, "Foundational Models for Manipulation Activity Parsing", Chapter in Augmented Reality and Virtual Reality -- Changing Realities in a Dynamic World, Springer, 2019. 978-3-030-37869-1
[pdf] [bib]
[28] Out of Sight But Not Out of Mind: An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving
Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan, "Out of Sight But Not Out of Mind: An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving", In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, ijcai.org, pp. 1879-1885, 2019. (received Distinguished Paper Honorable Mention Award)
[pdf] [bib] [doi]
[29] A Semantic-Based Method for Teaching Industrial Robots New Tasks
Karinne Ramirez-Amaro, Emmanuel Dean-Leon, Florian Bergner, Gordon Cheng, "A Semantic-Based Method for Teaching Industrial Robots New Tasks", In KI - Künstliche Intelligenz, 2019.
[pdf] [bib] [doi]
[30] Ontology Approximation in Horn Description Logics
Anneke Bötcher, Carsten Lutz, Frank Wolter, "Ontology Approximation in Horn Description Logics", In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, ijcai.org, pp. 1574-1580, 2019.
[bib]
[31] PTime Combined Complexity and FPT in Ontology-Mediated Querying
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris, "PTime Combined Complexity and FPT in Ontology-Mediated Querying", In Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019, CEUR-WS.org, vol. 2373, 2019.
[bib]
[32] Deep Semantics for Explainable Visuospatial Intelligence: Perspectives on Integrating Commonsense Spatial Abstractions and Low-Level Neural Features
Mehul Bhatt, Jakob Suchan, Srikrishna Varadarajan, "Deep Semantics for Explainable Visuospatial Intelligence: Perspectives on Integrating Commonsense Spatial Abstractions and Low-Level Neural Features", In NeSy 2019: In Proceedings of 14th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy), at IJCAI 2019, Macao, China, August 9, 2019, 2019.
[bib]

2018

[33] A Text to Animation System for Physical Exercises
Himangshu Sarma, Robert Porzel, Jan D Smeddinck, Rainer Malaka, Arun Baran Samaddar, "A Text to Animation System for Physical Exercises", In The Computer Journal, Oxford University Press, vol. 61, no. 11, pp. 1589-1604, 2018.
[pdf] [bib] [doi]
[34] A manageable model for experimental research data: An empirical study in the materials sciences
Susanne Putze, Robert Porzel, Gian-Luca Savino, Rainer Malaka, "A manageable model for experimental research data: An empirical study in the materials sciences", In International conference on advanced information systems engineering, pp. 424-439, 2018.
[bib]
[35] From sensors to sense: Integrated heterogeneous ontologies for Natural Language Generation
Mihai Pomarlan, Robert Porzel, John Bateman, Rainer Malaka, "From sensors to sense: Integrated heterogeneous ontologies for Natural Language Generation", In Proceedings of the Workshop on NLG for Human--Robot Interaction, pp. 17-21, 2018.
[bib]
[36] Grounding Robot Plans from Natural Language Instructions with Incomplete World Knowledge
Daniel Nyga, Subhro Roy, Rohan Paul, Daehyung Park, Mihai Pomarlan, Michael Beetz, Nicholas Roy, "Grounding Robot Plans from Natural Language Instructions with Incomplete World Knowledge", In Proceedings of The 2nd Conference on Robot Learning, PMLR, vol. 87, , pp. 714-723, 2018.
[pdf] [bib]
[37] Grounding Robot Plans from Natural Language Instructions with Incomplete World Knowledge
Daniel Nyga, Subhro Roy, Rohan Paul, Daehyung Park, Mihai Pomarlan, Michael Beetz, Nicholas Roy, "Grounding Robot Plans from Natural Language Instructions with Incomplete World Knowledge", In 2nd Conference on Robot Learning (CoRL 2018), Zurich, Switzerland, 2018.
[pdf] [bib]
[38] URoboSim - Game Engine-based Robot Simulator for Knowledge Generation
Michael Neumann, Michael Beetz, "URoboSim - Game Engine-based Robot Simulator for Knowledge Generation", In IROS 2018, Workshop on Latest Advances in Big Activity Data Sources for Robotics & New Challenges, 2018.
[bib]
[39] KnowRobSIM—Game Engine-Enabled Knowledge Processing Towards Cognition-Enabled Robot Control
Andrei Haidu, Daniel Beßler, Asil Kaan Bozcuo\uglu, Michael Beetz, "KnowRobSIM—Game Engine-Enabled Knowledge Processing Towards Cognition-Enabled Robot Control", In 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 4491-4498, 2018.
[pdf] [bib] [doi]
[40] The Exchange of Knowledge using Cloud Robotics
Asil Kaan Bozcuoglu, Gayane Kazhoyan, Yuki Furuta, Simon Stelter, Michael Beetz, Kei Okada, Masayuki Inaba, "The Exchange of Knowledge using Cloud Robotics", In International Conference on Robotics and Automation (ICRA), Brisbane, Australia, 2018. Nominated for the Cognitive Award and the Service Award
[pdf] [bib]
[41] The Exchange of Knowledge using Cloud Robotics
Asil Kaan Bozcuoglu, Gayane Kazhoyan, Yuki Furuta, Simon Stelter, Michael Beetz, Kei Okada, Masayuki Inaba, "The Exchange of Knowledge using Cloud Robotics", In Robotics and Automation Letters, IEEE, vol. 3, no. 2, pp. 1072-1079, 2018.
[pdf] [bib] [doi]
[42] Acquiring Knowledge of Object Arrangements from Human Examples for Household Robots
Lisset Salinas Pinacho, Alexander Wich, Fereshta Yazdani, Michael Beetz, "Acquiring Knowledge of Object Arrangements from Human Examples for Household Robots", In KI 2018: Advances in Artificial Intelligence: 41st German Conference on AI, Berlin, Germany, September 24--28, 2018, Proceedings, vol. 11117, pp. 131, 2018.
[pdf] [bib]
[43] Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects
Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl P. L. Schultz, "Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects", In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018, AAAI Press, pp. 1965-1972, 2018.
[pdf] [bib]
[44] Answer Set Programming Modulo 'Space-Time'
Carl P. L. Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega, "Answer Set Programming Modulo 'Space-Time'", In Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings, Springer, vol. 11092, pp. 318-326, 2018.
[pdf] [bib] [doi]
[45] Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter, "Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying", In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden, ijcai.org, pp. 1861-1867, 2018.
[bib]
[46] Complete Approximations of Horn DL Ontologies
Anneke Bötcher, Carsten Lutz, Frank Wolter, "Complete Approximations of Horn DL Ontologies", In Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018, CEUR-WS.org, vol. 2211, 2018.
[bib]

2017

[47] Guidelines for Improving Task-based Natural Language Understanding in Human-Robot Rescue Teams
Fereshta Yazdani, Matthias Scheutz, Michael Beetz, "Guidelines for Improving Task-based Natural Language Understanding in Human-Robot Rescue Teams", In Proceedings of the 2017 8th IEEE International Conference on Cognitive Infocommunications (CogInfoCom), Debrecen, Hungary, 2017.
[bib]
[48] Task Parametrization through Multi-modal Analysis of Robot Experiences (Extended Abstract)
Jan Winkler, Asil Kaan Bozcuoglu, Mihai Pomarlan, Michael Beetz, "Task Parametrization through Multi-modal Analysis of Robot Experiences (Extended Abstract)", In Proceedings of the 2017 International Conference on Autonomous Agents, Sao Paulo, Brazil, 2017.
[bib]
[49] Deep Semantic Abstractions of Everyday Human Activities - On Commonsense Representations of Human Interactions
Jakob Suchan, Mehul Bhatt, "Deep Semantic Abstractions of Everyday Human Activities - On Commonsense Representations of Human Interactions", In ROBOT 2017: Third Iberian Robotics Conference - Volume 1, Seville, Spain, November 22-24, 2017, Springer, vol. 693, pp. 477-488, 2017.
[pdf] [bib] [doi]
[50] Commonsense Scene Semantics for Cognitive Robotics: Towards Grounding Embodied Visuo-Locomotive Interactions
Jakob Suchan, Mehul Bhatt, "Commonsense Scene Semantics for Cognitive Robotics: Towards Grounding Embodied Visuo-Locomotive Interactions", In 2017 IEEE International Conference on Computer Vision Workshops, ICCV Workshops 2017, Venice, Italy, October 22-29, 2017, IEEE Computer Society, pp. 742-750, 2017.
[pdf] [bib] [doi]

2016

[51] Open Robotics Research Using Web-based Knowledge Services
M. Beetz, D. Beßler, J. Winkler, J.-H. Worch, F. Bálint-Benczédi, G. Bartels, A. Billard, A. K. Bozcuoglu, Z. Fang, N. Figueroa, Andrei Haidu, H. Langer, A. Maldonado, A. Pais, M. Tenorth, T. Wiedemeyer, "Open Robotics Research Using Web-based Knowledge Services", In International Conference on Robotics and Automation (ICRA), Stockholm, Sweden, 2016.
[pdf] [bib]
[52] Scaling Perception Towards Autonomous Object Manipulation --- In Knowledge Lies the Power
Ferenc Bálint-Benczédi, Patrick Mania, Michael Beetz, "Scaling Perception Towards Autonomous Object Manipulation --- In Knowledge Lies the Power", In International Conference on Robotics and Automation (ICRA), Stockholm, Sweden, 2016.
[bib]
[53] ParCoSS: Efficient Parallelized Compiled Symbolic Simulation
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler, "ParCoSS: Efficient Parallelized Compiled Symbolic Simulation", In Computer Aided Verification, 2016.
[bib]
[54] Extended Kalman filter with manifold state representation for navigating a maneuverable melting probe
Joachim Clemens, Kerstin Schill, "Extended Kalman filter with manifold state representation for navigating a maneuverable melting probe", In , 2016.
[bib]

2015

[55] Online prediction of activities with structure: Exploiting contextual associations and sequences
Nicholas H Kirk, Karinne Ramírez-Amaro, Emmanuel Dean-León, Matteo Saveriano, Gordon Cheng, "Online prediction of activities with structure: Exploiting contextual associations and sequences", In 15th IEEE-RAS International Conference on Humanoid Robots, pp. 744-749, 2015.
[bib]
[56] Robots, Pancakes, and Computer Games: Designing Serious Games for Robot Imitation Learning
Benjamin Walther-Franks, Jan Smeddinck, Peter Szmidt, Andrei Haidu, Michael Beetz, Rainer Malaka, "Robots, Pancakes, and Computer Games: Designing Serious Games for Robot Imitation Learning", In Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems (CHI '15), New York, NY, USA, 2015.
[pdf] [bib]

2013

[57] Fast Temporal Projection Using Accurate Physics-Based Geometric Reasoning
Lorenz Mösenlechner, Michael Beetz, "Fast Temporal Projection Using Accurate Physics-Based Geometric Reasoning", In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), Karlsruhe, Germany, pp. 1821-1827, 2013.
[bib]

2012

[58] Knowledge Enabled High-Level Task Abstraction and Execution
Jan Winkler, Georg Bartels, Lorenz Mösenlechner, Michael Beetz, "Knowledge Enabled High-Level Task Abstraction and Execution", In First Annual Conference on Advances in Cognitive Systems, vol. 2, no. 1, Palo Alto, CA, pp. 131-148, 2012.
[pdf] [bib]
[59] An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic $\mathcalE\!\!\:L$
Carsten Lutz, Inanç Seylan, Frank Wolter, "An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic $\mathcalE\!\!\:L$", In KR-12, AAAI Press, 2012.
[bib]
[60] Non-Uniform Data Complexity of Query Answering in Description Logics
Carsten Lutz, Frank Wolter, "Non-Uniform Data Complexity of Query Answering in Description Logics", In KR-12, 2012.
[bib]

2011

[61] Parameterizing Actions to have the Appropriate Effects
Lorenz Mösenlechner, Michael Beetz, "Parameterizing Actions to have the Appropriate Effects", In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), San Francisco, CA, USA, 2011.
[bib]
[62] Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability
Carsten Lutz, Robert Piro, Frank Wolter, "Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability", In IJCAI-11, IJCAI/AAAI, pp. 983-988, 2011.
[bib]
[63] Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics
Carsten Lutz, Frank Wolter, "Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics", In IJCAI-11, IJCAI/AAAI, pp. 989-995, 2011.
[bib]

Close Menu