Record link: 
http://hdl.handle.net/20.500.12708/205429
-
Title: 
Strongly Analytic Calculi for KLM Logics with SMT-Based Prover
en
Citation: 
Ciabattoni, A., Eisenhofer, C., & Rozplokhas, D. (2024). Strongly Analytic Calculi for KLM Logics with SMT-Based Prover. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (pp. 284–294). https://doi.org/10.24963/kr.2024/27
-
Publisher DOI: 
10.24963/kr.2024/27
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Ciabattoni, Agata 
Eisenhofer, Clemens 
Rozplokhas, Dmitry 
-
Organisational Unit: 
E192-05 - Forschungsbereich Theory and Logic 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Published in: 
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning 
-
ISBN: 
978-1-956792-05-8
-
Date (published): 
2024
-
Event name: 
21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) 
en
Event date: 
2-Nov-2024 - 8-Nov-2024
-
Event place: 
Hanoi, Viet Nam
-
Number of Pages: 
11
-
Peer reviewed: 
Yes
-
Keywords: 
non-monotonic reasoning; KLM logics; SMT solving
en
Project title: 
Training and Guiding AI Agents with Ethical Rules: ICT22-023 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
-
Research Areas: 
Computer Science Foundations: 100%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

33
checked on Dec 9, 2024

Download(s)

3
checked on Dec 9, 2024

Google ScholarTM

Check