default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIfCoLog Journal of Logics and their Applications, Volume 6
Volume 6, Number 1, January 2019
- Huili Xing, Zhaohui Zhu, Jinjin Zhang:
Covariant-Contravariant Refinement Modal Logic. 1-30 - Andrew Schumann:
Did the Neo-Babylonians Construct a Symbolic Logic for Legal Proceedings? 31-82 - Wilhelm Rödder, Andreas Dellnitz, Ivan Ricardo Gartner, Sebastian Litzinger:
Weight Predication on Missing Links in Social Networks. A Cross-Entropy-Based Approach. 83-104 - Woosuk Park, Sungyong Kim, Keunhyoung Luke Kim, Jeounghoon Kim:
AlphaGo's Decision Making. 105-156 - Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo:
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. 157-203
Volume 6, Number 2, March 2019
- Ofer Arieli, Anna Zamansky:
Preface. 205-208 - Diana Costa, Manuel A. Martins, João Marcos:
On Herbrand's Theorem for Hybrid Logic. 209-228 - Leonid Devyatkin:
Many-valued Paraconsistent Extensions of Classical Positive Propositional Calculus. 229-254 - Nissim Francez, Michael Kaminski:
On Poly-logistic Natural-deduction for Finitely-valued Propositional Logics. 255-290 - Oleg M. Grigoriev:
Logic of Bipartite Truth with Uncertainty Dimension. 291-318 - Jesse Heyninck:
Relations Between Assumption-based Approaches in Nonmonotonic Logics and Formal Argumentation. 319-360 - Beata Konikowska, Arnon Avron:
Reasoning about Covering-based Rough Sets Using Three Truth Values. 361-382 - Daniele Mundici:
Preservation properties of De Finetti Coherence. 383-396 - Nenad Savic, Thomas Studer:
Relevant Justification Logic. 397-412 - Yaroslav Shramko:
Dual-Belnap Logic and Anything but Falsehood. 413-430
Volume 6, Number 3, May 2019
- Peter B. M. Vranas:
New Foundations for Imperative Logic IV: Natural Deduction. 431-446 - Asad Ahmed, Osman Hasan, Ammar Hasan:
Formal Periodic Steady-State Analysis of Power Converters in Time-Domain. 447-468 - Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. 469-512 - Ruurik Holm:
A Novel Criterion for Rejecting the Non-Inductive Method. 513-522 - Frederik Van De Putte, Mathieu Beirlaen, Joke Meheus:
Adaptive Deontic Logics: A Survey. 523-608
Volume 6, Number 4, June 2019
- Artur S. d'Avila Garcez, Tarek R. Besold:
Editorial. 609-610 - Artur S. d'Avila Garcez, Marco Gori, Luís C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran:
Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning. 611-632 - Emile van Krieken, Erman Acar, Frank van Harmelen:
Semi-supervised Learning using Differentiable Reasoning. 633-652 - Gadi Pinkas, Shimon Cohen:
High-order Networks that Learn to Satisfy Logic Constraints. 653-694 - Yin Jun Phua, Tony Ribeiro, Katsumi Inoue:
Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge. 695-708 - Martha Lewis:
Compositionality for Recursive Neural Networks. 709-724 - Till Mossakowski, Razvan Diaconescu, Martin Glauer:
Towards Fuzzy Neural Conceptors. 725-744 - Tillman Weyde, Radha Manisha Koppart:
Modelling Identity Rules with Neural Networks. 745-769
Volume 6, Number 5, August 2019
- Livio Robaldo, Leendert W. N. van der Torre:
Introduction to Legal AI. 711-714 - Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent:
I/O Logic in HOL. 715-732 - Christoph Benzmüller, Ali Farjami, Xavier Parent:
åqvist's Dyadic Deontic Logic E in HOL. 733-754 - Cleyton M. O. Rodrigues, Eunice Palmeira da Silva, Fred Freitas, Italo Jose da Silva Oliveira, Ivan Varzinczak:
LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability. 755-780 - Guillaume Aucher, Jean Berbinau, Marie-Laure Morin:
Principles for a Judgement Editor Based on Binary Decision Diagrams. 781-814 - Guido Governatori, Antonino Rotolo:
Time and Compensation Mechanisms in Checking Legal Compliance. 815-846 - Réka Markovich:
Rights and Punishment: The Hohfeldian Theory's Applicability and Morals in Understanding Criminal Law. 847-864 - Rafal Urbaniak:
Probabilistic Legal Decision Standards Still Fail. 865-902 - Régis Riveret, Antonino Rotolo, Giovanni Sartor:
A Deontic Argumentation Framework Towards Doctrine Reification. 903-940 - Réka Markovich:
Two Limitations in Legal Knowledge Base Constructing and Formalizing Law. 941-962 - Silvano Colombo Tosatto, Guido Governatori, Nick van Beest, Francesco Olivieri:
Efficient Full Compliance Checking of Concurrent Components for business Process Models. 963-998
Volume 6, Number 6, September 2019
- Stanislaw Krajewski, Ricardo Sousa Silvestre:
Logic and the Concept of God. 999-1006 - Stanislaw Krajewski:
Mathematical Models in Theology. A Buber-inspired Model of God and its Application to "Shema Israel". 1007-1020 - Talia Leven:
Gödel's God-like Essence. 1021-1036 - Héctor Hernández Ortiz, Victor Cantero Flores:
A Logical Solution to the Paradox of the Stone. 1037-1050 - Beau Branson:
No New Solutions to the Logical Problem of the Trinity. 1051-1092 - Basil Lourié:
What Means 'Tri-' in 'Trinity'? An Eastern Patristic Approach to the 'Quasi-Ordinals'. 1093-1108 - Anna Zhyrkova:
The Éminence Grise of Christology: Porphyry's Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies. 1109-1124 - Dirk Krasmüller:
The Problem of Universals in Late Patristic Theology. 1125-1142 - Antonino Drago:
Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues (1401-1464). 1143-1186
Volume 6, Number 7, November 2019
- Mirjana Borisavljevic:
Two Normalizations for Natural Deductions in Sequent Style. 1187-1222 - Stephen A. Selesnick:
Tsien's Power-of-two Law in a Neuromorphic Network Model Suitable for Artificial Intelligence. 1223-1252 - Maarten McKubre-Jordens, Phillip L. Wilson:
Infinity in Computable Probability. 1253-1262 - Asad Ahmed, Osman Hasan, Ammar Hasan:
Formal Periodic Steady-state Analysis of Power Converters in Time-domain. 1263-1284 - Anatolij Dvurecenskij, Omid Zahiri:
Pseudo EMV-algebras. I - Basic Properties. 1285-1328 - Anatolij Dvurecenskij, Omid Zahiri:
Pseudo EMV-algebras. II - Representation and States. 1329-1372 - Lloyd Humberstone:
Recent Thought on Is and Ought: Connections, Confluences and Rediscoveries. 1373-1446 - Antoine Rauzy, Liu Yang:
Finite Degradation Structures. 1447-1474 - Philippe Balbiani, Martín Diéguez, Luis Fariñas del Cerro:
Setting the Basis for Here and There Modal Logics. 1475-1500 - Mohammad Shafiei:
Book Review: Immanent Reasoning or Equality in Action; A Plaidoyer for the Play Level by Shahid Rahman, Zoe McConaughey, Ansten Klev and Nicolas Clerbout. 1501-1507
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-14 23:24 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:
