default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 33
Volume 33, Number 1, January 2023
- Nicholas Pischke
:
On infinitary Gödel logics. 1-46 - Ivan Chajda, Kadir Emir, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka:
An algebraic analysis of implication in non-distributive logics. 47-89 - Friedrich Wehrung:
Projective classes as images of accessible functors. 90-135 - David Carral, Joseph Zalewski, Pascal Hitzler:
An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas. 136-162 - Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang:
Game equivalence and expressive power of game description languages: a bisimulation approach. 163-187
Volume 33, Number 2, March 2023
- Pietro Baroni, Christoph Benzmüller, Yì N. Wáng:
Preface: Special Issue on Logic and Argumentation. 189-191 - Alexandros Vassiliades, Giorgos Flouris, Theodore Patkos, Antonis Bikakis, Nick Bassiliades, Dimitris Plexousakis:
Argumentation Frameworks with Attack Classification. 192-229 - Vivien Beuselinck, Jérôme Delobelle, Srdjan Vesic:
A Principle-based Account of Self-attacking Arguments in Gradual Semantics. 230-256 - Timotheus Kampik, Dov M. Gabbay, Giovanni Sartor:
A comprehensive account of the burden of persuasion in abstract argumentation. 257-288 - Marie-Christine Lagasquie-Schiex:
Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks. 289-318 - Weiwei Chen:
Collective argumentation with topological restrictions: the case of aggregating abstract argumentation frameworks. 319-343 - Chonghui Li, Beishui Liao:
Integrating individual preferences into collective argumentation. 344-369 - Antonio Yuste-Ginel, Andreas Herzig:
Qualitative uncertainty and dynamics of argumentation through dynamic logic. 370-405 - Jean-Guy Mailly:
Extension-based semantics for incomplete argumentation frameworks: properties, complexity and algorithms. 406-435 - Vít Puncochár, Igor Sedlár, Andrew Tedder:
Relevant epistemic logic with public announcements and common knowledge. 436-461 - Gemma Robles:
Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP. 462-484 - Xinghan Liu, Emiliano Lorini:
A unified logical framework for explanations in classifier systems. 485-515
Volume 33, Number 3, April 2023
- Bechar Ibrahim, Abdelkader Benyettou:
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets. 517-535 - Dominique Laurent, Nicolas Spyratos:
Deductive databases in four-valued logic: rule semantics and models. 536-563 - Stefano Baratella:
A finitary outer measure logic. 564-576 - Zhiguang Zhao:
Sahlqvist correspondence theory for second-order propositional modal logic. 577-598 - Paolo Baldi, Hykel Hosni:
A logic-based tractable approximation of probability. 599-622 - Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex:
Generic logical encoding for argumentation. 623-704 - Correction to: An Argumentation-Based Approach for Goal Reasoning and Explanations Generation. 705
- Piotr Faliszewski, Rica Gonen, Martin Koutecký, Nimrod Talmon:
Correction to: Opinion diffusion and campaigning on society graphs. 706 - Correction to: Some applications of Baaz's generalization method to the study of the factors of Fermat numbers. 707
Volume 33, Number 4, June 2023
- Federico Bergenti, Stefania Monica:
Special issue for the 36th Italian Conference on Computational Logic (CILC 2021). 709-711 - Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Timed concurrent language for argumentation with maximum parallelism. 712-737 - Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere:
Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs. 738-763 - Matteo Pascucci, Giovanni Sileno:
A formal, diagrammatic, and operational study of normative relations. 764-795 - Angelo Ferrando, Giorgio Delzanno:
Incrementally predictive runtime verification. 796-817 - Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen:
A sequent calculus for first-order logic formalized in Isabelle/HOL. 818-836 - Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Nicholas Nisopoli, Ivan Porro:
Rescheduling rehabilitation sessions with answer set programming. 837-863 - Giuseppe Bisicchia, Stefano Forti, Antonio Brogi:
Sustainable goal-oriented smart environments: a declarative programming approach. 864-899 - Lorenzo De Lauretis, Fabio Persia, Stefania Costantini, Daniela D'Auria:
How to leverage intelligent agents and complex event processing to improve patient monitoring. 900-935
Volume 33, Number 5, July 2023
- Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai:
Reflexive combinatory algebras. 937-960 - Anuj Dawar, Erich Grädel, Moritz Lichter:
Limitations of the invertible-map equivalences. 961-969 - Noah Kaufmann:
Classifying all transducer degrees below N3. 970-983 - Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla, Henrique M. R. Jasinski:
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation. 984-1021 - Augusto Peres, Jaime Ramos, Francisco Dionísio:
Bounded model checking distributed temporal logic. 1022-1059 - Irakli O. Chitaia, Keng Meng Ng, Andrea Sorbi, Yue Yang:
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities. 1060-1088 - Nicola Angius, Giuseppe Primiero:
Copying safety and liveness properties of computational artefacts. 1089-1117
Volume 33, Number 6, August 2023
- Manuel A. Martins, Igor Sedlár:
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020). 1119-1121 - Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin:
The Expressivity of Quantified Group Announcements. 1122-1151 - Fausto Barbero, Katrin Schulz, Fernando R. Velázquez-Quesada, Kaibo Xie:
Observing interventions: a logic for thinking about experiments. 1152-1185 - Gaia Belardinelli, Rasmus K. Rendsvig:
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models. 1186-1215 - Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin:
Hybrid sabotage modal logic. 1216-1242 - Christoph Benzmüller, Sebastian Reiche:
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy. 1243-1269 - Thomas Bolander, Arnaud Lequen:
Parameterized Complexity of Dynamic Belief Updates: A Complete Map. 1270-1300 - Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro:
Algebraic tools for default modal systems. 1301-1325 - Diana Costa:
4DL: a four-valued dynamic logic and its proof theory. 1326-1349 - Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár:
Almost APAL. 1350-1378 - Oleg Grigoriev, Yaroslav I. Petrukhin:
Basic modal congruent and monotonic multilattice logics. 1379-1398 - Ryo Hatano, Katsuhiko Sano:
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers. 1399-1436 - Stepan L. Kuznetsov:
Commutative action logic. 1437-1462 - Emiliano Lorini, Pengfei Song:
A computationally grounded logic of awareness. 1463-1496 - Anthia Solaki:
Actualizing distributed knowledge in bounded groups. 1497-1525
Volume 33, Number 7, October 2023
- Tatsuya Abe, Daisuke Kimura:
A typed lambda-calculus with first-class configurations. 1527-1565 - Mikhail N. Rybakov, Dmitry Shkatov:
Complexity function and complexity of validity of modal and superintuitionistic propositional logics. 1566-1595 - Paolo Liberatore:
Reconstructing a single-head formula to facilitate logical forgetting. 1596-1624 - Razvan Diaconescu:
Decompositions of stratified institutions. 1625-1664 - Shawn Standefer:
Weak relevant justification logics. 1665-1683 - Liliana M. Cantú, Martín Figallo:
Cut-free sequent-style systems for a logic associated to involutive Stone algebras. 1684-1710
Volume 33, Number 8, December 2023
- Giovanni 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. 1712-1733 - Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraint propagation on GPU: A case study for the AllDifferent constraint. 1734-1752 - Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa:
Efficient compliance checking of RDF data. 1753-1776 - Marco Mochi, Giuseppe Galatà, Marco Maratea:
Master Surgical Scheduling via Answer Set Programming. 1777-1803 - Davide Soldà, Francesco Fabiano, Agostino Dovier:
ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems. 1804-1831 - Matteo Magnini, Giovanni Ciatto, Andrea Omicini:
Knowledge injection of Datalog rules via Neural Network Structuring with KINS. 1832-1850 - Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma:
Decomposition approaches for scheduling chronic outpatients' clinical pathways in Answer Set Programming. 1851-1871 - Stefano Bistarelli, Carlo Taticchi:
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics. 1872-1897
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
