| Vol-3876 urn:nbn:de:0074-3876-8 Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 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 (CC BY 4.0).

# KoDis-CAKR-SYNERGY 2024
KoDis, CAKR and SYNERGY Workshops at KR 2024

### 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)
co-located with the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)

### Hanoi, Vietnam, November 2–8, 2024.

Edited by

### Lucía Gómez Álvarez 1
Jonas Haldimann 2,3
Jesse Heyninck 4,3
Srdjan Vesic 5
Francesco Fabiano 6
Marcello Balduccini 7

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

## Table of Contents

- Summary: There were 6 papers submitted for peer-review, 2 to KoDis/CAKR, and 4 to SYNERGY. Out of these, 6 papers were accepted for this volume.

### Knowldedge Diversity and Cognitive Aspects of KR (KoDis/CAKR)

- A Report on Sequential KR-Approaches as Cognitive Logic
  Kai Sauerwald, Eda Ismail-Tsaous, Nina Thorwart
- Using Ontology to Analyze Sentiment of Comments on Vietnamese Social Media
  Nguyen Viet Hung, Nguyen Anh Quan, Nguyen Van Vu, Phan Thi Yen, Nguyen Hai Binh, Nguyen Thi Thuy Nga

### Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology (SYNERGY)

- From Infinite to Finite Traces and Back: Linear Temporal Logic in Sequential Decision Making (invited talk, abstract)
  Giuseppe De Giacomo
- Formal Aspects of Strategic Reasoning (invited talk, abstract)
  Aniello Murano
- Answer Set Programming and Large Language Models interaction with YAML: Second Report
  Mario Alviano, Fabrizio Lo Scudo, Lorenzo Grillo, Luis Angel Rodriguez Reiners
- Communication with Individuals with Disabilities and the Role of LLMs: Progress Report
  May Lutzen, Marcello Balduccini
- An Experiment with LLM in Contract Extraction
  Nhan Le, Tran Cao Son
- Situation Calculus Temporally Lifted Abstractions for Generalized Planning – Extended Abstract
  Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli

2024-12-05: submitted by Jonas Haldimann, metadata incl. bibliographic data published under Creative Commons CC0
2024-12-20: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|