![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/flap/flap6.bht:"
@article{DBLP:journals/flap/AhmedHH19, author = {Asad Ahmed and Osman Hasan and Ammar Hasan}, title = {Formal Periodic Steady-State Analysis of Power Converters in Time-Domain}, journal = {{FLAP}}, volume = {6}, number = {3}, pages = {447--468}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00032}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AhmedHH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AhmedHH19a, author = {Asad Ahmed and Osman Hasan and Ammar Hasan}, title = {Formal Periodic Steady-state Analysis of Power Converters in Time-domain}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1263--1284}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AhmedHH19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ArieliZ19, author = {Ofer Arieli and Anna Zamansky}, title = {Preface}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {205--208}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ArieliZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AucherBM19, author = {Guillaume Aucher and Jean Berbinau and Marie{-}Laure Morin}, title = {Principles for a Judgement Editor Based on Binary Decision Diagrams}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {781--814}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AucherBM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BalbianiDC19, author = {Philippe Balbiani and Mart{\'{\i}}n Di{\'{e}}guez and Luis Fari{\~{n}}as del Cerro}, title = {Setting the Basis for Here and There Modal Logics}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1475--1500}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BalbianiDC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BenzmullerFMP19, author = {Christoph Benzm{\"{u}}ller and Ali Farjami and Paul Meder and Xavier Parent}, title = {{I/O} Logic in {HOL}}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {715--732}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Mon, 27 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/BenzmullerFMP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BenzmullerFP19, author = {Christoph Benzm{\"{u}}ller and Ali Farjami and Xavier Parent}, title = {{\aa}qvist's Dyadic Deontic Logic {E} in {HOL}}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {733--754}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Mon, 27 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/BenzmullerFP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Borisavljevic19, author = {Mirjana Borisavljevic}, title = {Two Normalizations for Natural Deductions in Sequent Style}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1187--1222}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Borisavljevic19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Branson19, author = {Beau Branson}, title = {No New Solutions to the Logical Problem of the Trinity}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1051--1092}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Branson19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CostaMM19, author = {Diana Costa and Manuel A. Martins and Jo{\~{a}}o Marcos}, title = {On Herbrand's Theorem for Hybrid Logic}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {209--228}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/CostaMM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Devyatkin19, author = {Leonid Devyatkin}, title = {Many-valued Paraconsistent Extensions of Classical Positive Propositional Calculus}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {229--254}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Devyatkin19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DitmarschGKP19, author = {Hans van Ditmarsch and Malvin Gattinger and Louwe B. Kuijer and Pere Pardo}, title = {Strengthening Gossip Protocols using Protocol-Dependent Knowledge}, journal = {{FLAP}}, volume = {6}, number = {1}, pages = {157--203}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00030}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/DitmarschGKP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Drago19, author = {Antonino Drago}, title = {Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues {(1401-1464)}}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1143--1186}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Drago19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DvurecenskijZ19, author = {Anatolij Dvurecenskij and Omid Zahiri}, title = {Pseudo EMV-algebras. {I} - Basic Properties}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1285--1328}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/DvurecenskijZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DvurecenskijZ19a, author = {Anatolij Dvurecenskij and Omid Zahiri}, title = {Pseudo EMV-algebras. {II} - Representation and States}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1329--1372}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/DvurecenskijZ19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ElderhalliAHT19, author = {Yassmeen Elderhalli and Waqar Ahmad and Osman Hasan and Sofi{\`{e}}ne Tahar}, title = {Probabilistic Analysis of Dynamic Fault Trees using {HOL} Theorem Proving}, journal = {{FLAP}}, volume = {6}, number = {3}, pages = {469--512}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00032}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ElderhalliAHT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/FrancezK19, author = {Nissim Francez and Michael Kaminski}, title = {On Poly-logistic Natural-deduction for Finitely-valued Propositional Logics}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {255--290}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/FrancezK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GarcezB19, author = {Artur S. d'Avila Garcez and Tarek R. Besold}, title = {Editorial}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {609--610}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GarcezB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GarcezGLSST19, author = {Artur S. d'Avila Garcez and Marco Gori and Lu{\'{\i}}s C. Lamb and Luciano Serafini and Michael Spranger and Son N. Tran}, title = {Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {611--632}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GarcezGLSST19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GovernatoriR19, author = {Guido Governatori and Antonino Rotolo}, title = {Time and Compensation Mechanisms in Checking Legal Compliance}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {815--846}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GovernatoriR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Grigoriev19, author = {Oleg M. Grigoriev}, title = {Logic of Bipartite Truth with Uncertainty Dimension}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {291--318}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Sat, 07 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Grigoriev19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Heyninck19, author = {Jesse Heyninck}, title = {Relations Between Assumption-based Approaches in Nonmonotonic Logics and Formal Argumentation}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {319--360}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Heyninck19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Holm19, author = {Ruurik Holm}, title = {A Novel Criterion for Rejecting the Non-Inductive Method}, journal = {{FLAP}}, volume = {6}, number = {3}, pages = {513--522}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00032}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Holm19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Humberstone19, author = {Lloyd Humberstone}, title = {Recent Thought on Is and Ought: Connections, Confluences and Rediscoveries}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1373--1446}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Humberstone19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/KonikowskaA19, author = {Beata Konikowska and Arnon Avron}, title = {Reasoning about Covering-based Rough Sets Using Three Truth Values}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {361--382}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/KonikowskaA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Krajewski19, author = {Stanislaw Krajewski}, title = {Mathematical Models in Theology. {A} Buber-inspired Model of God and its Application to "Shema Israel"}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1007--1020}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Krajewski19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/KrajewskiS19, author = {Stanislaw Krajewski and Ricardo Sousa Silvestre}, title = {Logic and the Concept of God}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {999--1006}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/KrajewskiS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Krasmuller19, author = {Dirk Krasm{\"{u}}ller}, title = {The Problem of Universals in Late Patristic Theology}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1125--1142}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Krasmuller19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/KriekenAH19, author = {Emile van Krieken and Erman Acar and Frank van Harmelen}, title = {Semi-supervised Learning using Differentiable Reasoning}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {633--652}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/KriekenAH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Leven19, author = {Talia Leven}, title = {G{\"{o}}del's God-like Essence}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1021--1036}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Leven19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Lewis19, author = {Martha Lewis}, title = {Compositionality for Recursive Neural Networks}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {709--724}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Lewis19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Lourie19, author = {Basil Louri{\'{e}}}, title = {What Means 'Tri-' in 'Trinity'? An Eastern Patristic Approach to the 'Quasi-Ordinals'}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1093--1108}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Lourie19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Markovich19, author = {R{\'{e}}ka Markovich}, title = {Rights and Punishment: The Hohfeldian Theory's Applicability and Morals in Understanding Criminal Law}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {847--864}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Markovich19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Markovich19a, author = {R{\'{e}}ka Markovich}, title = {Two Limitations in Legal Knowledge Base Constructing and Formalizing Law}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {941--962}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Markovich19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/McKubre-Jordens19, author = {Maarten McKubre{-}Jordens and Phillip L. Wilson}, title = {Infinity in Computable Probability}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1253--1262}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/McKubre-Jordens19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MossakowskiDG19, author = {Till Mossakowski and Razvan Diaconescu and Martin Glauer}, title = {Towards Fuzzy Neural Conceptors}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {725--744}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/MossakowskiDG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Mundici19, author = {Daniele Mundici}, title = {Preservation properties of De Finetti Coherence}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {383--396}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Mundici19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/OrtizF19, author = {H{\'{e}}ctor Hern{\'{a}}ndez Ortiz and Victor Cantero Flores}, title = {A Logical Solution to the Paradox of the Stone}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1037--1050}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/OrtizF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ParkKKK19, author = {Woosuk Park and Sungyong Kim and Keunhyoung Luke Kim and Jeounghoon Kim}, title = {AlphaGo's Decision Making}, journal = {{FLAP}}, volume = {6}, number = {1}, pages = {105--156}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00030}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ParkKKK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PhuaRI19, author = {Yin Jun Phua and Tony Ribeiro and Katsumi Inoue}, title = {Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {695--708}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PhuaRI19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PinkasC19, author = {Gadi Pinkas and Shimon Cohen}, title = {High-order Networks that Learn to Satisfy Logic Constraints}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {653--694}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PinkasC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PutteBM19, author = {Frederik Van De Putte and Mathieu Beirlaen and Joke Meheus}, title = {Adaptive Deontic Logics: {A} Survey}, journal = {{FLAP}}, volume = {6}, number = {3}, pages = {523--608}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00032}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PutteBM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RauzyY19, author = {Antoine Rauzy and Liu Yang}, title = {Finite Degradation Structures}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1447--1474}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RauzyY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RiveretRS19, author = {R{\'{e}}gis Riveret and Antonino Rotolo and Giovanni Sartor}, title = {A Deontic Argumentation Framework Towards Doctrine Reification}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {903--940}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RiveretRS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RobaldoT19, author = {Livio Robaldo and Leendert W. N. van der Torre}, title = {Introduction to Legal {AI}}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {711--714}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RobaldoT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RodderDGL19, author = {Wilhelm R{\"{o}}dder and Andreas Dellnitz and Ivan Ricardo Gartner and Sebastian Litzinger}, title = {Weight Predication on Missing Links in Social Networks. {A} Cross-Entropy-Based Approach}, journal = {{FLAP}}, volume = {6}, number = {1}, pages = {83--104}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00030}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RodderDGL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RodriguesSFOV19, author = {Cleyton M. O. Rodrigues and Eunice Palmeira da Silva and Fred Freitas and Italo Jose da Silva Oliveira and Ivan Varzinczak}, title = {{LEGIS:} {A} Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {755--780}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RodriguesSFOV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SavicS19, author = {Nenad Savic and Thomas Studer}, title = {Relevant Justification Logic}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {397--412}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/SavicS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Schumann19, author = {Andrew Schumann}, title = {Did the Neo-Babylonians Construct a Symbolic Logic for Legal Proceedings?}, journal = {{FLAP}}, volume = {6}, number = {1}, pages = {31--82}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00030}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Schumann19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Selesnick19, author = {Stephen A. Selesnick}, title = {Tsien's Power-of-two Law in a Neuromorphic Network Model Suitable for Artificial Intelligence}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1223--1252}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Mon, 18 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Selesnick19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Shafiei19, author = {Mohammad Shafiei}, title = {Book Review: Immanent Reasoning or Equality in Action; {A} Plaidoyer for the Play Level by Shahid Rahman, Zoe McConaughey, Ansten Klev and Nicolas Clerbout}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1501--1507}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Shafiei19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Shramko19, author = {Yaroslav Shramko}, title = {Dual-Belnap Logic and Anything but Falsehood}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {413--430}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Shramko19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/TosattoGBO19, author = {Silvano Colombo Tosatto and Guido Governatori and Nick van Beest and Francesco Olivieri}, title = {Efficient Full Compliance Checking of Concurrent Components for business Process Models}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {963--998}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/TosattoGBO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Urbaniak19, author = {Rafal Urbaniak}, title = {Probabilistic Legal Decision Standards Still Fail}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {865--902}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Urbaniak19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Vranas19, author = {Peter B. M. Vranas}, title = {New Foundations for Imperative Logic {IV:} Natural Deduction}, journal = {{FLAP}}, volume = {6}, number = {3}, pages = {431--446}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00032}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Vranas19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/WeydeK19, author = {Tillman Weyde and Radha Manisha Koppart}, title = {Modelling Identity Rules with Neural Networks}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {745--769}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/WeydeK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/XingZZ19, author = {Huili Xing and Zhaohui Zhu and Jinjin Zhang}, title = {Covariant-Contravariant Refinement Modal Logic}, journal = {{FLAP}}, volume = {6}, number = {1}, pages = {1--30}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00030}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/XingZZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Zhyrkova19, author = {Anna Zhyrkova}, title = {The {\'{E}}minence Grise of Christology: Porphyry's Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1109--1124}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Zhyrkova19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.