OASIcs, Volume 99
AIB 2022, June 7-11, 2022, University of Bergen, Norway
Editors: Camille Bourgaux, Ana Ozaki, and Rafael Peñaloza
LIPIcs, Volume 178
TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy
Editors: Emilio Muñoz-Velasco, Ana Ozaki, and Martin Theobald
Published in: Dagstuhl Manifestos, Volume 10, Issue 1 (2024)
James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, and Frank Wolter. Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). In Dagstuhl Manifestos, Volume 10, Issue 1, pp. 1-61, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{delgrande_et_al:DagMan.10.1.1, author = {Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Wolter, Frank}, title = {{Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282)}}, pages = {1--61}, journal = {Dagstuhl Manifestos}, ISSN = {2193-2433}, year = {2024}, volume = {10}, number = {1}, editor = {Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Wolter, Frank}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagMan.10.1.1}, URN = {urn:nbn:de:0030-drops-201403}, doi = {10.4230/DagMan.10.1.1}, annote = {Keywords: Knowledge representation and reasoning, Applications of logics, Declarative representations, Formal logic} }
Published in: TGDK, Volume 2, Issue 1 (2024): Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge, Volume 2, Issue 1
Pablo R. Fillottrani and C. Maria Keet. Logics for Conceptual Data Modelling: A Review. In Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge (TGDK), Volume 2, Issue 1, pp. 4:1-4:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{fillottrani_et_al:TGDK.2.1.4, author = {Fillottrani, Pablo R. and Keet, C. Maria}, title = {{Logics for Conceptual Data Modelling: A Review}}, journal = {Transactions on Graph Data and Knowledge}, pages = {4:1--4:30}, ISSN = {2942-7517}, year = {2024}, volume = {2}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/TGDK.2.1.4}, URN = {urn:nbn:de:0030-drops-198616}, doi = {10.4230/TGDK.2.1.4}, annote = {Keywords: Conceptual Data Modelling, EER, UML, Description Logics, OWL} }
Published in: OASIcs, Volume 99, International Research School in Artificial Intelligence in Bergen (AIB 2022)
International Research School in Artificial Intelligence in Bergen (AIB 2022). Open Access Series in Informatics (OASIcs), Volume 99, pp. 1-180, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Proceedings{bourgaux_et_al:OASIcs.AIB.2022, title = {{OASIcs, Volume 99, AIB 2022, Complete Volume}}, booktitle = {International Research School in Artificial Intelligence in Bergen (AIB 2022)}, pages = {1--180}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-228-0}, ISSN = {2190-6807}, year = {2022}, volume = {99}, editor = {Bourgaux, Camille and Ozaki, Ana and Pe\~{n}aloza, Rafael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.AIB.2022}, URN = {urn:nbn:de:0030-drops-159976}, doi = {10.4230/OASIcs.AIB.2022}, annote = {Keywords: OASIcs, Volume 99, AIB 2022, Complete Volume} }
Published in: OASIcs, Volume 99, International Research School in Artificial Intelligence in Bergen (AIB 2022)
International Research School in Artificial Intelligence in Bergen (AIB 2022). Open Access Series in Informatics (OASIcs), Volume 99, pp. 0:i-0:x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{bourgaux_et_al:OASIcs.AIB.2022.0, author = {Bourgaux, Camille and Ozaki, Ana and Pe\~{n}aloza, Rafael}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {International Research School in Artificial Intelligence in Bergen (AIB 2022)}, pages = {0:i--0:x}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-228-0}, ISSN = {2190-6807}, year = {2022}, volume = {99}, editor = {Bourgaux, Camille and Ozaki, Ana and Pe\~{n}aloza, Rafael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.AIB.2022.0}, URN = {urn:nbn:de:0030-drops-159984}, doi = {10.4230/OASIcs.AIB.2022.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: OASIcs, Volume 99, International Research School in Artificial Intelligence in Bergen (AIB 2022)
Aidan Hogan. Knowledge Graphs: A Guided Tour (Invited Paper). In International Research School in Artificial Intelligence in Bergen (AIB 2022). Open Access Series in Informatics (OASIcs), Volume 99, pp. 1:1-1:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{hogan:OASIcs.AIB.2022.1, author = {Hogan, Aidan}, title = {{Knowledge Graphs: A Guided Tour}}, booktitle = {International Research School in Artificial Intelligence in Bergen (AIB 2022)}, pages = {1:1--1:21}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-228-0}, ISSN = {2190-6807}, year = {2022}, volume = {99}, editor = {Bourgaux, Camille and Ozaki, Ana and Pe\~{n}aloza, Rafael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.AIB.2022.1}, URN = {urn:nbn:de:0030-drops-159999}, doi = {10.4230/OASIcs.AIB.2022.1}, annote = {Keywords: knowledge graphs} }
Published in: OASIcs, Volume 99, International Research School in Artificial Intelligence in Bergen (AIB 2022)
Ricardo Guimarães and Ana Ozaki. Reasoning in Knowledge Graphs (Invited Paper). In International Research School in Artificial Intelligence in Bergen (AIB 2022). Open Access Series in Informatics (OASIcs), Volume 99, pp. 2:1-2:31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{guimaraes_et_al:OASIcs.AIB.2022.2, author = {Guimar\~{a}es, Ricardo and Ozaki, Ana}, title = {{Reasoning in Knowledge Graphs}}, booktitle = {International Research School in Artificial Intelligence in Bergen (AIB 2022)}, pages = {2:1--2:31}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-228-0}, ISSN = {2190-6807}, year = {2022}, volume = {99}, editor = {Bourgaux, Camille and Ozaki, Ana and Pe\~{n}aloza, Rafael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.AIB.2022.2}, URN = {urn:nbn:de:0030-drops-160005}, doi = {10.4230/OASIcs.AIB.2022.2}, annote = {Keywords: Knowledge Graphs, Description Logics, Knowledge Graph Embeddings} }
Published in: OASIcs, Volume 99, International Research School in Artificial Intelligence in Bergen (AIB 2022)
Zied Bouraoui, Víctor Gutiérrez-Basulto, and Steven Schockaert. Integrating Ontologies and Vector Space Embeddings Using Conceptual Spaces (Invited Paper). In International Research School in Artificial Intelligence in Bergen (AIB 2022). Open Access Series in Informatics (OASIcs), Volume 99, pp. 3:1-3:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{bouraoui_et_al:OASIcs.AIB.2022.3, author = {Bouraoui, Zied and Guti\'{e}rrez-Basulto, V{\'\i}ctor and Schockaert, Steven}, title = {{Integrating Ontologies and Vector Space Embeddings Using Conceptual Spaces}}, booktitle = {International Research School in Artificial Intelligence in Bergen (AIB 2022)}, pages = {3:1--3:30}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-228-0}, ISSN = {2190-6807}, year = {2022}, volume = {99}, editor = {Bourgaux, Camille and Ozaki, Ana and Pe\~{n}aloza, Rafael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.AIB.2022.3}, URN = {urn:nbn:de:0030-drops-160015}, doi = {10.4230/OASIcs.AIB.2022.3}, annote = {Keywords: Conceptual Spaces, Ontologies, Vector Space Embeddings, Learning and Reasoning} }
Published in: OASIcs, Volume 99, International Research School in Artificial Intelligence in Bergen (AIB 2022)
Armand Boschin, Nitisha Jain, Gurami Keretchashvili, and Fabian Suchanek. Combining Embeddings and Rules for Fact Prediction (Invited Paper). In International Research School in Artificial Intelligence in Bergen (AIB 2022). Open Access Series in Informatics (OASIcs), Volume 99, pp. 4:1-4:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{boschin_et_al:OASIcs.AIB.2022.4, author = {Boschin, Armand and Jain, Nitisha and Keretchashvili, Gurami and Suchanek, Fabian}, title = {{Combining Embeddings and Rules for Fact Prediction}}, booktitle = {International Research School in Artificial Intelligence in Bergen (AIB 2022)}, pages = {4:1--4:30}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-228-0}, ISSN = {2190-6807}, year = {2022}, volume = {99}, editor = {Bourgaux, Camille and Ozaki, Ana and Pe\~{n}aloza, Rafael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.AIB.2022.4}, URN = {urn:nbn:de:0030-drops-160021}, doi = {10.4230/OASIcs.AIB.2022.4}, annote = {Keywords: Rule Mining, Embeddings, Knowledge Bases, Deep Learning} }
Published in: OASIcs, Volume 99, International Research School in Artificial Intelligence in Bergen (AIB 2022)
Manfred Jaeger. Learning and Reasoning with Graph Data: Neural and Statistical-Relational Approaches (Invited Paper). In International Research School in Artificial Intelligence in Bergen (AIB 2022). Open Access Series in Informatics (OASIcs), Volume 99, pp. 5:1-5:42, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{jaeger:OASIcs.AIB.2022.5, author = {Jaeger, Manfred}, title = {{Learning and Reasoning with Graph Data: Neural and Statistical-Relational Approaches}}, booktitle = {International Research School in Artificial Intelligence in Bergen (AIB 2022)}, pages = {5:1--5:42}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-228-0}, ISSN = {2190-6807}, year = {2022}, volume = {99}, editor = {Bourgaux, Camille and Ozaki, Ana and Pe\~{n}aloza, Rafael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.AIB.2022.5}, URN = {urn:nbn:de:0030-drops-160035}, doi = {10.4230/OASIcs.AIB.2022.5}, annote = {Keywords: Graph neural networks, Statistical relational learning} }
Published in: OASIcs, Volume 99, International Research School in Artificial Intelligence in Bergen (AIB 2022)
Marija Slavkovik. Automating Moral Reasoning (Invited Paper). In International Research School in Artificial Intelligence in Bergen (AIB 2022). Open Access Series in Informatics (OASIcs), Volume 99, pp. 6:1-6:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{slavkovik:OASIcs.AIB.2022.6, author = {Slavkovik, Marija}, title = {{Automating Moral Reasoning}}, booktitle = {International Research School in Artificial Intelligence in Bergen (AIB 2022)}, pages = {6:1--6:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-228-0}, ISSN = {2190-6807}, year = {2022}, volume = {99}, editor = {Bourgaux, Camille and Ozaki, Ana and Pe\~{n}aloza, Rafael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.AIB.2022.6}, URN = {urn:nbn:de:0030-drops-160043}, doi = {10.4230/OASIcs.AIB.2022.6}, annote = {Keywords: Machine ethics, artificial morality, artificial moral agents} }
Published in: LIPIcs, Volume 178, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
27th International Symposium on Temporal Representation and Reasoning (TIME 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 178, pp. 1-292, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@Proceedings{munozvelasco_et_al:LIPIcs.TIME.2020, title = {{LIPIcs, Volume 178, TIME 2020, Complete Volume}}, booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)}, pages = {1--292}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-167-2}, ISSN = {1868-8969}, year = {2020}, volume = {178}, editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020}, URN = {urn:nbn:de:0030-drops-129670}, doi = {10.4230/LIPIcs.TIME.2020}, annote = {Keywords: LIPIcs, Volume 178, TIME 2020, Complete Volume} }
Published in: LIPIcs, Volume 178, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
27th International Symposium on Temporal Representation and Reasoning (TIME 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 178, pp. 0:i-0:xiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{munozvelasco_et_al:LIPIcs.TIME.2020.0, author = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)}, pages = {0:i--0:xiv}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-167-2}, ISSN = {1868-8969}, year = {2020}, volume = {178}, editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.0}, URN = {urn:nbn:de:0030-drops-129688}, doi = {10.4230/LIPIcs.TIME.2020.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: LIPIcs, Volume 178, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Clare Dixon. Verifying Autonomous Robots: Challenges and Reflections (Invited Talk). In 27th International Symposium on Temporal Representation and Reasoning (TIME 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 178, pp. 1:1-1:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{dixon:LIPIcs.TIME.2020.1, author = {Dixon, Clare}, title = {{Verifying Autonomous Robots: Challenges and Reflections}}, booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)}, pages = {1:1--1:4}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-167-2}, ISSN = {1868-8969}, year = {2020}, volume = {178}, editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.1}, URN = {urn:nbn:de:0030-drops-129697}, doi = {10.4230/LIPIcs.TIME.2020.1}, annote = {Keywords: Verification, Autonomous Robots} }
Feedback for Dagstuhl Publishing