Spremljaj
Joseph Boudou
Joseph Boudou
postdoc, IRIT, Toulouse University
Preverjeni e-poštni naslov na irit.fr - Domača stran
Naslov
Navedeno
Navedeno
Leto
Intuitionistic linear temporal logics
P Balbiani, J Boudou, M Diéguez, D Fernández-Duque
ACM Transactions on Computational Logic (TOCL) 21 (2), 1-32, 2019
312019
A decidable intuitionistic temporal logic
J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1704.02847, 2017
232017
Compression of propositional resolution proofs by lowering subproofs
J Boudou, B Woltzenlogel Paleo
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
192013
Skeptik: A proof compression system
J Boudou, A Fellner, B Woltzenlogel Paleo
International Joint Conference on Automated Reasoning, 374-380, 2014
162014
Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization
P Balbiani, J Boudou
Journal of Logic and Computation 28 (4), 705-731, 2018
142018
Concurrent game structures for temporal STIT logic
J Boudou, E Lorini
ACM: Association for Computing Machinery, 2018
122018
Complete intuitionistic temporal logics for topological dynamics
J Boudou, M Diéguez, D Fernández-Duque
The Journal of Symbolic Logic 87 (3), 995-1022, 2022
92022
Axiomatic systems and topological semantics for intuitionistic temporal logic
J Boudou, M Diéguez, D Fernández-Duque, F Romero
European Conference on Logics in Artificial Intelligence, 763-777, 2019
72019
Bisimulations for intuitionistic temporal logics
P Balbiani, J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1803.05078, 2018
72018
Exploring the jungle of intuitionistic temporal logics
J Boudou, M Diéguez, D Fernández-Duque, P Kremer
Theory and Practice of Logic Programming 21 (4), 459-492, 2021
52021
Decidable logics with associative binary modalities
J Boudou
Schloss Dagstuhl Leibniz-Zentrum fur Informatik 82, 1-15, 2017
52017
Decidability of iteration-free PDL with parallel composition
P Balbiani, J Boudou
IJCAR'14, 31, 2014
52014
Exponential-size model property for PDL with separating parallel composition
J Boudou
International Symposium on Mathematical Foundations of Computer Science, 129-140, 2015
42015
Tableaux methods for propositional dynamic logics with separating parallel composition
P Balbiani, J Boudou
International Conference on Automated Deduction, 539-554, 2015
42015
Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
J Boudou
International Joint Conference on Automated Reasoning, 373-388, 2016
32016
Itero: An Online Iterative Voting Application (demo track)
J Boudou, R Colley, U Grandi
31st International Joint Conference on Artificial Intelligence (IJCAI 2022 …, 2022
22022
Resource separation in dynamic logic of propositional assignments
J Boudou, A Herzig, N Troquard
Dynamic Logic. New Trends and Applications: Second International Workshop …, 2020
22020
Bisimulations for intuitionistic temporal logics (2020)
P Balbiani, J Boudou, M Dieguez, D Fernández-Duque
Electronic Notes in Theoretical Computer Science, 2020
12020
26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
A Dawar, D Leivant, PG Kolaitis, L Kovács, S Kreutzer, M Mahajan, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017
12017
Decidability and Expressivity of Ockhamist Propositional Dynamic Logics
J Boudou, E Lorini
European Conference on Logics in Artificial Intelligence, 144-158, 2016
12016
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20