Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Douglas Summers-Stay |
A Vector Simplex Model of Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(5), pp. 707-724, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Robert Howell |
Into the Woods with Woods: Exploring Truths in and about Fiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(2), pp. 127-144, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Martin Lukac |
Editorial for Special Issue on Multiple Valued Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(1), pp. 1-4, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Antonino Drago |
Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues (1401-1464). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1143-1186, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Silvano Colombo Tosatto, Guido Governatori, Nick van Beest, Francesco Olivieri |
Efficient Full Compliance Checking of Concurrent Components for business Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(5), pp. 963-998, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Philippe Balbiani, Martín Diéguez, Luis Fariñas del Cerro |
Setting the Basis for Here and There Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1475-1500, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Anatolij Dvurecenskij, Omid Zahiri |
Pseudo EMV-algebras. I - Basic Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1285-1328, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Lloyd Humberstone |
Recent Thought on Is and Ought: Connections, Confluences and Rediscoveries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1373-1446, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Livio Robaldo, Leendert W. N. van der Torre |
Introduction to Legal AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(5), pp. 711-714, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Ruurik Holm |
A Novel Criterion for Rejecting the Non-Inductive Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(3), pp. 513-522, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Till Mossakowski, Razvan Diaconescu, Martin Glauer |
Towards Fuzzy Neural Conceptors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(4), pp. 725-744, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Basil Lourié |
What Means 'Tri-' in 'Trinity'? An Eastern Patristic Approach to the 'Quasi-Ordinals'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1093-1108, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(4), pp. 611-632, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1501-1507, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Peter B. M. Vranas |
New Foundations for Imperative Logic IV: Natural Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(3), pp. 431-446, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Yaroslav Shramko |
Dual-Belnap Logic and Anything but Falsehood. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(2), pp. 413-430, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Artur S. d'Avila Garcez, Tarek R. Besold |
Editorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(4), pp. 609-610, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Ofer Arieli, Anna Zamansky |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(2), pp. 205-208, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Leonid Devyatkin |
Many-valued Paraconsistent Extensions of Classical Positive Propositional Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(2), pp. 229-254, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Wilhelm Rödder, Andreas Dellnitz, Ivan Ricardo Gartner, Sebastian Litzinger |
Weight Predication on Missing Links in Social Networks. A Cross-Entropy-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(1), pp. 83-104, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Stephen A. Selesnick |
Tsien's Power-of-two Law in a Neuromorphic Network Model Suitable for Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1223-1252, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Anatolij Dvurecenskij, Omid Zahiri |
Pseudo EMV-algebras. II - Representation and States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1329-1372, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Héctor Hernández Ortiz, Victor Cantero Flores |
A Logical Solution to the Paradox of the Stone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1037-1050, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Huili Xing, Zhaohui Zhu, Jinjin Zhang |
Covariant-Contravariant Refinement Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(1), pp. 1-30, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Andrew Schumann |
Did the Neo-Babylonians Construct a Symbolic Logic for Legal Proceedings? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(1), pp. 31-82, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Asad Ahmed, Osman Hasan, Ammar Hasan |
Formal Periodic Steady-State Analysis of Power Converters in Time-Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(3), pp. 447-468, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Nenad Savic, Thomas Studer |
Relevant Justification Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(2), pp. 397-412, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Stanislaw Krajewski |
Mathematical Models in Theology. A Buber-inspired Model of God and its Application to "Shema Israel". ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1007-1020, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Guido Governatori, Antonino Rotolo |
Time and Compensation Mechanisms in Checking Legal Compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(5), pp. 815-846, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo |
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(1), pp. 157-203, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1109-1124, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Yin Jun Phua, Tony Ribeiro, Katsumi Inoue |
Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(4), pp. 695-708, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Asad Ahmed, Osman Hasan, Ammar Hasan |
Formal Periodic Steady-state Analysis of Power Converters in Time-domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1263-1284, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Réka Markovich |
Rights and Punishment: The Hohfeldian Theory's Applicability and Morals in Understanding Criminal Law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(5), pp. 847-864, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Tillman Weyde, Radha Manisha Koppart |
Modelling Identity Rules with Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(4), pp. 745-769, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent |
I/O Logic in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(5), pp. 715-732, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Rafal Urbaniak |
Probabilistic Legal Decision Standards Still Fail. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(5), pp. 865-902, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Stanislaw Krajewski, Ricardo Sousa Silvestre |
Logic and the Concept of God. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 999-1006, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Diana Costa 0001, Manuel A. Martins 0001, João Marcos 0001 |
On Herbrand's Theorem for Hybrid Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(2), pp. 209-228, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Antoine Rauzy, Liu Yang |
Finite Degradation Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1447-1474, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Oleg M. Grigoriev 0001 |
Logic of Bipartite Truth with Uncertainty Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(2), pp. 291-318, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Régis Riveret, Antonino Rotolo, Giovanni Sartor |
A Deontic Argumentation Framework Towards Doctrine Reification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(5), pp. 903-940, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Dirk Krasmüller |
The Problem of Universals in Late Patristic Theology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1125-1142, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Beata Konikowska, Arnon Avron |
Reasoning about Covering-based Rough Sets Using Three Truth Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(2), pp. 361-382, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(5), pp. 755-780, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Beau Branson |
No New Solutions to the Logical Problem of the Trinity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1051-1092, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Gadi Pinkas, Shimon Cohen |
High-order Networks that Learn to Satisfy Logic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(4), pp. 653-694, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Frederik Van De Putte, Mathieu Beirlaen, Joke Meheus |
Adaptive Deontic Logics: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(3), pp. 523-608, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Jesse Heyninck |
Relations Between Assumption-based Approaches in Nonmonotonic Logics and Formal Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(2), pp. 319-360, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Nissim Francez, Michael Kaminski |
On Poly-logistic Natural-deduction for Finitely-valued Propositional Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(2), pp. 255-290, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Woosuk Park, Sungyong Kim, Keunhyoung Luke Kim, Jeounghoon Kim |
AlphaGo's Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(1), pp. 105-156, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Daniele Mundici |
Preservation properties of De Finetti Coherence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(2), pp. 383-396, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Maarten McKubre-Jordens, Phillip L. Wilson |
Infinity in Computable Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1253-1262, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar |
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(3), pp. 469-512, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Christoph Benzmüller, Ali Farjami, Xavier Parent |
åqvist's Dyadic Deontic Logic E in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(5), pp. 733-754, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Martha Lewis |
Compositionality for Recursive Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(4), pp. 709-724, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Emile van Krieken, Erman Acar, Frank van Harmelen |
Semi-supervised Learning using Differentiable Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(4), pp. 633-652, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Mirjana Borisavljevic |
Two Normalizations for Natural Deductions in Sequent Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1187-1222, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Guillaume Aucher, Jean Berbinau, Marie-Laure Morin |
Principles for a Judgement Editor Based on Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(5), pp. 781-814, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Réka Markovich |
Two Limitations in Legal Knowledge Base Constructing and Formalizing Law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(5), pp. 941-962, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Talia Leven |
Gödel's God-like Essence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(6), pp. 1021-1036, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Philippe Balbiani, Tinko Tinchev |
Elementary Unification in Modal Logic KD45. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(1), pp. 301-318, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Giorgi Japaridze |
Elementary-base Cirquent Calculus I: Parallel and Choice Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(1), pp. 367-388, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Nissim Francez |
Bilaterilism does Provide a Proof Theoretic Treatment of Classical Logic (for non-technical reasons). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(8), pp. 1653-1662, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Pere Pardo, Enrique Sarión-Morrillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada |
Tuning the Program Transformers from CC to PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(1), pp. 71-96, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin |
Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(1), pp. 221-262, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Erik Thomsen |
A Tractarian Resolution to the Ontological Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(7), pp. 1497-1514, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Michael Gabbay 0001, Prokop Sousedík, David Svoboda |
Editorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(6), pp. 1259-1260, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Danielle Macbeth |
A Non-Structuralist Alternative to Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(6), pp. 1381-1398, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Robert Wille, Martin Lukac |
Preface to the Special Issue of the 48th IEEE International Symposium on Multiple Valued Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(9), pp. 1777-1778, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | John Rushby |
A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(7), pp. 1473-1496, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Woosuk Park |
Enthymematic interaction in Baduk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(5), pp. 1145-1168, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Peter Schuster 0001, Daniel Misselbeck-Wessel |
Suzumura Consistency, an Alternative Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(1), pp. 263-286, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Giovanni Mion |
On Kant's Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(7), pp. 1515-1522, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Sanaz Azimipour, Pavel Naumov |
Lighthouse Principle for Diffusion in Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(1), pp. 97-120, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Michael Kompatscher, Trung Van Pham |
A Complexity Dichotomy for Poset Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(8), pp. 1663-1696, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | John F. Sowa |
Reasoning with diagrams and images: observation and imagination as rules of inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(5), pp. 987-1060, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Antonio Avilés, José Miguel Zapata |
Boolean-valued Models as a Foundation for Locally L0-Convex Analysis and Conditional Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(1), pp. 389-420, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Mathieu Beirlaen, Jesse Heyninck, Pere Pardo, Christian Straßer |
Argument Strength in Formal Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(3), pp. 629-676, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Ricardo Sousa Silvestre |
A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(7), pp. 1439-1472, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Akira Ito, Rei Ueno, Naofumi Homma, Takafumi Aoki |
Characterizing Parallel Multipliers for Detecting Hardware Trojans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(9), pp. 1815-1832, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Ricardo Sousa Silvestre, Jean-Yves Béziau |
Formal Approaches to the Ontological Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(7), pp. 1431-1438, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | David Fuenmayor |
A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(7), pp. 1567-1603, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Vítezslav Svejdar |
Modern Czech Logic: Vopenka and Hájek, History and Background. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(6), pp. 1261-1272, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Francesco Luca De Angelis, Giovanna Di Marzo Serugendo, Andrzej Szalas |
Paraconsistent Rule-based Reasoning with Graded Truth Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(1), pp. 185-220, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Kaitlin N. Smith, Tim LaFave, Duncan L. MacFarlane, Mitchell A. Thornton |
Higher-Radix Chrestenson Gates for Photonic Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(9), pp. 1781-1798, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Michael Gabbay 0001 |
Formalism and Set Theoretic Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(6), pp. 1365-1380, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Romas Alonderis, Jurate Sakalauskaite |
A Labelled Sequent Calculus for Half-order Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(1), pp. 121-164, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi |
On the Lattice of the Subvarieties of Monadic MV (C)-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(1), pp. 437-454, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Rob Christiaanse |
Modeling Norms Embedded in Society: Ethics and Senstitive Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(2), pp. 591-628, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Lorenzo Magnani |
Playing with anticipation as abduction: strategic reasoning in an eco-cognitive perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(5), pp. 1061-1092, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Nenad Stojanovic, Nebojsa Ikodinovic, Radosav Djordjevic |
A Propositional Logic with Binary Metric Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(8), pp. 1605-1622, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Kordula Swietorzecka, Marcin Lyczak |
An Even More Leibnizian Version of Gödel's Ontological Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(7), pp. 1553-1566, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Srecko Kovac |
The Totality of Predicates and the Possibility of the Most Real Being. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(7), pp. 1523-1552, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Josef Mensík |
What Sort of Mathematical Structuralism is Category Theory? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(6), pp. 1417-1429, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Anatolij Dvurecenskij, Omid Zahiri |
On Epicomplete MV -algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(1), pp. 165-184, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Dov M. Gabbay, Jörg H. Siekmann |
Editorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(1), pp. 1-4, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Kenta Saito, Naoki Suefuji, Seiya Kasai, Masashi Aono |
Amoeba-inspired Electronic Computing System and its Application to Autonomous Walking of a Multi-legged Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(9), pp. 1799-1814, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Syed Atif Naseem, Riaz Uddin, Osman Hasan, Diaa E. Fawzy |
Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(1), pp. 319-366, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Natasha Alechina, Brian Logan 0001, Mehdi Dastani |
Modeling Norm Specification and Verification in Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(2), pp. 457-490, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|