The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FLAP"( http://dblp.L3S.de/Venues/FLAP )

URL (DBLP): http://dblp.uni-trier.de/db/journals/flap

Publication years (Num. hits)
2014-2015 (19) 2016 (36) 2017 (129) 2018 (72) 2019 (28)
Publication types (Num. hits)
article(284)
Venues (Conferences, Journals, ...)
FLAP(284)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 284 publication records. Showing 284 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ruurik Holm A Novel Criterion for Rejecting the Non-Inductive Method. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Till Mossakowski, Razvan Diaconescu, Martin Glauer Towards Fuzzy Neural Conceptors. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Artur 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 FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Peter B. M. Vranas New Foundations for Imperative Logic IV: Natural Deduction. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Yaroslav Shramko Dual-Belnap Logic and Anything but Falsehood. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Artur S. d'Avila Garcez, Tarek R. Besold Editorial. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Ofer Arieli, Anna Zamansky Preface. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Leonid Devyatkin Many-valued Paraconsistent Extensions of Classical Positive Propositional Calculus. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Wilhelm 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 FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Huili Xing, Zhaohui Zhu, Jinjin Zhang Covariant-Contravariant Refinement Modal Logic. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Andrew Schumann Did the Neo-Babylonians Construct a Symbolic Logic for Legal Proceedings? Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Asad Ahmed, Osman Hasan, Ammar Hasan Formal Periodic Steady-State Analysis of Power Converters in Time-Domain. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Nenad Savic, Thomas Studer Relevant Justification Logic. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo Strengthening Gossip Protocols using Protocol-Dependent Knowledge. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Yin Jun Phua, Tony Ribeiro, Katsumi Inoue Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Tillman Weyde, Radha Manisha Koppart Modelling Identity Rules with Neural Networks. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Diana Costa, Manuel A. Martins, João Marcos 0001 On Herbrand's Theorem for Hybrid Logic. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Oleg M. Grigoriev Logic of Bipartite Truth with Uncertainty Dimension. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Beata Konikowska, Arnon Avron Reasoning about Covering-based Rough Sets Using Three Truth Values. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Gadi Pinkas, Shimon Cohen High-order Networks that Learn to Satisfy Logic Constraints. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Frederik Van De Putte, Mathieu Beirlaen, Joke Meheus Adaptive Deontic Logics: A Survey. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Jesse Heyninck Relations Between Assumption-based Approaches in Nonmonotonic Logics and Formal Argumentation. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Nissim Francez, Michael Kaminski On Poly-logistic Natural-deduction for Finitely-valued Propositional Logics. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Woosuk Park, Sungyong Kim, Keunhyoung Luke Kim, Jeounghoon Kim AlphaGo's Decision Making. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Daniele Mundici Preservation properties of De Finetti Coherence. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Martha Lewis Compositionality for Recursive Neural Networks. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Emile van Krieken, Erman Acar, Frank van Harmelen Semi-supervised Learning using Differentiable Reasoning. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Philippe Balbiani, Tinko Tinchev Elementary Unification in Modal Logic KD45. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Giorgi Japaridze Elementary-base Cirquent Calculus I: Parallel and Choice Connectives. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Nissim Francez Bilaterilism does Provide a Proof Theoretic Treatment of Classical Logic (for non-technical reasons). Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Pere Pardo, Enrique Sarión-Morrillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada Tuning the Program Transformers from CC to PDL. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Erik Thomsen A Tractarian Resolution to the Ontological Argument. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Gabbay 0001, Prokop Sousedík, David Svoboda Editorial. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Danielle Macbeth A Non-Structuralist Alternative to Formalism. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Robert Wille, Martin Lukac Preface to the Special Issue of the 48th IEEE International Symposium on Multiple Valued Logic. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1John Rushby A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Woosuk Park Enthymematic interaction in Baduk. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Peter Schuster 0001, Daniel Wessel Suzumura Consistency, an Alternative Approach. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Mion On Kant's Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Sanaz Azimipour, Pavel Naumov Lighthouse Principle for Diffusion in Social Networks. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Kompatscher, Trung Van Pham A Complexity Dichotomy for Poset Constraint Satisfaction. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1John F. Sowa Reasoning with diagrams and images: observation and imagination as rules of inference. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Antonio Avilés, José Miguel Zapata Boolean-valued Models as a Foundation for Locally L0-Convex Analysis and Conditional Set Theory. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Mathieu Beirlaen, Jesse Heyninck, Pere Pardo, Christian Straßer Argument Strength in Formal Argumentation. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Ricardo Sousa Silvestre A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Akira Ito, Rei Ueno, Naofumi Homma, Takafumi Aoki Characterizing Parallel Multipliers for Detecting Hardware Trojans. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Ricardo Sousa Silvestre, Jean-Yves Béziau Formal Approaches to the Ontological Argument. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1David Fuenmayor A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Vítezslav Svejdar Modern Czech Logic: Vopenka and Hájek, History and Background. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Luca De Angelis, Giovanna Di Marzo Serugendo, Andrzej Szalas Paraconsistent Rule-based Reasoning with Graded Truth Values. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Kaitlin N. Smith, Tim LaFave, Duncan L. MacFarlane, Mitchell A. Thornton Higher-Radix Chrestenson Gates for Photonic Quantum Computation. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Gabbay 0001 Formalism and Set Theoretic Truth. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Romas Alonderis, Jurate Sakalauskaite A Labelled Sequent Calculus for Half-order Modal Logic. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Antonio di Nola, Revaz Grigolia, Giacomo Lenzi On the Lattice of the Subvarieties of Monadic MV (C)-algebras. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Rob Christiaanse Modeling Norms Embedded in Society: Ethics and Senstitive Design. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Lorenzo Magnani Playing with anticipation as abduction: strategic reasoning in an eco-cognitive perspective. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Nenad Stojanovic, Nebojsa Ikodinovic, Radosav Djordjevic A Propositional Logic with Binary Metric Operators. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Kordula Swietorzecka, Marcin Lyczak An Even More Leibnizian Version of Gödel's Ontological Argument. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Srecko Kovac The Totality of Predicates and the Possibility of the Most Real Being. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Josef Mensík What Sort of Mathematical Structuralism is Category Theory? Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Anatolij Dvurecenskij, Omid Zahiri On Epicomplete MV -algebras. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Dov M. Gabbay, Jörg H. Siekmann Editorial. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Kenta 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 FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Syed 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 FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Natasha Alechina, Brian Logan, Mehdi Dastani Modeling Norm Specification and Verification in Multiagent Systems. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Soroush Rafiee Rad Maximum Entropy Models for $\sum$1 Sentences. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Arezoo Islami A Complex Problem For Formalists. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Serena Villata Editorial. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Judit X. Madarász, Gergely Székely, Mike Stannett Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1James B. Freeman Estimating the Strength of Defeasible Arguments: A Formal Inquiry. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Martin Lukac Editor's Note. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Sérgio Mota Corrigendum to "The Never Ending Recursion". Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Christopher Frantz, Gabriella Pigozzi Modeling Norm Dynamics in Multiagent Systems. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Ladislav Kvasz Resnik's Structuralism in Light of the History of Mathematics. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Anatolij Dvurecenskij Riesz Space-valued States on Pseudo MV-algebras. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Adnan Rashid, Osman Hasan Formalization of Lerch's Theorem using HOL Light. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Woosuk Park When is a strategy in games? Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Prokop Sousedík, David Svoboda Are Ante Rem Structuralists Descriptivist Or Revisionist Metaphysicians? How We Speak About Numbers. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Nicoletta Fornara, Tina Balke-Visser Modeling Organizations and Institutions in Multiagent Systems. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1John Woods The logical foundations of strategic reasoning: inconsistency-management as a test case for logic. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Claudette Cayrol, Didier Dubois, Fayçal Touazi Possibilistic Reasoning from Partially Ordered Belief Bases with the Sure Thing Principle. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler An Exact Optimization Method using ZDDs for Linear Decomposition of Symmetric Index Generation Functions. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1John Woods What strategicians might learn from the common law: implicit and tacit understandings of the unwritten. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Akinori Abe Abductive cognition: affordance, curation, and chance. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Jonathan P. Seldin Formalism and Structuralism, a Synthesis: the Philosophical Ideas of H. B. Curry. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Gernot D. Kleiter Adams' p-validity in the Research on Human Reasoning. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Cristina Bares Gomez Abduction in Akkadian Medical Diagnosis. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Takao Waho A Noise-shaping Analog-to-Digital Converter using a ΔΣ Modulator Feedforward Network. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Karin Cvetko-Vah, João Pita Costa On the Update Operation in Skew Lattices. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Matthias Schirn Finitist Consistency Proofs and the Impact of Gödel's Incompleteness Theorems on Hilbert?s Metamathematics. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar Formal Analysis of Discrete-Time Systems using z-Transform. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Saeed Rasouli, Zeinab Zarin, Abass Hasankhan Characterization of a New Subquasivariety of Residuated Lattice. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas F. Gordon Defining Argument Weighing Functions. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Robert Demolombe About Relationships Between two Individuals. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Ahti-Veikko Pietarinen Conjectures and abductive reasoning in games. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Sjur K. Dyrkolbotn, Truls Pedersen, Jan M. Broersen On Elitist Lifting and Consistency in Structured Argumentation. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1David Fernández-Duque, Petar Iliev Succinctness in Subsystems of the Spatial μ-Calculus. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1William Peden Imprecise Probability and the Measurement of Keynes's "Weight of Arguments". Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 284 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license