Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/flap/flap6.bht:"
download as .bib file
@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 = {Fri, 29 Jan 2021 00:00:00 +0100},
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 = {Fri, 29 Jan 2021 00:00:00 +0100},
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}
}
a service of 
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.
retrieved on 2024-04-19 14:14 CEST from data curated 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:
