Original: https://ceur-ws.org/Vol-3876/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-3876/ | Year: 2024

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 https://creativecommons.org/licenses/by/4.0/.

KoDis-CAKR-SYNERGY 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 KR 2024

Hanoi, Vietnam, November 2–8, 2024.

Edited by

Lucía Gómez Álvarez
Jonas Haldimann
Jesse Heyninck
Srdjan Vesic
Francesco Fabiano
Marcello

Table of Contents

PDF
A Report on Sequential KR-Approaches as Cognitive Logic PDF
Kai Sauerwald, Eda Ismail-Tsaous, Nina Thorwart
Using Ontology to Analyze Sentiment of Comments on Vietnamese Social Media PDF
Nguyen Van Vu, Nguyen Thi Thuy Nga, Phan Thi Yen, Nguyen Anh Quan, Nguyen Hai Binh, Nguyen Viet Hung
From Infinite to Finite Traces and Back: Linear Temporal Logic in Sequential Decision Making PDF
Giuseppe De Giacomo
Formal Aspects of Strategic Reasoning PDF
Aniello Murano
Answer Set Programming and Large Language Models interaction with YAML: Second Report PDF
Mario Alviano, Fabrizio Lo Scudo, Luis Angel Rodriguez Reiners, Lorenzo Grillo
Communication with Individuals with Disabilities and the Role of LLMs: Progress Report PDF
May Lutzen, Marcello Balduccini
An Experiment with LLM in Contract Extraction PDF
Tran Cao Son, Nhan Le
Situation Calculus Temporally Lifted Abstractions for Generalized Planning – Extended Abstract PDF
Matteo Mancanelli, Yves Lespérance, Giuseppe De Giacomo

2024-12-20: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|