P
Pablo F. Castro
Researcher at National University of Río Cuarto
Publications - 52
Citations - 301
Pablo F. Castro is an academic researcher from National University of Río Cuarto. The author has contributed to research in topics: Deontic logic & Boolean algebra. The author has an hindex of 9, co-authored 48 publications receiving 270 citations. Previous affiliations of Pablo F. Castro include McMaster University & National Scientific and Technical Research Council.
Papers
More filters
Journal ArticleDOI
Deontic action logic, atomic boolean algebras and fault-tolerance
Pablo F. Castro,Tom Maibaum +1 more
TL;DR: An important characteristic of this deontic action logic is that it uses boolean combinators on actions, and, because of finiteness restrictions, the generated boolean algebra is atomic, which is a crucial point in proving the completeness of the axiomatic system.
Book ChapterDOI
A complete and compact propositional deontic logic
Pablo F. Castro,Tom Maibaum +1 more
TL;DR: This paper presents a propositional deontic logic, with the goal of using it to specify fault-tolerant systems, and an axiomatization of it, and proves several results about this logic: completeness, soundness, compactness and decidability.
Book ChapterDOI
A Tableaux System for Deontic Action Logic
Pablo F. Castro,Tom Maibaum +1 more
TL;DR: This paper presents a tableaux method for a novel deontic action logic for reasoning about fault-tolerance that is sound and complete, and also allows us to deal successfully with action complement and parallel execution of actions.
Book ChapterDOI
Towards managing dynamic reconfiguration of software systems in a categorical setting
TL;DR: A categorical approach for characterising dynamic reconfiguration in a logical specification language based on the notion of institution, which enables us to work in an abstract, logic independent, setting.
Proceedings ArticleDOI
Goal-conflict likelihood assessment based on model counting
Renzo Degiovanni,Pablo F. Castro,Marcelo Arroyo,Marcelo Ruiz,Nazareno Aguirre,Marcelo F. Frias +5 more
TL;DR: A novel automated approach to assess how likely a conflict is, that applies to general conflicts (not only obstacles) without requiring probabilistic information on the domain is presented.