<!DOCTYPE html>
<!-- CEURVERSION=2020-07-09 -->
<html lang="en">
<head>
<meta http-equiv="Content-type" content="text/html;charset=utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" type="text/css" href="../ceur-ws.css">
<title>CEUR-WS.org/Vol-3876 - KoDis / CAKR / SYNERGY Workshops at KR 2024</title>
</head>
<!--CEURLANG=eng -->
<body>


<table style="border: 0; border-spacing: 0; border-collapse: collapse; width: 95%">
<tbody><tr>
<td style="text-align: left; vertical-align: middle">
<a href="https://ceur-ws.org/"><div id="CEURWSLOGO"></div></a>
</td>
<td style="text-align: right; vertical-align: middle">
<div style="float:left" id="CEURCCBY"></div>
<span class="CEURVOLNR">Vol-3876</span> <br>
<span class="CEURURN">urn:nbn:de:0074-3876-8</span>
<p class="unobtrusive copyright" style="text-align: justify">Copyright &copy; 2024 for 
the individual papers by the papers' authors. 
Copyright &copy; <span class="CEURPUBYEAR">2024</span> for the volume
as a collection by its editors.
This volume and its papers are published under the
Creative Commons License Attribution 4.0 International
<A HREF="https://creativecommons.org/licenses/by/4.0/">(<span class="CEURLIC">CC BY 4.0</span>)</A>.</p>
</td>
</tr>
</tbody></table>

<hr>
<br><br><br>

<h1><span class="CEURVOLACRONYM">KoDis-CAKR-SYNERGY 2024</span><br>
<span class="CEURVOLTITLE">KoDis, CAKR and SYNERGY Workshops at KR 2024</span></h1>
<br>

<h3>
<span class="CEURFULLTITLE">Joint Proceedings of the Joint Workshop on Knowledge Diversity and Cognitive Aspects of KR and the Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology (KoDis-CAKR-SYNERGY 2024)</span><br>
co-located with the 21st International Conference on Principles of Knowledge Representation and Reasoning (<span class="CEURCOLOCATED">KR 2024</span>)<br>
</h3>
<h3><span class="CEURLOCTIME">Hanoi, Vietnam, November 2&ndash;8, 2024</span>.</h3> 

<br>
<b> Edited by </b>
<h3>
   <span class="CEURVOLEDITOR">Luc&iacute;a G&oacute;mez &Aacute;lvarez</span><sup>1</sup><br>
   <a href="https://jonas.haldimann.de/"><span class="CEURVOLEDITOR">Jonas Haldimann</span></a><sup>2,3</sup><br>
   <a href="https://sites.google.com/view/jesseheyninck"><span class="CEURVOLEDITOR">Jesse Heyninck</span></a><sup>4,3</sup><br>
   <a href="http://www.cril.univ-artois.fr/~vesic/"><span class="CEURVOLEDITOR">Srdjan Vesic</span></a><sup>5</sup><br>
   <a href="https://francescofabiano.github.io/"><span class="CEURVOLEDITOR">Francesco Fabiano</span></a><sup>6</sup><br>
   <a href="https://mbal.asklab.net/"><span class="CEURVOLEDITOR">Marcello Balduccini</span></a><sup>7</sup><br>
</h3>

<sup>1</sup> Universit&eacute; Grenoble Alpes, INRIA, CNRS, Grenoble INP, LIG, Grenoble, France <br>
<sup>2</sup> TU Wien, Vienna, Austria <br>
<sup>3</sup> University of Cape Town and CAIR, Cape Town, South Africa <br>
<sup>4</sup> Open Universiteit, Heerlen, the Netherlands <br>
<sup>5</sup> CRIL, CNRS, Universit&eacute; d'Artois, France <br>
<sup>6</sup> New Mexico State University, Las Cruces, United States <br>
<sup>7</sup> Saint Joseph's University, Philadelphia, United States <br>

<hr>

<br><br><br>


<div class="CEURTOC">
<h2> Table of Contents </h2>

