Journal: Journal of Logic and Computation

Volume 33, Issue 8

1712 -- 1733Giovanni De Gasperis, Stefania Costantini, Andrea Rafanelli, Patrizio Migliarini, Ivan Letteri, Abeer Dyoub. Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking
1734 -- 1752Fabio Tardivo, Agostino Dovier, Andrea Formisano 0001, Laurent Michel, Enrico Pontelli. Constraint propagation on GPU: A case study for the AllDifferent constraint
1753 -- 1776Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa. Efficient compliance checking of RDF data
1777 -- 1803Marco Mochi, Giuseppe Galatà, Marco Maratea. Master Surgical Scheduling via Answer Set Programming
1804 -- 1831Davide Soldà, Francesco Fabiano, Agostino Dovier. ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems
1832 -- 1850Matteo Magnini, Giovanni Ciatto, Andrea Omicini. Knowledge injection of Datalog rules via Neural Network Structuring with KINS
1851 -- 1871Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma. Decomposition approaches for scheduling chronic outpatients' clinical pathways in Answer Set Programming
1872 -- 1897Stefano Bistarelli, Carlo Taticchi. On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics

Volume 33, Issue 7

1527 -- 1565Tatsuya Abe 0001, Daisuke Kimura. A typed lambda-calculus with first-class configurations
1566 -- 1595Mikhail N. Rybakov, Dmitry Shkatov. Complexity function and complexity of validity of modal and superintuitionistic propositional logics
1596 -- 1624Paolo Liberatore. Reconstructing a single-head formula to facilitate logical forgetting
1625 -- 1664Razvan Diaconescu. Decompositions of stratified institutions
1665 -- 1683Shawn Standefer. Weak relevant justification logics
1684 -- 1710Liliana M. Cantú, Martín Figallo. Cut-free sequent-style systems for a logic associated to involutive Stone algebras

Volume 33, Issue 6

1119 -- 1121Manuel A. Martins 0001, Igor Sedlár. Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)
1122 -- 1151Natasha Alechina, Hans van Ditmarsch, Tim French 0002, Rustam Galimullin. The Expressivity of Quantified Group Announcements
1152 -- 1185Fausto Barbero, Katrin Schulz, Fernando R. Velázquez-Quesada, Kaibo Xie. Observing interventions: a logic for thinking about experiments
1186 -- 1215Gaia Belardinelli, Rasmus K. Rendsvig. Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models
1216 -- 1242Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin. Hybrid sabotage modal logic
1243 -- 1269Christoph Benzmüller, Sebastian Reiche. Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy
1270 -- 1300Thomas Bolander, Arnaud Lequen. Parameterized Complexity of Dynamic Belief Updates: A Complete Map
1301 -- 1325Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro. Algebraic tools for default modal systems
1326 -- 1349Diana Costa. 4DL: a four-valued dynamic logic and its proof theory
1350 -- 1378Hans van Ditmarsch, Mo Liu 0002, Louwe B. Kuijer, Igor Sedlár. Almost APAL
1379 -- 1398Oleg Grigoriev 0001, Yaroslav I. Petrukhin. Basic modal congruent and monotonic multilattice logics
1399 -- 1436Ryo Hatano, Katsuhiko Sano. Three faces of recursion axioms: the case of constructive dynamic logic of relation changers
1437 -- 1462Stepan L. Kuznetsov. Commutative action logic
1463 -- 1496Emiliano Lorini, Pengfei Song. A computationally grounded logic of awareness
1497 -- 1525Anthia Solaki. Actualizing distributed knowledge in bounded groups

Volume 33, Issue 5

937 -- 960Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai. Reflexive combinatory algebras
961 -- 969Anuj Dawar, Erich Grädel, Moritz Lichter. Limitations of the invertible-map equivalences
970 -- 983Noah Kaufmann. N3
984 -- 1021Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla, Henrique M. R. Jasinski. An Argumentation-Based Approach for Goal Reasoning and Explanations Generation
1022 -- 1059Augusto Peres, Jaime Ramos, Francisco Dionísio. Bounded model checking distributed temporal logic
1060 -- 1088Irakli O. Chitaia, Keng Meng Ng, Andrea Sorbi, Yue Yang 0004. Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities
1089 -- 1117Nicola Angius, Giuseppe Primiero. Copying safety and liveness properties of computational artefacts

