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 (25)
Publication types (Num. hits)
article(1418)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 1418 publication records. Showing 1418 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marcelo E. Coniglio, Francesc Esteva, Joan Gispert, Lluis Godo Maximality in finite-valued Łukasiewicz logics defined by order filters. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chung-hye Han, Sara Williamson, Logan Born, Anoop Sarkar An analysis of clausal coordination using synchronous tree adjoining grammar. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sven Ove Hansson In defence of deontic diversity. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Powell Parametrized bar recursion: a unifying framework for realizability interpretations of classical dependent choice. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Olivier Roy, Allard M. Tamminga, Malte Willer Erratum to: Editorial Reasons, argumentation and justification: DEON 2016 special issue. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Catharine Saint Croix, Richmond H. Thomason Chisholm's paradox and conditional oughts. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Henning Basold, Helle Hvid Hansen Well-definedness and observational equivalence for inductive-coinductive programs. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fengkui Ju, Jan van Eijck A temporal dynamic deontic logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ilaria Canavotto, Alessandro Giordani Enriching deontic logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ulrich Berger 0001, Alison Jones, Monika Seisenberger Program extraction applied to monadic parsing. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Liron Cohen 0001, Robert L. Constable Intuitionistic ancestral logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Olivier Roy, Allard M. Tamminga, Malte Willer Editorial Reasons, argumentation and justification: DEON 2016 special issue. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1 Special Issue 'deontic modalities in natural language' - selected and revised papers from the 12th International Conference on Deontic Logic and Normative Systems (DEON 2014). Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dirk Pattinson, Peter Schuster 0001, Ana Sokolova Preface for the special issue of Proof, Structure, and Computation 2014. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christian Straßer, Ofer Arieli Normative reasoning by sequent-based argumentation. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mathieu Beirlaen, Jesse Heyninck, Christian Straßer Structured argumentation with prioritized conditional obligations and permissions. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Frederik Van De Putte Coarse deontic logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roland Sh. Omanadze On the connections between wttwttwttwttwtt- and QQ[Math Processing Error]Q-reducibilities. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Beishui Liao, Nir Oren, Leender van der Torre, Serena Villata Prioritized norms in formal argumentation. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jacopo Amidei, Uri Andrews, Duccio Pianigiani, Luca San Mauro, Andrea Sorbi Trial and error mathematics: Dialectical systems and completions of theories. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zoé Christoff, Pavel Naumov Diffusion in social networks with recalcitrant agents. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Magdalena Kaufmann Fine-tuning natural language imperatives. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin Subframization and stabilization for superintuitionistic logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefano Berardi, Paulo Oliva, Silvia Steila An analysis of the Podelski-Rybalchenko termination theorem via bar recursion. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chrysafis Hartonas Discrete duality for lattices with modal operators. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xin Sun 0001 Proof theory, semantics and algebra for normative systems. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hoang Nga Nguyen, Natasha Alechina, Brian Logan, Abdur Rakib Alternating-time temporal logic with resource bounds. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gerard R. Renardel de Lavalette Interpolation in propositional Horn logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolas Schwind, Sébastien Konieczny, Pierre Marquis Belief base rationalization for propositional merging. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vladimir Gurvich Backward induction in presence of cycles. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhe Hou, Rajeev Goré, Alwen Tiu A labelled sequent calculus for BBI: proof theory and proof search. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Beishui Liao, Kang Xu, Huaxin Huang Formulating semantics of probabilistic argumentation by characterizing subgraphs: theory and empirical results. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Ripley On the 'transitivity' of consequence relations. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Claudette Cayrol, Didier Dubois, Fayçal Touazi Symbolic possibilistic logic: completeness and inference methods. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grigory K. Olkhovikov Stit logic of justification announcements: a completeness result. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giuseppe Sergioli, Hector Freytes Fuzzy approach to quantum Fredkin gate. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davide Grossi, Olivier Roy Introduction: Selected Papers from the 4th Workshop on Logic, Rationality and Interaction (LORI-4). Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis, Michael Fisher 0001, Matt Webster Two-stage agent program verification. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi, Jifeng He Accelerating LTL satisfiability checking by SAT solvers. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francisco Bavera, Eduardo Bonelli Justification logic and audited computation. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ori Lahav, Yoni Zohar From the subformula property to cut-admissibility in propositional sequent calculi. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kaya Deuser, Pavel Naumov Navigability with intermediate constraints. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonio di Nola, Serafina Lapenta, Ioana Leustean Infinitary logic and basically disconnected compact Hausdorff spaces. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manuel Bodirsky, David Bradley-Williams, Michael Pinsker, András Pongrácz The universal homogeneous binary tree. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Charles Stewart, Valeria de Paiva, Natasha Alechina Intuitionistic Modal Logic: A 15-year retrospective. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Enqvist Flat modal fixpoint logics with the converse modality. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Fenrong Liu, Brian Logan Efficient minimal preference change. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ringo Baumann, Gerhard Brewka The equivalence zoo for Dung-style semantics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Igor Douven, Hans Rott From probabilities to categorical beliefs: Going beyond toy models. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fengkui Ju, Li Liang Commands changing obligations 1. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Enqvist, Sumit Sourabh Bisimulations for coalgebras on Stone spaces. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama The strength of SCT soundness. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lorenz Demey Computing the maximal Boolean complexity of families of Aristotelian diagrams. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jean-René Courtault, Didier Galmiche A modal separation logic for resource dynamics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Julian Gutierrez 0001 On fixpoint logics and equivalences for processes with restricted nondeterminism. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wesley Calvert, Andrey Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Alexandra A. Soskova, Stefan Vatev Strong jump inversion. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giorgio Magri A note on phonological similarity in Tesar's (2014) theory of output-drivenness. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes Combining transactions and automatic repairs. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pere Pardo, Lluis Godo A temporal argumentation approach to cooperative planning using dialogues. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Filippo Sestini, Silvia Crafa Proof search in a context-sensitive logic for molecular biology. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wojciech Jamroga, Masoud Tabatabaei Accumulative knowledge under bounded resources. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yanjun Li Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arnold Beckmann, Norbert Preining Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoning. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arianna Novaro, Umberto Grandi, Andreas Herzig Judgment aggregation in dynamic logic of propositional assignments. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Nina Gierasimczuk Learning to act: qualitative learning of deterministic action models. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Dimiter Georgiev, Tinko Tinchev Modal correspondence theory in the class of all Euclidean frames. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fernando R. Velázquez-Quesada Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Yakoub Salhi Tree-sequent calculi and decision procedures for intuitionistic modal logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicola Angius, Giuseppe Primiero The logic of identity and copy for computational artefacts. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Richard Garner, Tom Hirschowitz Shapely monads and analytic functors. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jens Ulrik Hansen, Thomas Bolander, Torben Braüner Many-valued hybrid logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrew W. Simmons On the computational complexity of detecting possibilistic locality. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Annemarie Borg, Christian Straßer Reasoning with maximal consistency by argumentative approaches. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hannes Strass Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Decidable temporal and sequential relevant logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV). Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Minghui Ma, Katsuhiko Sano How to update neighbourhood models. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gabrielle Anderson, David J. Pym Trust domains in system models: algebra, logic, utility, and combinators. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eric Martin 0002, Frank Stephan 0001 Implementing fragments of ZFC within an r.e. Universe. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel Satisfiability for relation-changing logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rosalie Iemhoff Terminating sequent calculi for two intuitionistic modal logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic On the aggregation of argumentation frameworks: operators and postulates. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giuseppe Greco 0001, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao Unified correspondence as a proof-theoretic tool. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luís Pinto, Tarmo Uustalu A proof-theoretic study of bi-intuitionistic propositional sequent calculus. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Joseph Boudou Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi On an intuitionistic logic for pragmatics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Fabio Rossi, Francesco Santini 0001 Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillaume Aucher, Johan van Benthem, Davide Grossi Modal logics of sabotage revisited. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, David J. Pym Preface. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mark Snaith, Chris Reed Argument Revision. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Argimiro Arratia, Carlos E. Ortiz Methods of class field theory to separate logics over finite residue classes and circuit complexity. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefano Aguzzoli, Manuela Busaniche, Brunella Gerla, Miguel Andrés Marcos On the category of Nelson paraconsistent lattices. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthew Collinson, Kevin McDonald, Simon Docherty, David J. Pym Erratum to: A substructural logic for layered graphs. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hiroyuki Kido, Yukio Ohsawa, Katsumi Nitta Paretian argumentation frameworks for Pareto optimal arguments. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Seyed-Mohammad Bagheri, Roghieh Safari Completeness for linear continuous logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard Bliem, Reinhard Pichler, Stefan Woltran Implementing Courcelle's Theorem in a declarative framework for dynamic programming. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hans de Nivelle Theorem proving for classical logic with partial functions by reduction to Kleene logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao Jónsson-style canonicity for ALBA-inequalities. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1418 (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