| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro |
Scheduling pre-operative assessment clinic with answer set programming.  |
J. Log. Comput.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Gisèle Fischer Servi |
Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework. |
J. Log. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Matias Pailos |
On all pure three-valued logics. |
J. Log. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Glenn Blanchette, Anthony Robins |
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence. |
J. Log. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Timotheus Kampik |
Kettle logic in abstract argumentation. |
J. Log. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sujata Ghosh, Shreyas Gupta, Lei Li |
Bisimulation in model-changing modal logics: An algorithmic study. |
J. Log. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Peltier |
Some techniques for reasoning automatically on co-inductive data structures. |
J. Log. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Correction to: Argumentation Frameworks with Attack Classification. |
J. Log. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Kuchynka, Jirí Raclavský |
Completeness in partial type theory. |
J. Log. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim de Groot |
Non-distributive positive logic as a fragment of first-order logic over semilattices. |
J. Log. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Cantor, Aaron Stump |
Dual counterpart intuitionistic logic. |
J. Log. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Towsner |
What do ultraproducts remember about the original structures? |
J. Log. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Ugolini |
The polyhedral geometry of Wajsberg hoops. |
J. Log. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan van Benthem, Nick Bezhanishvili |
Modal structures in groups and vector spaces. |
J. Log. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Christine Lagasquie-Schiex |
Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Nicholas Nisopoli, Ivan Porro |
Rescheduling rehabilitation sessions with answer set programming. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini, Pengfei Song |
A computationally grounded logic of awareness. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Correction to: An Argumentation-Based Approach for Goal Reasoning and Explanations Generation. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stepan L. Kuznetsov |
Commutative action logic. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shawn Standefer |
Weak relevant justification logics. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere |
Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Noah Kaufmann |
Classifying all transducer degrees below N3. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Barbero, Katrin Schulz, Fernando R. Velázquez-Quesada, Kaibo Xie |
Observing interventions: a logic for thinking about experiments. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Guy Mailly |
Extension-based semantics for incomplete argumentation frameworks: properties, complexity and algorithms. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Peres, Jaime Ramos, Francisco Dionísio |
Bounded model checking distributed temporal logic. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Mochi, Giuseppe Galatà, Marco Maratea |
Master Surgical Scheduling via Answer Set Programming. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Carral, Joseph Zalewski, Pascal Hitzler |
An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Correction to: Some applications of Baaz's generalization method to the study of the factors of Fermat numbers. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin |
Hybrid sabotage modal logic. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Sebastian Reiche |
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Ferrando 0001, Giorgio Delzanno |
Incrementally predictive runtime verification. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chonghui Li, Beishui Liao |
Integrating individual preferences into collective argumentation. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans van Ditmarsch, Mo Liu 0002, Louwe B. Kuijer, Igor Sedlár |
Almost APAL. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Irakli O. Chitaia, Keng Meng Ng, Andrea Sorbi, Yue Yang 0004 |
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana Costa |
4DL: a four-valued dynamic logic and its proof theory. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang 0006, Yuzhi Zhang |
Game equivalence and expressive power of game description languages: a bisimulation approach. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Bergenti, Stefania Monica |
Special issue for the 36th Italian Conference on Computational Logic (CILC 2021). |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Pischke |
On infinitary Gödel logics. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivien Beuselinck, Jérôme Delobelle, Srdjan Vesic |
A Principle-based Account of Self-attacking Arguments in Gradual Semantics. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Faliszewski, Rica Gonen, Martin Koutecký, Nimrod Talmon |
Correction to: Opinion diffusion and campaigning on society graphs. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Tardivo, Agostino Dovier, Andrea Formisano 0001, Laurent Michel, Enrico Pontelli |
Constraint propagation on GPU: A case study for the AllDifferent constraint. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi |
Timed concurrent language for argumentation with maximum parallelism. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaia Belardinelli, Rasmus K. Rendsvig |
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiwei Chen |
Collective argumentation with topological restrictions: the case of aggregating abstract argumentation frameworks. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandros Vassiliades, Giorgos Flouris, Theodore Patkos, Antonis Bikakis, Nick Bassiliades, Dimitris Plexousakis |
Argumentation Frameworks with Attack Classification. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex |
Generic logical encoding for argumentation. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Liberatore |
Reconstructing a single-head formula to facilitate logical forgetting. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vít Puncochár, Igor Sedlár, Andrew Tedder |
Relevant epistemic logic with public announcements and common knowledge. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen |
A sequent calculus for first-order logic formalized in Isabelle/HOL. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatsuya Abe 0001, Daisuke Kimura |
A typed lambda-calculus with first-class configurations. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai |
Reflexive combinatory algebras. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bechar Ibrahim, Abdelkader Benyettou |
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Liliana M. Cantú, Martín Figallo |
Cut-free sequent-style systems for a logic associated to involutive Stone algebras. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Timotheus Kampik, Dov M. Gabbay, Giovanni Sartor |
A comprehensive account of the burden of persuasion in abstract argumentation. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo De Lauretis, Fabio Persia, Stefania Costantini, Daniela D'Auria |
How to leverage intelligent agents and complex event processing to improve patient monitoring. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Grigoriev 0001, Yaroslav I. Petrukhin |
Basic modal congruent and monotonic multilattice logics. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pascucci, Giovanni Sileno |
A formal, diagrammatic, and operational study of normative relations. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma |
Decomposition approaches for scheduling chronic outpatients' clinical pathways in Answer Set Programming. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Soldà, Francesco Fabiano, Agostino Dovier |
ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinghan Liu, Emiliano Lorini |
A unified logical framework for explanations in classifier systems. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Chajda, Kadir Emir, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka |
An algebraic analysis of implication in non-distributive logics. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiguang Zhao |
Sahlqvist correspondence theory for second-order propositional modal logic. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldi, Hykel Hosni |
A logic-based tractable approximation of probability. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro |
Algebraic tools for default modal systems. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa |
Efficient compliance checking of RDF data. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Wehrung |
Projective classes as images of accessible functors. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Bisicchia, Stefano Forti 0002, Antonio Brogi |
Sustainable goal-oriented smart environments: a declarative programming approach. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gemma Robles |
Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthia Solaki |
Actualizing distributed knowledge in bounded groups. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Baroni, Christoph Benzmüller, Yì N. Wáng |
Preface: Special Issue on Logic and Argumentation. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel A. Martins 0001, Igor Sedlár |
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020). |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Angius, Giuseppe Primiero |
Copying safety and liveness properties of computational artefacts. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Yuste-Ginel, Andreas Herzig |
Qualitative uncertainty and dynamics of argumentation through dynamic logic. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla, Henrique M. R. Jasinski |
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail N. Rybakov, Dmitry Shkatov |
Complexity function and complexity of validity of modal and superintuitionistic propositional logics. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Carlo Taticchi |
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bolander, Arnaud Lequen |
Parameterized Complexity of Dynamic Belief Updates: A Complete Map. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Baratella |
A finitary outer measure logic. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Laurent 0001, Nicolas Spyratos |
Deductive databases in four-valued logic: rule semantics and models. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar, Erich Grädel, Moritz Lichter |
Limitations of the invertible-map equivalences. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Magnini, Giovanni Ciatto, Andrea Omicini |
Knowledge injection of Datalog rules via Neural Network Structuring with KINS. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Decompositions of stratified institutions. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Hans van Ditmarsch, Tim French 0002, Rustam Galimullin |
The Expressivity of Quantified Group Announcements. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryo Hatano, Katsuhiko Sano |
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Carlo Taticchi |
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Subramani 0001, Piotr Wojciechowski 0002, Ying Sheng 0007 |
Read-once refutations in Horn constraint systems: an algorithmic approach. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitor Machado, Mario R. F. Benevides |
Temporal logic for social networks. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Prandi, Giuseppe Primiero |
A logic for biassed information diffusion by paranoid agents in social networks. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov |
Densely computable structures. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo |
On the expressive power of Łukasiewicz square operator. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zahra Moezkarimi, Fatemeh Ghassemi, Mohammad Reza Mousavi 0001 |
A policy-aware epistemic framework for social networks. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Rogozin |
Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Wang, Bin Zhao |
Topologies on residuated lattices. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Primiero, Marija Slavkovik 0001, Sonja Smets |
Netreason: Reasoning about social networks. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Aglianò, Sara Ugolini |
Strictly join irreducible varieties of residuated lattices. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Filipe, Sérgio Marcelino, Carlos Caleiro |
Computational properties of finite PNmatrices. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré |
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Krogman, Douglas Cenzer |
Complexity of injection structures induced by finite state transducers. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license