| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler |
On Representation of Maximally Asymmetric Functions Based on Decision Diagrams.  |
FLAP  |
2023 |
DBLP BibTeX RDF |
|
| 1 | Tatsuya Abe 0001, Daisuke Kimura |
Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Mahta Bedrood, Giuseppina Barbieri, Giacomo Lenzi, Farhad Sajadian, Arsham Borumand Saeid |
A Special Type of Ideals in MV-algebras of Continuous Functions. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Mike Behrisch |
On Weak Bases for Boolean Relational Clones and Reductions for Computational Problems. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner |
Epistemic State Mappings among Ranking Functions and Total Preorders. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Pietro Baroni, Federico Cerutti 0001, Massimiliano Giacomin |
Decomposing Semantics in Abstract Argumentation. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Pawel Pawlowski |
Height of Valuations in Non-deterministic Semantics for Modal Logic. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Marcello D'Agostino, Fabio Aurelio D'Asaro, Costanza Larese |
Advancing the Boundaries of Formal Argumentation: Reflections on the AI3 2021 Special Issue. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Federico Castagna |
Dialectical Argument Game Proof Theories for Classical Logic. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | José Miguel Blanco 0002, Sandra M. López, Marcos M. Recio |
On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer |
Probabilistic Deontic Logics for Reasoning about Uncertain Norms. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Jandson S. Ribeiro, Matthias Thimm |
Measuring Inconsistency with the Tableau Method. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Norihiro Kamide |
Embedding First-order Classical Logic into Gurevich's Extended First-order Intuitionistic Logic: The Role of Strong Negation. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Grigory K. Olkhovikov |
On the Completeness of Some First-order Extensions of C. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Clayton Kevin Baker, Thomas Meyer 0002 |
Do Humans Find Postulates of Belief Change Plausible? |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Claudio Moraga, Radomir S. Stankovic, Milena Stankovic |
p-valued Maiorana-McFarland Functions Structure of their Reed-Muller Spectra. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor |
Burden of Persuasion: A Meta-argumentation Approach. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle |
Activation-based Conditional Inference. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Giacomo Lenzi, Gaetano Vitale |
Logical Complexity of Spectra of Abelian ℓ-groups. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Daniel Rogozin, Ilya Shapirovsky |
On Decidable Extensions of Propositional Dynamic Logic with Converse. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Federico Cerutti 0001, Yvonne McDermott Rees |
A Formal Argumentation Exercise on the Karadžić Trial Judgment. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Karl Schlechta |
On Yablo's Construction. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Dossena, Lorenzo Magnani |
Optical Microscopes Reveal the Hyperreal World. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm |
Joining Formal and Cognitive Reasoning. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Kazuharu Nakajima, Yasushi Yuminaka, Yosuke Iijima |
Multi-Valued Data Transmission Quality Evaluation Using Two-Dimensional PAM-4 Symbol Mapping. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Xiaoxue Zhang, Hongxing Liu |
The Annihilating-ideal Graphs of MV-algebras. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Antonio Rago 0001, Fabrizio Russo 0002, Emanuele Albini, Francesca Toni, Pietro Baroni |
Explaining Classifiers' Outputs with Causal Models and Argumentation. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Rafael Baldasso Audibert, Henrique Lemos 0001, Pedro H. C. Avelar, Anderson R. Tavares, Luís C. Lamb |
On the Evolution of AI and Machine Learning: Towards a Meta-level Measuring and understanding Impact, Influence and Leadership at Premier AI Conferences. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Martin Lukac |
Editorial Note for the Speical Issue on Multiple Valued Logic 2023. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Miklós Ferenczi |
On the Representation of Transposition Algebras and Non-commutative Cylindric Algebras. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Andrew Schumann |
Rabbi Ishmael's Thirteen Hermeneutic Rules as a Kind of Logic. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Abdirahman Alasow, Marek A. Perkowski |
Quantum Algorithms for Unate and Binate Covering Problems with Application to Finite State Machine Minimization. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Sviatlana Höhn, Barbara Lewandowska-Tomaszczyk, Sjouke Mauw, Dov M. Gabbay |
Dripping the Poison: The Instruments of Bias. A Qualitative Case Study of News Articles in Four Languages over Nine Years. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Meghna Bhadra, Steffen Hölldobler |
The Weak Completion Semantics and Counterexamples. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Dov M. Gabbay, Gadi Rozenberg |
Evolutionary Temporal Logic for Modelling Many-Lives Argumentation Networks. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
| 1 | Pedro Noguez |
Logicism in the eyes of the author of Tractatus Logico-Philosophicus (and of Philosophical Remarks). |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Leendert van der Torre, Xavier Parent |
Detachment in Normative Systems: Examples, Inference Patterns, Properties. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Fei Xie, Hongxing Liu |
States and Internal States on Ehoops. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Eberhard Guhe |
Defeasible reasoning in Navya-Nyaya. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Grigoris Antoniou, Katie Atkinson, George Baryannis, Sotiris Batsakis, Luigo Di Caro, Guido Governatori, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis |
Explainable Reasoning with Legal Big Data: A Layered Framework. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Erick Simas Grilo, Daniel Toledo, Bruno Lopes 0001 |
A logical framework to reason about Reo circuits. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Luís Soares Barbosa |
Coalgebra for the working software engineer. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Martin Lukac, Shinbo Nagayama |
Editorial Note for the Special Issue on Multiple-Valued Logic. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Radomir S. Stankovic, Milena Stankovic, Claudio Moraga, Jaakko Astola |
Construction Algorithms for Bent Functions Derived from their Particular Properties. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | José Goudet Alvin, Arthur Francisco Schwerz Cahali, Hugo Luiz Mariano |
Induced morphisms between Heyting-valued models. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Vaston Conçalves da Costa, Edward Hermann Haeusler |
Strong normalization for Np-systems via Mimp-graphs. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Huimin Dong, Beishui Liao, Réka Markovich, Leendert van der Torre |
Defeasible Deontic Logic: Arguing about Permission and Obligation. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Yosuke Iijima, Yasushi Yuminaka |
Efficient PAM-4 Symbol Estimation Using Soft Clustering. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Hafiz Md. Hasan Babu, Khandaker Mohammad Mohi Uddin, Tamanna Tabassum, Mohammed Nasir Uddin |
DNA Technology for Multi-Valued Data Storage using Read Only Memory. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Maggie Bao, Cole Powers, Marek A. Perkowski |
Quantum Machine Learning, Logic Minimization, and Circuit Design by Optimizing Ternary-Input Binary-Output Kronecker Reed-Muller Forms. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Dimi Rocha Rangel, Hugo Luiz Mariano |
An algebraic (set) theory of surreal numbers, I. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Esteban Coniglio, Aldo Figallo Orellano, Alejandro Hernández-Tello, Miguel Pérez-Gaspar |
G'3 as the logic of modal 3-valued Heyting algebras. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Itala M. Loffredo D'Ottaviano, Ricardo Sousa Silvestre, Leandro Suguitani, Petrucio Viana |
The Proceedings of the XIX EBL ? 19th Brazilian Logic Conference, 2019. A preface. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Dov M. Gabbay, John Woods 0001 |
The Law of Evidence and Labelled Deduction: Ten Years Later. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Gregory A. Kyriazis |
Extensive measurement with unrestricted concatenation and no maximal elements. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Wagner Sanz |
Proof-search, analytic tableaux, models and counter-models, in Hypo constructive semantics for Minimal and Intuitionistic Propositional Logic. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Coneição Pinto, Hugo Luiz Mariano |
Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Ryuta Arisaka, Jérémie Dauphin, Ken Satoh, Leendert van der Torre |
Multi-agent Argumentation and Dialogue. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Kaique Matias de Andrade Roberto, Hugo Luiz Mariano |
On superrings of polynomials and algebraically closed multifields. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Juliano Maranhão, Giovanni Casini, Gabriella Pigozzi, Leendert van der Torre |
Normative Change: An AGM Approach. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Garibaldi Sarmento |
A note on Tarski's remarks about the non-admissibility of a general theory of semantics. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Claudio Moraga, Radomir S. Stankovic, Milena Stankovic |
Ternary Functions with Bent Reed-Muller-Fourier Spectra. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Duckgyu Shin, Naoya Onizawa, Takahiro Hanyu |
Implementation of CMOS Invertible Logic on Zynq-SoC Platform: A Case Study of Training BNN. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Hugo Rafael de Oliveira Ribeiro, Hugo Luiz Mariano |
Horn-geometric axioms for faithfully quadratic rings. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Elena Cabrio, Serena Villata |
A Data-informed Analysis of Argument Mining. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Robert Demolombe |
Causality and Responsibility in the Context of Multiple Agents. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Shoji Morita, Teijiro Isokawa, Naotake Kamiura, Hitoshi Tabuchi |
Data-Classification-Based Determination for Ophthalmological Examination Categories using Machine Learning. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Phillip L. Wilson |
Quantum Immortality and Non-classical Logic. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Edward Hermann Haeusler |
Exponentially huge natural deduction proofs are redundant: Preliminary results on M⊃. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Ilaria Angela Amantea, Livio Robaldo, Emilio Sulis, Guido Governatori, Guido Boella |
Business Process Modelling in Healthcare and Compliance Management: A Logical Framework. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Cezar A. Mortari |
Some classical modal logics with a necessity/impossibility operator. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Jean Cerqueira Berni, Rodrigo Figueiredo, Hugo Luiz Mariano |
On the order theory of C∞-reduced C∞-rings and applications. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Samuel G. Da Silva |
The generalized continuum hypothesis and two parametrized families of hit-and-miss games. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
| 1 | Michal Araszkiewicz |
Critical Questions to Argumentation Schemes in Statutory Interpretation. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Valeria de Paiva, Sergei Artemov |
Preface to Intiutionistic Modal Logic 2017. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Albert Visser |
Enayat Theories. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Dorothea Baumeister, Daniel Neugebauer, Jörg Rothe |
Collective Acceptability in Abstract Argumentation. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Louise Cummings |
Douglas Walton and the Covid-19 crisis. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Federico Costantini, Fausto Galvan, Marco Alvise de Stefani, Sebastiano Battiato |
Assessing "Information Quality" in IoT Forensics: Theoretical Framework and Model Implementation. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Nils Kürbis |
Normalisation for Bilateral Classical Logic with some Philosophical Remarks. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | G. A. Kavvos |
Intensionality, Intensional Recursion and the Gödel-Löb Axiom. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini 0001 |
Weighted Argumentation. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo I. Simari, Guillermo Ricardo Simari |
On the Incremental Computation of Semantics in Dynamic Argumentation. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Michal Araszkiewicz, Tomasz Zurek |
Preface. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Fabien Schang |
A General Semantics for Logics of Affirmation and Negation. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Conversano |
Groups Definable in o-minimal Structures: Various Properties and a Diagram. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes Peter Wallner |
Enforcement in Formal Argumentation. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Andrew David Irvine |
A Science Like Any Other. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Harvey Siegel, John Biro |
Walton on Argument, Arguments, and Argumentation. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Alessia Grassi, Mauro Vallati |
An Exploratory Study on the Use of Artificial Intelligence to Initiate Legal Understanding for Business Development. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Marcello D'Agostino, Costanza Larese, Sanjay Modgil |
Towards Depth-bounded Natural Deduction for Classical First-order Logic. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Silvano Colombo Tosatto, Guido Governatori |
Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Guido Governatori, Michael J. Maher, Francesco Olivieri |
Strategic Argumentation. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Jens Lemanski |
Extended Syllogistics in Calculus CL. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Cristina Barés Gómez, Matthieu Fontaine |
Defeasibility and Non-monotonicity in Dialogues. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Andrzej Wisniewski |
Entailment, Transmission of Truth, and Minimality. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Hans V. Hansen |
Aspects of Walton's Theory of Argumentation Schemes. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Fabio Paglieri |
Less Scheming, More Typing: Musings on the Waltonian Legacy in Argument Technologies. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Maurice Finocchiaro |
Argumentation Schemes for Composition and Division Arguments: A Critique of Walton's Account. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
| 1 | Trudy Govier |
Appealing to Ignorance? De-extinction and Accounts of a Fallacy. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license