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 ¹
Jonas Haldimann ^2,3
Jesse Heyninck ^4,3
Srdjan Vesic ⁵
Francesco Fabiano ⁶
Marcello Balduccini ⁷

¹ Université Grenoble Alpes, INRIA, CNRS, Grenoble INP, LIG, Grenoble, France
² TU Wien, Vienna, Austria
³ University of Cape Town and CAIR, Cape Town, South Africa
⁴ Open Universiteit, Heerlen, the Netherlands
⁵ CRIL, CNRS, Université d'Artois, France
⁶ New Mexico State University, Las Cruces, United States
⁷ 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|