5 Search Results for "Peñaloza, Rafael"

Volume

OASIcs, Volume 99

International Research School in Artificial Intelligence in Bergen (AIB 2022)

AIB 2022, June 7-11, 2022, University of Bergen, Norway

Editors: Camille Bourgaux, Ana Ozaki, and Rafael Peñaloza

Document
Complete Volume
DOI: 10.4230/OASIcs.AIB.2022
OASIcs, Volume 99, AIB 2022, Complete Volume

Authors: Camille Bourgaux, Ana Ozaki, and Rafael Peñaloza

Published in: OASIcs, Volume 99, International Research School in Artificial Intelligence in Bergen (AIB 2022)

Abstract
OASIcs, Volume 99, AIB 2022, Complete Volume
Cite as

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)

Copy BibTex To Clipboard

@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-dev.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}
}
Document
Front Matter
DOI: 10.4230/OASIcs.AIB.2022.0
Front Matter, Table of Contents, Preface, Conference Organization

Authors: Camille Bourgaux, Ana Ozaki, and Rafael Peñaloza

Published in: OASIcs, Volume 99, International Research School in Artificial Intelligence in Bergen (AIB 2022)

Abstract
Front Matter, Table of Contents, Preface, Conference Organization
Cite as

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)

Copy BibTex To Clipboard

@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-dev.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}
}
Document
Invited Paper
DOI: 10.4230/OASIcs.AIB.2022.1
Knowledge Graphs: A Guided Tour (Invited Paper)

Authors: Aidan Hogan

Published in: OASIcs, Volume 99, International Research School in Artificial Intelligence in Bergen (AIB 2022)

Abstract
Much has been written about knowledge graphs in the past years by authors coming from diverse communities. The goal of these lecture notes is to provide a guided tour to the secondary and tertiary literature concerning knowledge graphs where the reader can learn more about particular topics. In particular, we collate together brief summaries of relevant books, book collections, book chapters, journal articles and other publications that provide introductions, primers, surveys and perspectives regarding: knowledge graphs in general; graph data models and query languages; semantics in the form of graph schemata, ontologies and rules; graph theory, algorithms and analytics; graph learning, in the form of knowledge graph embeddings and graph neural networks; and the knowledge graph life-cycle, which incorporates works on constructing, refining and publishing knowledge graphs. Where available, we highlight and provide direct links to open access literature.
Cite as

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)

Copy BibTex To Clipboard

@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-dev.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}
}
Document
DOI: 10.4230/DagRep.11.8.1
Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361)

Authors: Joao Marques-Silva, Rafael Peñaloza, and Uli Sattler

Published in: Dagstuhl Reports, Volume 11, Issue 8 (2022)

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 21361 "Extending the Synergies Between SAT and Description Logics". Propositional satisfiability (SAT) and description logics (DL) are two successful areas of computational logic where automated reasoning plays a fundamental role. While they share a common core (formalised on logic), the developments in both areas have diverged in their scopes, methods, and applications. The goal of this seminar was to reconnect the SAT and DL communities (understood in a broad sense) so that they can benefit from each other. The seminar thus focused on explaining the foundational principles, main results, and open problems of each area, and discussing potential avenues for collaborative progress.
Cite as

Joao Marques-Silva, Rafael Peñaloza, and Uli Sattler. Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361). In Dagstuhl Reports, Volume 11, Issue 8, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@Article{marquessilva_et_al:DagRep.11.8.1,
  author =	{Marques-Silva, Joao and Pe\~{n}aloza, Rafael and Sattler, Uli},
  title =	{{Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361)}},
  pages =	{1--10},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{11},
  number =	{8},
  editor =	{Marques-Silva, Joao and Pe\~{n}aloza, Rafael and Sattler, Uli},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.11.8.1},
  URN =		{urn:nbn:de:0030-drops-157661},
  doi =		{10.4230/DagRep.11.8.1},
  annote =	{Keywords: description logics, propositional satisfiability, reasoning services, standard and non-standard inferences}
}
  • Refine by Author
  • 3 Peñaloza, Rafael
  • 2 Bourgaux, Camille
  • 2 Ozaki, Ana
  • 1 Hogan, Aidan
  • 1 Marques-Silva, Joao
  • Show More...

  • Refine by Classification
  • 2 Computing methodologies → Knowledge representation and reasoning
  • 2 Computing methodologies → Machine learning
  • 1 Computing methodologies → Artificial intelligence
  • 1 Information systems → Graph-based database models
  • 1 Information systems → Information integration
  • Show More...

  • Refine by Keyword
  • 1 Conference Organization
  • 1 Front Matter
  • 1 OASIcs, Volume 99, AIB 2022, Complete Volume
  • 1 Preface
  • 1 Table of Contents
  • Show More...

  • Refine by Type
  • 4 document
  • 1 volume

  • Refine by Publication Year
  • 5 2022

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact