The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "J. Log. Comput."( http://dblp.L3S.de/Venues/J._Log._Comput. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/logcom

Publication years (Num. hits)
1990-1991 (34) 1992 (31) 1993 (34) 1994 (40) 1995 (30) 1996 (34) 1997 (32) 1998 (38) 1999 (40) 2000 (34) 2001 (49) 2002 (43) 2003 (49) 2004 (44) 2005 (50) 2006 (39) 2007 (53) 2008 (52) 2009 (74) 2010 (56) 2011 (58) 2012 (70) 2013 (61) 2014 (53) 2015 (58) 2016 (76) 2017 (95) 2018 (66) 2019 (57) 2020 (68) 2021 (87) 2022 (60)
Publication types (Num. hits)
article(1665)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 1665 publication records. Showing 1665 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Stefano Bistarelli, Carlo Taticchi A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1K. Subramani, Piotr Wojciechowski 0002, Ying Sheng 0007 Read-once refutations in Horn constraint systems: an algorithmic approach. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Vitor Machado, Mario R. F. Benevides Temporal logic for social networks. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Lorenzo Prandi, Giuseppe Primiero A logic for biassed information diffusion by paranoid agents in social networks. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov Densely computable structures. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo On the expressive power of Łukasiewicz square operator. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Zahra Moezkarimi, Fatemeh Ghassemi, Mohammad Reza Mousavi 0001 A policy-aware epistemic framework for social networks. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Wei Wang, Bin Zhao Topologies on residuated lattices. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Giuseppe Primiero, Marija Slavkovik 0001, Sonja Smets Netreason: Reasoning about social networks. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Paolo Aglianò, Sara Ugolini Strictly join irreducible varieties of residuated lattices. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Lukas Grätz Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Theofanis I. Aravanis An ASP-based solver for parametrized-difference revision. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Nicola Rizzo 0001, Agostino Dovier 3coSoKu and its declarative modeling. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Saúl Fernández González Change in social networks: Some dynamic extensions of Social Epistemic Logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Stefania Costantini Ensuring trustworthy and ethical behaviour in intelligent logical agents. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Régis Riveret, Nir Oren On probabilistic argumentation and subargument-completeness. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jonathan van Toor Pattern connectives. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yuri David Santos, Barteld Kooi, Rineke Verbrugge Iterative social consolidations: Forming beliefs from many-valued evidence and peers' opinions. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Simona Perri, Ester Zumpano Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020). Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1João Rasga, Cristina Sernadas Adding abductive reasoning to a propositional logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Zofia Kostrzycka Projective unification in weakly transitive and weakly symmetric modal logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale Geometry of super-Łukasiewicz logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Sergey Slavnov On embedding Lambek calculus into commutative categorial grammars. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Andrés Occhipinti Liberman, Rasmus K. Rendsvig Reasoning about epistemic social network dynamics using dynamic term-modal logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Stefano Bonzio, Michele Pra Baldi Containment logics: Algebraic Counterparts and Reduced Models. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Bogdan Aman, Gabriel Ciobanu Stochastic sharing calculus for reasoning about social networks. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Vlasta Sikimic, Ole Herud-Sikimic Modelling efficient team structures in biology. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Francesco Fabiano, Alessandro Dal Palù An ASP approach for arteries classification in CT scans. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis, Yu Fu, Marija Slavkovik 0001 Markov chain model representation of information diffusion in social networks. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Stefano Forti 0002, Giuseppe Bisicchia, Antonio Brogi Declarative continuous reasoning in the cloud-IoT continuum. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Piotr Faliszewski, Rica Gonen, Martin Koutecý, Nimrod Talmon Opinion diffusion and campaigning on society graphs. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Daniel Gaina, Tomasz Kowalski Lindström's theorem, both syntax and semantics free. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Matea Celar, Zvonko Iljazovic Computability of glued manifolds. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Sujata Ghosh, Katsuhiko Sano Rely more or less, for better or for worse: Intertwining reliability and preferences. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Maciej Zielenkiewicz, Aleksy Schubert Automata theory approach to predicate intuitionistic logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Uri Andrews, Steffen Lempp, Manat Mustafa, Noah David Schweber The first-order theory of the computably enumerable equivalence relations in the uncountable setting. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Nadia Creignou, Raïda Ktari, Odile Papini Belief contraction and erasure in fragments of propositional logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Emma Rollon, Javier Larrosa Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Takahiro Sawasaki, Katsuhiko Sano Corrigendum to: Frame definability, canonicity and cut elimination in common sense modal predicate logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Pawel Pawlowski, Elio La Rosa Modular non-deterministic semantics for T, TB, S4, S5 and more. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Luciano Caroprese, Ester Zumpano Semantic data management in P2P systems driven by self-esteem. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Nico Roos Extending dynamic logic with refinements of abstract actions. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Lia Bozzone, Pavel Naumov Budget-constrained coalition strategies with discounting. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Mikhail N. Rybakov, Dmitry Shkatov Complexity of finite-variable fragments of products with non-transitive modal logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Andrea Loreggia, Emiliano Lorini, Giovanni Sartor Modelling Ceteris Paribus Preferences with Deontic Logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yuya Okawa Countably many sublogics of the interpretability logic IL having fixed point properties. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Juntao Wang 0001, Pengfei He 0001, Jiang Yang, Mei Wang, Xiaoli He Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alessandro Aldini On the modeling and verification of the spread of fake news, algebraically. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yongfeng Yuan, Shier Ju, Xuefeng Wen Erratum to: Evaluative multiple revision based on core beliefs. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Nicole Fitzgerald, Jacopo Tagliabue On the plurality of graphs. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1José Carmo, Andrew J. I. Jones Carmo and Jones' logic for contrary-to-duty obligations revised. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Emanuel Kieronski, Antti Kuusisto One-dimensional fragment over words and trees. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Wenjing Du, Zihan Niu, Minghui Xiong Resolving the Cohenian paradox in judicial probability theory. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Ziba Assadi, Saeed Salehi Gödelian sentences, Rosserian sentences and truth. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Mirko Tagliaferri, Alessandro Aldini From belief to trust: A quantitative framework based on modal logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Grigory K. Olkhovikov, Guillermo Badia Maximality of bi-intuitionistic propositional logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Roberta Calegari, Andrea Omicini, Giuseppe Pisano, Giovanni Sartor Arg2P: an argumentation framework for explainable intelligent systems. Search on Bibsonomy J. Log. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Mikhail N. Rybakov, Dmitry Shkatov Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Maciej Bendkowski A note on the asymptotic expressiveness of ZF and ZFC. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Tim Lethen A Talmudic norms approach to many-valued logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Fenrong Liu, Beishui Liao Reasoning in social settings. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Huimin Dong Logic of defeasible permission and its dynamics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mikhail N. Rybakov, Dmitry Shkatov Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Dag Normann, Sam Sanders The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Stéphane Demri, Raul Fervari, Alessio Mansutti Internal proof calculi for modal logics with separating conjunction. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Kevin Ros Strategic coalitions in stochastic games. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jirí Adámek, Stefan Milius, Henning Urbat On the behaviour of coalgebras with side effects and algebras with effectful iteration. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Umberto Grandi, Emiliano Lorini, Arianna Novaro, Laurent Perrussel Games of influence. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Erik Parmann, Thomas Ågotnes Reasoning about strategic voting in modal logic quickly becomes undecidable. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Liping Tang Ambiguity and context learning in signalling games. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Anela Lolic Towards a proof theory for Henkin quantifiers. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Massimiliano Carrara, Wei Zhu Computational Errors and Suspension in a PWK Epistemic Agent. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Tim Lyon On the correspondence between nested calculi and semantic systems for intuitionistic logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jurriaan Rot, Bart Jacobs 0001, Paul Blain Levy Steps and traces. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1 Preface. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Julia Ilin, Dick de Jongh, Fan Yang 0004 NNIL-formulas revisited: Universal models and finite model property. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Daniel Leivant Finitism, imperative programs and primitive recursion. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mikhail N. Rybakov, Dmitry Shkatov Complexity of finite-variable fragments of products with K. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nathanael L. Ackerman, Cameron E. Freer, Rehana Patel On computable aspects of algebraic and definable closure. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Sonia Marin, Marianela Morales, Lutz Straßburger A fully labelled proof system for intuitionistic modal logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Fengkui Ju, Karl Nygren, Tianwen Xu Modeling legal conflict resolution based on dynamic logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yanhong A. Liu, Scott D. Stoller Knowledge of uncertain worlds: programming with logical constraints. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yannick Forster 0002, Dominik Kirst, Dominik Wehr Completeness theorems for first-order logic analysed in constructive type theory. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nicos Isaak, Loizos Michael Experience and prediction: a metric of hardness for a novel litmus test. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo Fibrational bisimulations and quantitative reasoning: Extended version. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1James Hanson Analog reducibility. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Marianna Girlando, Sara Negri, Nicola Olivetti Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Antonio Di Nola, Serafina Lapenta, Giacomo Lenzi Dualities and algebraic geometry of Baire functions in non-classical logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Irakli O. Chitaia, Roland Sh. Omanadze, Andrea Sorbi Notes on conjunctive and Quasi degrees. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Marcos Cramer Paracomplete truth theory with KFS-definable determinateness. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Azza Gaysin ℋ-Colouring Dichotomy in Proof Complexity. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Roman Kuznets, Björn Lellmann Interpolation for intermediate logics via injective nested sequents. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Eugenio Orlandelli Labelled calculi for quantified modal logics with definite descriptions. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Hien D. Nguyen 0002, Chiaki Sakama, Taisuke Sato, Katsumi Inoue An efficient reasoning method on logic programming using partial evaluation in vector spaces. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Daniel Rogozin Categorical and algebraic aspects of the intuitionistic modal logic IEL - and its predicate extensions. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Cornelis A. Middelburg On the strongest three-valued paraconsistent logic contained in classical logic and its dual. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Camillo Fiorentini, Mauro Ferrari 0002 A forward internal calculus for model generation in S4. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1665 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license