DEMRI, STÉPHANE; FERVARI, RAUL

Model-Checking for Ability-Based Logics with Constrained Plans

37th AAAI Conference on Artificial Intelligence (AAAI-23)

Lugar: Washington DC; Año: 2023;

ARECES, CARLOS; CASSANO, VALENTÍN; CASTRO, PABLO F.; FERVARI, RAUL; SARAVIA, ANDRÉS R.

A Deontic Logic of Knowingly Complying

22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023)

Año: 2023;

ARECES, CARLOS; CASSANO, VALENTÍN; FERVARI, RAUL; HOFFMANN, GUILLAUME

DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics.

32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023)

Lugar: Praga; Año: 2023;

ARECES, CARLOS; CASSANO, VALENTÍN; CASTRO, PABLO F.; FERVARI, RAUL; SARAVIA, ANDRÉS R.

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem

18th Edition of European Conference on Logics in Artificial Intelligence (JELIA)

Lugar: Dresden; Año: 2023;

ARECES, CARLOS; CASSANO, VALENTÍN; DUTTO, DANAE; FERVARI, RAUL

Data Graphs with Incomplete Information (and a Way to Complete Them)

18th Edition of European Conference on Logics in Artificial Intelligence (JELIA)

Lugar: Dresden; Año: 2023;

ARECES, CARLOS; CASSANO, VALENTÍN; FERVARI, RAUL

Non-monotonic Reasoning via Dynamic Consequence

Logic, Language, Information and Computation (WoLLIC)

Año: 2022;

ARECES, CARLOS; FERVARI, RAUL; SARAVIA, ANDRÉS R.; VELÁZQUEZ-QUESADA, FERNANDO R.

First Steps in Updating Knowing HoW

DaLí - Dynamic Logic: new trends and applications

Lugar: Haifa; Año: 2022;

FERVARI, RAUL; MANSUTTI, ALESSIO

Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy.

Proceedings of 25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)

Lugar: Munich; Año: 2022;

CASTRO, PABLO F.; CASSANO, VALENTÍN; FERVARI, RAUL; ARECES, CARLOS

Deontic Action Logics via Algebra

Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/2021

Año: 2021;

ARECES, CARLOS; FERVARI, RAUL; SARAVIA, ANDRÉS R.; VELÁZQUEZ-QUESADA, FERNANDO R.

Uncertainty-Based Semantics for Multi-Agent Knowing How Logics

18th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021)

Año: 2021;

BEDNARCZYK, BARTOSZ; DEMRI, STÉPHANE; FERVARI, RAUL; MANSUTTI, ALESSIO

Modal Logics with Composition on Finite Forests: Expressivity and Complexity

Symposium on Logic In Computer Science (LICS'20),

Año: 2020;

CASTRO, PABLO F.; CASSANO, VALENTÍN; FERVARI, RAUL; ARECES, CARLOS

An Algebraic Approach for Action Based Default Reasoning

Theoretical Aspects of Rationality and Knowledge TARK 2019

Lugar: Toulouse; Año: 2019;

FERVARI, RAUL; HERZIG, ANDREAS; LI, YANJUN; WANG, YANJING

Strategically Knowing How

International Joint Conference on Artificial Intelligence

Año: 2017;

FERVARI, RAUL; VELÁZQUEZ-QUESADA, FERNANDO R.; WANG, YANJING

Bisimulations for Knowing How Logics

5th International Workshop on Strategic Reasoning

Lugar: Liverpool; Año: 2017;

ARECES, CARLOS; FERVARI, RAUL; HOFFMANN, GUILLAUME; MARTEL, MAURICIO

Relation-changing Logics as Fragments of Hybrid Logics.

Games, Automata, Logics, and Formal Verification (GandALF 2016)

Año: 2016;

FERVARI, RAUL

The Expressive Power of Swap Logic

European Summer School in Logic, Language and Information, Student Session

Lugar: Opole; Año: 2012;

ARIÑO, RODRIGO; DEGIOVANNI, RENZO; FERVARI, RAUL; PONZIO, PABLO; AGUIRRE, NAZARENO

Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy

Congreso Argentino en Ciencias de la Computación CACIC 2010

Lugar: Morón; Año: 2010;

ARIÑO, RODRIGO; DEGIOVANNI, RENZO; FERVARI, RAUL; PONZIO, PABLO; AGUIRRE, NAZARENO

Towards Scaling Up DynAlloy Anlysis using Predicate Abstraction.

Congreso Argentino en Ciencias de la Computación CACIC 2009

Lugar: San Salvador de Jujuy; Año: 2009;