1. Αποθετήριο Παραδοτέων Υποτρόφων Δράσεων ΕΣΠΑ Τριτοβάθμιας Εκπαίδευσης 2017-2023
2. Όλο το Αποθετήριο
3. Μεταδιδακτορικοί ερευνητές

Τύπος:	Πρακτικά συνεδρίου
Τίτλος:	Types of rational Horn revision operators
Συγγραφέας:	[EL] Αραβανής, Θεοφάνης[EN] Aravanis, Theofanis [EL] Πέππας, Παύλος[EN] Peppas, Pavlos
Ημερομηνία:	2021
Περίληψη:	In this article, we identify some interesting types of rational revision operators that implement Horn revision. In particular, we first define (both axiomatically and semantically) a class of Horn revision operators based on proper set inclusion of the atoms satisfied by possible worlds. Furthermore, we show that a well-behaved type of rational revision, called uniform revision, is Horn-compliant. This is demonstrated by proving that concrete Horn revision operators implement particular uniform-revision policies.
Γλώσσα:	Αγγλικά
Τόπος δημοσίευσης:	Volos, Greece
Σελίδες:	7
Θεματική κατηγορία:	[EL] Τεχνητή νοημοσύνη[EN] Artificial Intelligence
Κάτοχος πνευματικών δικαιωμάτων:	© The Author(s) 2021
Ηλεκτρονική διεύθυνση του τεκμηρίου στον εκδότη:	http://panhellenic-logic-symposium.org/13/proceedings-2021.pdf
Τίτλος πηγής δημοσίευσης:	Proceedings of the 13th Pan-Hellenic Logic Symposium (PLS 2022)
Όνομα εκδήλωσης:	13th Pan-Hellenic Logic Symposium (PLS 2022)
Τοποθεσία εκδήλωσης:	Volos, Greece
Ημ/νία έναρξης εκδήλωσης:	06/07/2022
Ημ/νία λήξης εκδήλωσης:	10/07/2022
Σημειώσεις:	This research is co-financed by Greece and the European Union (European Social Fund – ESF) through the Operational Programme “Human Resources Development, Education and Lifelong Learning” in the context of the project “Reinforcement of Postdoctoral Researchers – 2nd Cycle” (MIS-5033021), implemented by the State Scholarships Foundation (IKY).
Εμφανίζεται στις συλλογές:	Μεταδιδακτορικοί ερευνητές