Volume 33, Issue 4

709 -- 711Federico Bergenti, Stefania Monica. Special issue for the 36th Italian Conference on Computational Logic (CILC 2021)
712 -- 737Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi. Timed concurrent language for argumentation with maximum parallelism
738 -- 763Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere. Δ0-complexity and axiomatic weakness in undecidability proofs
764 -- 795Matteo Pascucci, Giovanni Sileno. A formal, diagrammatic, and operational study of normative relations
796 -- 817Angelo Ferrando 0001, Giorgio Delzanno. Incrementally predictive runtime verification
818 -- 836Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen. A sequent calculus for first-order logic formalized in Isabelle/HOL
837 -- 863Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Nicholas Nisopoli, Ivan Porro. Rescheduling rehabilitation sessions with answer set programming
864 -- 899Giuseppe Bisicchia, Stefano Forti 0002, Antonio Brogi. Sustainable goal-oriented smart environments: a declarative programming approach
900 -- 935Lorenzo De Lauretis, Fabio Persia, Stefania Costantini, Daniela D'Auria. How to leverage intelligent agents and complex event processing to improve patient monitoring

Volume 33, Issue 3

517 -- 535Bechar Ibrahim, Abdelkader Benyettou. Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets
536 -- 563Dominique Laurent 0001, Nicolas Spyratos. Deductive databases in four-valued logic: rule semantics and models
564 -- 576Stefano Baratella. A finitary outer measure logic
577 -- 598Zhiguang Zhao. Sahlqvist correspondence theory for second-order propositional modal logic
599 -- 622Paolo Baldi, Hykel Hosni. A logic-based tractable approximation of probability
623 -- 704Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex. Generic logical encoding for argumentation
705 -- 0. Correction to: An Argumentation-Based Approach for Goal Reasoning and Explanations Generation
706 -- 0Piotr Faliszewski, Rica Gonen, Martin Koutecký, Nimrod Talmon. Correction to: Opinion diffusion and campaigning on society graphs
707 -- 0. Correction to: Some applications of Baaz's generalization method to the study of the factors of Fermat numbers

Volume 33, Issue 2

189 -- 191Pietro Baroni, Christoph Benzmüller, Yì N. Wáng. Preface: Special Issue on Logic and Argumentation
192 -- 229Alexandros Vassiliades, Giorgos Flouris, Theodore Patkos, Antonis Bikakis, Nick Bassiliades, Dimitris Plexousakis. Argumentation Frameworks with Attack Classification
230 -- 256Vivien Beuselinck, Jérôme Delobelle, Srdjan Vesic. A Principle-based Account of Self-attacking Arguments in Gradual Semantics
257 -- 288Timotheus Kampik, Dov M. Gabbay, Giovanni Sartor. A comprehensive account of the burden of persuasion in abstract argumentation
289 -- 318Marie-Christine Lagasquie-Schiex. Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks
319 -- 343Weiwei Chen. Collective argumentation with topological restrictions: the case of aggregating abstract argumentation frameworks
344 -- 369Chonghui Li, Beishui Liao. Integrating individual preferences into collective argumentation
370 -- 405Antonio Yuste-Ginel, Andreas Herzig. Qualitative uncertainty and dynamics of argumentation through dynamic logic
406 -- 435Jean-Guy Mailly. Extension-based semantics for incomplete argumentation frameworks: properties, complexity and algorithms
436 -- 461Vít Puncochár, Igor Sedlár, Andrew Tedder. Relevant epistemic logic with public announcements and common knowledge
462 -- 484Gemma Robles. Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP
485 -- 515Xinghan Liu, Emiliano Lorini. A unified logical framework for explanations in classifier systems

Volume 33, Issue 1

1 -- 46Nicholas Pischke. On infinitary Gödel logics
47 -- 89Ivan Chajda, Kadir Emir, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka. An algebraic analysis of implication in non-distributive logics
90 -- 135Friedrich Wehrung. Projective classes as images of accessible functors
136 -- 162David Carral, Joseph Zalewski, Pascal Hitzler. An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas
163 -- 187Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang 0006, Yuzhi Zhang. Game equivalence and expressive power of game description languages: a bisimulation approach