<ul>
<li id="preface">
Summary: There were <span class="CEURSUBMITTEDPAPERS">6</span> papers submitted for peer-review, 2 to KoDis/CAKR, and 4 to SYNERGY. Out of these, 
<span class="CEURACCEPTEDPAPERS">6</span> papers were accepted for this volume.
</li>
</ul>
<BR>

<h3><span class="CEURSESSION">Knowldedge Diversity and Cognitive Aspects of KR (KoDis/CAKR) </span></h3>
<ul>
<li id="paper1"><a href="paper1.pdf">
<span class="CEURTITLE">A Report on Sequential KR-Approaches as Cognitive Logic</span></a>
<br>
<span class="CEURAUTHOR">Kai Sauerwald</span>, 
<span class="CEURAUTHOR">Eda Ismail-Tsaous</span>, 
<span class="CEURAUTHOR">Nina Thorwart</span>
</li>

<li id="paper2"><a href="paper2.pdf">
<span class="CEURTITLE">Using Ontology to Analyze Sentiment of Comments on Vietnamese Social Media</span></a>
<br>
<span class="CEURAUTHOR">Nguyen Viet Hung</span>, 
<span class="CEURAUTHOR">Nguyen Anh Quan</span>, 
<span class="CEURAUTHOR">Nguyen Van Vu</span>, 
<span class="CEURAUTHOR">Phan Thi Yen</span>, 
<span class="CEURAUTHOR">Nguyen Hai Binh</span>, 
<span class="CEURAUTHOR">Nguyen Thi Thuy Nga</span>
</li>

</ul>


<h3><span class="CEURSESSION">Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology (SYNERGY) </span></h3>
<ul>
<li id="invited1"><a href="invited1.pdf">
<span class="CEURTITLE">From Infinite to Finite Traces and Back: Linear Temporal Logic in Sequential Decision Making</span></a> (invited talk, abstract)
<br>
<span class="CEURAUTHOR">Giuseppe De Giacomo</span>
</li>

<li id="invited2"><a href="invited2.pdf">
<span class="CEURTITLE">Formal Aspects of Strategic Reasoning</span></a> (invited talk, abstract)
<br>
<span class="CEURAUTHOR">Aniello Murano</span>
</li>

<li id="paper3"><a href="paper3.pdf">
<span class="CEURTITLE">Answer Set Programming and Large Language Models interaction with YAML: Second Report</span></a>
<br>
<span class="CEURAUTHOR">Mario Alviano</span>, 
<span class="CEURAUTHOR">Fabrizio Lo Scudo</span>, 
<span class="CEURAUTHOR">Lorenzo Grillo</span>, 
<span class="CEURAUTHOR">Luis Angel Rodriguez Reiners</span>
</li>

<li id="paper4"><a href="paper4.pdf">
<span class="CEURTITLE">Communication with Individuals with Disabilities and the Role of LLMs: Progress Report</span></a>
<br>
<span class="CEURAUTHOR">May Lutzen</span>, 
<span class="CEURAUTHOR">Marcello Balduccini</span>
</li>

<li id="paper5"><a href="paper5.pdf">
<span class="CEURTITLE">An Experiment with LLM in Contract Extraction</span></a>
<br>
<span class="CEURAUTHOR">Nhan Le</span>, 
<span class="CEURAUTHOR">Tran Cao Son</span>
</li>

<li id="paper6"><a href="paper6.pdf">
<span class="CEURTITLE">Situation Calculus Temporally Lifted Abstractions for Generalized Planning &ndash; Extended Abstract</span></a>
<br>
<span class="CEURAUTHOR">Giuseppe De Giacomo</span>, 
<span class="CEURAUTHOR">Yves Lesp&eacute;rance</span>, 
<span class="CEURAUTHOR">Matteo Mancanelli</span>
</li>

</ul>


</div>


<hr>
<span class="unobtrusive">
2024-12-05: submitted by Jonas Haldimann, 
            metadata incl. bibliographic data published under <A HREF="https://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0</A><br>
<span class="CEURPUBDATE">2024-12-20</span>: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073)
	|<a href="https://validator.w3.org/nu/?doc=https%3A%2F%2Fceur-ws.org%2FVol-3876%2F">valid HTML5</a>|
</span>
</body></html>
