default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/cakr:"
download as .bib file
@inproceedings{DBLP:conf/kodis/AlvianoSGR24,
author = {Mario Alviano and
Fabrizio Lo Scudo and
Lorenzo Grillo and
Luis Angel Rodriguez Reiners},
editor = {Lucía {Gómez Álvarez} and
Jonas Haldimann and
Jesse Heyninck and
Srdjan Vesic and
Francesco Fabiano and
Marcello Balduccini},
title = {Answer Set Programming and Large Language Models interaction with
{YAML:} Second Report},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3876},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3876/paper3.pdf},
timestamp = {Mon, 23 Dec 2024 15:30:37 +0100},
biburl = {https://dblp.org/rec/conf/kodis/AlvianoSGR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kodis/Giacomo24,
author = {Giuseppe De Giacomo},
editor = {Lucía {Gómez Álvarez} and
Jonas Haldimann and
Jesse Heyninck and
Srdjan Vesic and
Francesco Fabiano and
Marcello Balduccini},
title = {From Infinite to Finite Traces and Back: Linear Temporal Logic in
Sequential Decision Making},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3876},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3876/invited1.pdf},
timestamp = {Mon, 23 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/Giacomo24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kodis/GiacomoLM24,
author = {Giuseppe De Giacomo and
Yves Lesp{\'{e}}rance and
Matteo Mancanelli},
editor = {Lucía {Gómez Álvarez} and
Jonas Haldimann and
Jesse Heyninck and
Srdjan Vesic and
Francesco Fabiano and
Marcello Balduccini},
title = {Situation Calculus Temporally Lifted Abstractions for Generalized
Planning - Extended Abstract},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3876},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3876/paper6.pdf},
timestamp = {Mon, 23 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/GiacomoLM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kodis/HungQVYBN24,
author = {Nguyen Viet Hung and
Nguyen Anh Quan and
Nguyen Van Vu and
Phan Thi Yen and
Nguyen Hai Binh and
Nguyen Thi Thuy Nga},
editor = {Lucía {Gómez Álvarez} and
Jonas Haldimann and
Jesse Heyninck and
Srdjan Vesic and
Francesco Fabiano and
Marcello Balduccini},
title = {Using Ontology to Analyze Sentiment of Comments on Vietnamese Social
Media},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3876},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3876/paper2.pdf},
timestamp = {Mon, 23 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/HungQVYBN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kodis/LeS24,
author = {Nhan Le and
Tran Cao Son},
editor = {Lucía {Gómez Álvarez} and
Jonas Haldimann and
Jesse Heyninck and
Srdjan Vesic and
Francesco Fabiano and
Marcello Balduccini},
title = {An Experiment with {LLM} in Contract Extraction},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3876},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3876/paper5.pdf},
timestamp = {Mon, 23 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/LeS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kodis/LutzenB24,
author = {May Lutzen and
Marcello Balduccini},
editor = {Lucía {Gómez Álvarez} and
Jonas Haldimann and
Jesse Heyninck and
Srdjan Vesic and
Francesco Fabiano and
Marcello Balduccini},
title = {Communication with Individuals with Disabilities and the Role of LLMs:
Progress Report},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3876},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3876/paper4.pdf},
timestamp = {Mon, 23 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/LutzenB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kodis/Murano24,
author = {Aniello Murano},
editor = {Lucía {Gómez Álvarez} and
Jonas Haldimann and
Jesse Heyninck and
Srdjan Vesic and
Francesco Fabiano and
Marcello Balduccini},
title = {Formal Aspects of Strategic Reasoning},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3876},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3876/invited2.pdf},
timestamp = {Mon, 23 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/Murano24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kodis/SauerwaldIT24,
author = {Kai Sauerwald and
Eda Ismail{-}Tsaous and
Nina Thorwart},
editor = {Lucía {Gómez Álvarez} and
Jonas Haldimann and
Jesse Heyninck and
Srdjan Vesic and
Francesco Fabiano and
Marcello Balduccini},
title = {A Report on Sequential KR-Approaches as Cognitive Logic},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3876},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3876/paper1.pdf},
timestamp = {Mon, 23 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/SauerwaldIT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kodis/2024,
editor = {Lucía {Gómez Álvarez} and
Jonas Haldimann and
Jesse Heyninck and
Srdjan Vesic and
Francesco Fabiano and
Marcello Balduccini},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3876},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3876},
urn = {urn:nbn:de:0074-3876-8},
timestamp = {Mon, 23 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kodis/Bennett23,
author = {Brandon Bennett},
editor = {Clayton K. Baker and
Lucía {Gómez Álvarez} and
Jesse Heyninck and
Thomas Meyer and
Rafael Pe{\~{n}}aloza and
Srdjan Vesic},
title = {Copredication and Ontological Mutability},
booktitle = {Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the
2nd Workshop on Cognitive Aspects of Knowledge Representation co-located
with 20th International Conference on Principles of Knowledge Representation
and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3548},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3548/paper1.pdf},
timestamp = {Thu, 21 Dec 2023 17:17:04 +0100},
biburl = {https://dblp.org/rec/conf/kodis/Bennett23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kodis/Corea23,
author = {Carl Corea},
editor = {Clayton K. Baker and
Lucía {Gómez Álvarez} and
Jesse Heyninck and
Thomas Meyer and
Rafael Pe{\~{n}}aloza and
Srdjan Vesic},
title = {On the Suitability of Inconsistency Measures},
booktitle = {Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the
2nd Workshop on Cognitive Aspects of Knowledge Representation co-located
with 20th International Conference on Principles of Knowledge Representation
and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3548},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3548/paper4.pdf},
timestamp = {Thu, 21 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/Corea23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kodis/DietzK23,
author = {Emmanuelle Dietz and
Antonis C. Kakas},
editor = {Clayton K. Baker and
Lucía {Gómez Álvarez} and
Jesse Heyninck and
Thomas Meyer and
Rafael Pe{\~{n}}aloza and
Srdjan Vesic},
title = {Unifying Abduction and Deduction through Argumentation},
booktitle = {Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the
2nd Workshop on Cognitive Aspects of Knowledge Representation co-located
with 20th International Conference on Principles of Knowledge Representation
and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3548},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3548/paper5.pdf},
timestamp = {Thu, 21 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/DietzK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kodis/FokkensE23,
author = {Jelle Tjeerd Fokkens and
Fredrik Engstr{\"{o}}m},
editor = {Clayton K. Baker and
Lucía {Gómez Álvarez} and
Jesse Heyninck and
Thomas Meyer and
Rafael Pe{\~{n}}aloza and
Srdjan Vesic},
title = {Cognitively Adequate Complexity of Reasoning in a Description Logic},
booktitle = {Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the
2nd Workshop on Cognitive Aspects of Knowledge Representation co-located
with 20th International Conference on Principles of Knowledge Representation
and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3548},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3548/paper6.pdf},
timestamp = {Thu, 21 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/FokkensE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kodis/Karge23,
author = {Jonas Karge},
editor = {Clayton K. Baker and
Lucía {Gómez Álvarez} and
Jesse Heyninck and
Thomas Meyer and
Rafael Pe{\~{n}}aloza and
Srdjan Vesic},
title = {Voting for Bins: Integrating Imprecise Probabilistic Beliefs into
the Condorcet Jury Theorem},
booktitle = {Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the
2nd Workshop on Cognitive Aspects of Knowledge Representation co-located
with 20th International Conference on Principles of Knowledge Representation
and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3548},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3548/paper2.pdf},
timestamp = {Thu, 21 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/Karge23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kodis/Rostamigiv023,
author = {Maryam Rostamigiv and
Shakil M. Khan},
editor = {Clayton K. Baker and
Lucía {Gómez Álvarez} and
Jesse Heyninck and
Thomas Meyer and
Rafael Pe{\~{n}}aloza and
Srdjan Vesic},
title = {Explaining Agent Behaviour via Causal Analysis of Mental States},
booktitle = {Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the
2nd Workshop on Cognitive Aspects of Knowledge Representation co-located
with 20th International Conference on Principles of Knowledge Representation
and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3548},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3548/paper7.pdf},
timestamp = {Thu, 21 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/Rostamigiv023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kodis/SabbatiniC23,
author = {Federico Sabbatini and
Roberta Calegari},
editor = {Clayton K. Baker and
Lucía {Gómez Álvarez} and
Jesse Heyninck and
Thomas Meyer and
Rafael Pe{\~{n}}aloza and
Srdjan Vesic},
title = {ExACT Explainable Clustering: Unravelling the Intricacies of Cluster
Formation},
booktitle = {Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the
2nd Workshop on Cognitive Aspects of Knowledge Representation co-located
with 20th International Conference on Principles of Knowledge Representation
and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3548},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3548/paper3.pdf},
timestamp = {Thu, 21 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/SabbatiniC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kodis/2023,
editor = {Clayton K. Baker and
Lucía {Gómez Álvarez} and
Jesse Heyninck and
Thomas Meyer and
Rafael Pe{\~{n}}aloza and
Srdjan Vesic},
title = {Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the
2nd Workshop on Cognitive Aspects of Knowledge Representation co-located
with 20th International Conference on Principles of Knowledge Representation
and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3548},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3548},
urn = {urn:nbn:de:0074-3548-5},
timestamp = {Thu, 21 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kodis/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-04 01:23 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
