| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Douglas Summers-Stay |
A Vector Simplex Model of Concepts.  |
FLAP  |
2020 |
DBLP BibTeX RDF |
|
| 1 | Robert Howell |
Into the Woods with Woods: Exploring Truths in and about Fiction. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Martin Lukac |
Editorial for Special Issue on Multiple Valued Logic. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Antonino Drago |
Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues (1401-1464). |
FLAP |
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. |
FLAP |
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. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Anatolij Dvurecenskij, Omid Zahiri |
Pseudo EMV-algebras. I - Basic Properties. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Lloyd Humberstone |
Recent Thought on Is and Ought: Connections, Confluences and Rediscoveries. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Livio Robaldo, Leendert W. N. van der Torre |
Introduction to Legal AI. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Ruurik Holm |
A Novel Criterion for Rejecting the Non-Inductive Method. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Till Mossakowski, Razvan Diaconescu, Martin Glauer |
Towards Fuzzy Neural Conceptors. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Basil Lourié |
What Means 'Tri-' in 'Trinity'? An Eastern Patristic Approach to the 'Quasi-Ordinals'. |
FLAP |
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. |
FLAP |
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. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Peter B. M. Vranas |
New Foundations for Imperative Logic IV: Natural Deduction. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Yaroslav Shramko |
Dual-Belnap Logic and Anything but Falsehood. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Tarek R. Besold |
Editorial. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Ofer Arieli, Anna Zamansky |
Preface. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Leonid Devyatkin |
Many-valued Paraconsistent Extensions of Classical Positive Propositional Calculus. |
FLAP |
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. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Stephen A. Selesnick |
Tsien's Power-of-two Law in a Neuromorphic Network Model Suitable for Artificial Intelligence. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Anatolij Dvurecenskij, Omid Zahiri |
Pseudo EMV-algebras. II - Representation and States. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Héctor Hernández Ortiz, Victor Cantero Flores |
A Logical Solution to the Paradox of the Stone. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Huili Xing, Zhaohui Zhu, Jinjin Zhang |
Covariant-Contravariant Refinement Modal Logic. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Andrew Schumann |
Did the Neo-Babylonians Construct a Symbolic Logic for Legal Proceedings? |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Asad Ahmed, Osman Hasan, Ammar Hasan |
Formal Periodic Steady-State Analysis of Power Converters in Time-Domain. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Nenad Savic, Thomas Studer |
Relevant Justification Logic. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Stanislaw Krajewski |
Mathematical Models in Theology. A Buber-inspired Model of God and its Application to "Shema Israel". |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Guido Governatori, Antonino Rotolo |
Time and Compensation Mechanisms in Checking Legal Compliance. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo |
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. |
FLAP |
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. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Yin Jun Phua, Tony Ribeiro, Katsumi Inoue |
Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Asad Ahmed, Osman Hasan, Ammar Hasan |
Formal Periodic Steady-state Analysis of Power Converters in Time-domain. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Réka Markovich |
Rights and Punishment: The Hohfeldian Theory's Applicability and Morals in Understanding Criminal Law. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Tillman Weyde, Radha Manisha Koppart |
Modelling Identity Rules with Neural Networks. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent |
I/O Logic in HOL. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Rafal Urbaniak |
Probabilistic Legal Decision Standards Still Fail. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Stanislaw Krajewski, Ricardo Sousa Silvestre |
Logic and the Concept of God. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Diana Costa 0001, Manuel A. Martins 0001, João Marcos 0001 |
On Herbrand's Theorem for Hybrid Logic. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Antoine Rauzy, Liu Yang |
Finite Degradation Structures. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Oleg M. Grigoriev 0001 |
Logic of Bipartite Truth with Uncertainty Dimension. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Régis Riveret, Antonino Rotolo, Giovanni Sartor |
A Deontic Argumentation Framework Towards Doctrine Reification. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Dirk Krasmüller |
The Problem of Universals in Late Patristic Theology. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Beata Konikowska, Arnon Avron |
Reasoning about Covering-based Rough Sets Using Three Truth Values. |
FLAP |
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. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Beau Branson |
No New Solutions to the Logical Problem of the Trinity. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Gadi Pinkas, Shimon Cohen |
High-order Networks that Learn to Satisfy Logic Constraints. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Frederik Van De Putte, Mathieu Beirlaen, Joke Meheus |
Adaptive Deontic Logics: A Survey. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Jesse Heyninck |
Relations Between Assumption-based Approaches in Nonmonotonic Logics and Formal Argumentation. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Nissim Francez, Michael Kaminski |
On Poly-logistic Natural-deduction for Finitely-valued Propositional Logics. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Woosuk Park, Sungyong Kim, Keunhyoung Luke Kim, Jeounghoon Kim |
AlphaGo's Decision Making. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Daniele Mundici |
Preservation properties of De Finetti Coherence. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Maarten McKubre-Jordens, Phillip L. Wilson |
Infinity in Computable Probability. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar |
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Christoph Benzmüller, Ali Farjami, Xavier Parent |
åqvist's Dyadic Deontic Logic E in HOL. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Martha Lewis |
Compositionality for Recursive Neural Networks. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Emile van Krieken, Erman Acar, Frank van Harmelen |
Semi-supervised Learning using Differentiable Reasoning. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Mirjana Borisavljevic |
Two Normalizations for Natural Deductions in Sequent Style. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Guillaume Aucher, Jean Berbinau, Marie-Laure Morin |
Principles for a Judgement Editor Based on Binary Decision Diagrams. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Réka Markovich |
Two Limitations in Legal Knowledge Base Constructing and Formalizing Law. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Talia Leven |
Gödel's God-like Essence. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Tinko Tinchev |
Elementary Unification in Modal Logic KD45. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Giorgi Japaridze |
Elementary-base Cirquent Calculus I: Parallel and Choice Connectives. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Nissim Francez |
Bilaterilism does Provide a Proof Theoretic Treatment of Classical Logic (for non-technical reasons). |
FLAP |
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. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin |
Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Erik Thomsen |
A Tractarian Resolution to the Ontological Argument. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Michael Gabbay 0001, Prokop Sousedík, David Svoboda |
Editorial. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Danielle Macbeth |
A Non-Structuralist Alternative to Formalism. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Robert Wille, Martin Lukac |
Preface to the Special Issue of the 48th IEEE International Symposium on Multiple Valued Logic. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | John Rushby |
A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Woosuk Park |
Enthymematic interaction in Baduk. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Peter Schuster 0001, Daniel Misselbeck-Wessel |
Suzumura Consistency, an Alternative Approach. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Mion |
On Kant's Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Sanaz Azimipour, Pavel Naumov |
Lighthouse Principle for Diffusion in Social Networks. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Michael Kompatscher, Trung Van Pham |
A Complexity Dichotomy for Poset Constraint Satisfaction. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | John F. Sowa |
Reasoning with diagrams and images: observation and imagination as rules of inference. |
FLAP |
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. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Mathieu Beirlaen, Jesse Heyninck, Pere Pardo, Christian Straßer |
Argument Strength in Formal Argumentation. |
FLAP |
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. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Akira Ito, Rei Ueno, Naofumi Homma, Takafumi Aoki |
Characterizing Parallel Multipliers for Detecting Hardware Trojans. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Sousa Silvestre, Jean-Yves Béziau |
Formal Approaches to the Ontological Argument. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | David Fuenmayor |
A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Vítezslav Svejdar |
Modern Czech Logic: Vopenka and Hájek, History and Background. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Francesco Luca De Angelis, Giovanna Di Marzo Serugendo, Andrzej Szalas |
Paraconsistent Rule-based Reasoning with Graded Truth Values. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Kaitlin N. Smith, Tim LaFave, Duncan L. MacFarlane, Mitchell A. Thornton |
Higher-Radix Chrestenson Gates for Photonic Quantum Computation. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Michael Gabbay 0001 |
Formalism and Set Theoretic Truth. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Romas Alonderis, Jurate Sakalauskaite |
A Labelled Sequent Calculus for Half-order Modal Logic. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi |
On the Lattice of the Subvarieties of Monadic MV (C)-algebras. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Rob Christiaanse |
Modeling Norms Embedded in Society: Ethics and Senstitive Design. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo Magnani |
Playing with anticipation as abduction: strategic reasoning in an eco-cognitive perspective. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Nenad Stojanovic, Nebojsa Ikodinovic, Radosav Djordjevic |
A Propositional Logic with Binary Metric Operators. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Kordula Swietorzecka, Marcin Lyczak |
An Even More Leibnizian Version of Gödel's Ontological Argument. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Srecko Kovac |
The Totality of Predicates and the Possibility of the Most Real Being. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Josef Mensík |
What Sort of Mathematical Structuralism is Category Theory? |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Anatolij Dvurecenskij, Omid Zahiri |
On Epicomplete MV -algebras. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Dov M. Gabbay, Jörg H. Siekmann |
Editorial. |
FLAP |
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. |
FLAP |
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. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan 0001, Mehdi Dastani |
Modeling Norm Specification and Verification in Multiagent Systems. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license