Search dblp for Publications

export results for "toc:db/conf/kodis/kodis2024.bht:"

 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}
}

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.