Search dblp for Publications

export results for "toc:db/journals/flap/flap10.bht:"

 download as .bib file

@article{DBLP:journals/flap/00010ATB23,
  author       = {Antonio Rago and
                  Fabrizio Russo and
                  Emanuele Albini and
                  Francesca Toni and
                  Pietro Baroni},
  title        = {Explaining Classifiers' Outputs with Causal Models and Argumentation},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {3},
  pages        = {421--509},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00059.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/00010ATB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/0001K23,
  author       = {Tatsuya Abe and
                  Daisuke Kimura},
  title        = {Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic
                  Binding},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {4},
  pages        = {511--530},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00060.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/0001K23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/0001R23,
  author       = {Federico Cerutti and
                  Yvonne McDermott Rees},
  title        = {A Formal Argumentation Exercise on the Karad{\v{z}}i{\'{c}} Trial
                  Judgment},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {3},
  pages        = {319--339},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00059.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/0001R23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/0002LR23,
  author       = {Jos{\'{e}} Miguel Blanco and
                  Sandra M. L{\'{o}}pez and
                  Marcos M. Recio},
  title        = {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},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {1},
  pages        = {1--18},
  year         = {2023},
  url          = {https://collegepublications.co.uk/downloads/ifcolog00057.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/0002LR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/AlasowP23,
  author       = {Abdirahman Alasow and
                  Marek A. Perkowski},
  title        = {Quantum Algorithms for Unate and Binate Covering Problems with Application
                  to Finite State Machine Minimization},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {6},
  pages        = {993--1023},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/AlasowP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Audibert0ATL23,
  author       = {Rafael Baldasso Audibert and
                  Henrique Lemos and
                  Pedro H. C. Avelar and
                  Anderson R. Tavares and
                  Lu{\'{\i}}s C. Lamb},
  title        = {On the Evolution of {AI} and Machine Learning: Towards a Meta-level
                  Measuring and understanding Impact, Influence and Leadership at Premier
                  {AI} Conferences},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {5},
  pages        = {693--817},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00061.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Audibert0ATL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Baker023,
  author       = {Clayton Kevin Baker and
                  Thomas Meyer},
  title        = {Do Humans Find Postulates of Belief Change Plausible?},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {2},
  pages        = {249--267},
  year         = {2023},
  url          = {https://collegepublications.co.uk/downloads/ifcolog00058.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Baker023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Baroni0G23,
  author       = {Pietro Baroni and
                  Federico Cerutti and
                  Massimiliano Giacomin},
  title        = {Decomposing Semantics in Abstract Argumentation},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {3},
  pages        = {341--392},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00059.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Baroni0G23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/BedroodBLSS23,
  author       = {Mahta Bedrood and
                  Giuseppina Barbieri and
                  Giacomo Lenzi and
                  Farhad Sajadian and
                  Arsham Borumand Saeid},
  title        = {A Special Type of Ideals in MV-algebras of Continuous Functions},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {4},
  pages        = {531--554},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00060.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/BedroodBLSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Behrisch23,
  author       = {Mike Behrisch},
  title        = {On Weak Bases for Boolean Relational Clones and Reductions for Computational
                  Problems},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {6},
  pages        = {1059--1103},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Behrisch23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/BeierleRST23,
  author       = {Christoph Beierle and
                  Marco Ragni and
                  Frieder Stolzenburg and
                  Matthias Thimm},
  title        = {Joining Formal and Cognitive Reasoning},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {2},
  pages        = {115--119},
  year         = {2023},
  url          = {https://collegepublications.co.uk/downloads/ifcolog00058.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/BeierleRST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/BhadraH23,
  author       = {Meghna Bhadra and
                  Steffen H{\"{o}}lldobler},
  title        = {The Weak Completion Semantics and Counterexamples},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {2},
  pages        = {121--154},
  year         = {2023},
  url          = {https://collegepublications.co.uk/downloads/ifcolog00058.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/BhadraH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Castagna23,
  author       = {Federico Castagna},
  title        = {Dialectical Argument Game Proof Theories for Classical Logic},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {3},
  pages        = {279--317},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00059.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Castagna23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/DAgostinoDL23,
  author       = {Marcello D'Agostino and
                  Fabio Aurelio D'Asaro and
                  Costanza Larese},
  title        = {Advancing the Boundaries of Formal Argumentation: Reflections on the
                  AI\({}^{\mbox{3}}\) 2021 Special Issue},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {3},
  pages        = {269--277},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00059.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/DAgostinoDL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/DossenaM23,
  author       = {Riccardo Dossena and
                  Lorenzo Magnani},
  title        = {Optical Microscopes Reveal the Hyperreal World},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {4},
  pages        = {603--627},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00060.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/DossenaM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Ferenczi23,
  author       = {Mikl{\'{o}}s Ferenczi},
  title        = {On the Representation of Transposition Algebras and Non-commutative
                  Cylindric Algebras},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {1},
  pages        = {19--28},
  year         = {2023},
  url          = {https://collegepublications.co.uk/downloads/ifcolog00057.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Ferenczi23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/GabbayR23,
  author       = {Dov M. Gabbay and
                  Gadi Rozenberg},
  title        = {Evolutionary Temporal Logic for Modelling Many-Lives Argumentation
                  Networks},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {5},
  pages        = {909--966},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00061.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/GabbayR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/HaldimannBK23,
  author       = {Jonas Philipp Haldimann and
                  Christoph Beierle and
                  Gabriele Kern{-}Isberner},
  title        = {Epistemic State Mappings among Ranking Functions and Total Preorders},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {2},
  pages        = {155--191},
  year         = {2023},
  url          = {https://collegepublications.co.uk/downloads/ifcolog00058.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/HaldimannBK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/HohnLMG23,
  author       = {Sviatlana H{\"{o}}hn and
                  Barbara Lewandowska{-}Tomaszczyk and
                  Sjouke Mauw and
                  Dov M. Gabbay},
  title        = {Dripping the Poison: The Instruments of Bias. {A} Qualitative Case
                  Study of News Articles in Four Languages over Nine Years},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {4},
  pages        = {555--585},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00060.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/HohnLMG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Kamide23,
  author       = {Norihiro Kamide},
  title        = {Embedding First-order Classical Logic into Gurevich's Extended First-order
                  Intuitionistic Logic: The Role of Strong Negation},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {6},
  pages        = {1025--1058},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Kamide23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/LenziV23,
  author       = {Giacomo Lenzi and
                  Gaetano Vitale},
  title        = {Logical Complexity of Spectra of Abelian {\(\mathscr{l}\)}-groups},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {1},
  pages        = {29--35},
  year         = {2023},
  url          = {https://collegepublications.co.uk/downloads/ifcolog00057.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/LenziV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Lukac23,
  author       = {Martin Lukac},
  title        = {Editorial Note for the Speical Issue on Multiple Valued Logic 2023},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {6},
  pages        = {969--971},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Lukac23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/MoragaSS23,
  author       = {Claudio Moraga and
                  Radomir S. Stankovic and
                  Milena Stankovic},
  title        = {\emph{p}-valued Maiorana-McFarland Functions Structure of their Reed-Muller
                  Spectra},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {6},
  pages        = {1131--1151},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/MoragaSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/NagayamaSB23,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {On Representation of Maximally Asymmetric Functions Based on Decision
                  Diagrams},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {6},
  pages        = {1105--1130},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/NagayamaSB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/NakajimaYI23,
  author       = {Kazuharu Nakajima and
                  Yasushi Yuminaka and
                  Yosuke Iijima},
  title        = {Multi-Valued Data Transmission Quality Evaluation Using Two-Dimensional
                  {PAM-4} Symbol Mapping},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {6},
  pages        = {973--991},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/NakajimaYI23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Olkhovikov23,
  author       = {Grigory K. Olkhovikov},
  title        = {On the Completeness of Some First-order Extensions of {C}},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {1},
  pages        = {57--114},
  year         = {2023},
  url          = {https://collegepublications.co.uk/downloads/ifcolog00057.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Olkhovikov23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Pawlowski23,
  author       = {Pawel Pawlowski},
  title        = {Height of Valuations in Non-deterministic Semantics for Modal Logic},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {4},
  pages        = {587--601},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00060.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Pawlowski23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/PisanoCOS23,
  author       = {Giuseppe Pisano and
                  Roberta Calegari and
                  Andrea Omicini and
                  Giovanni Sartor},
  title        = {Burden of Persuasion: {A} Meta-argumentation Approach},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {3},
  pages        = {393--420},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00059.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/PisanoCOS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/RibeiroT23,
  author       = {Jandson S. Ribeiro and
                  Matthias Thimm},
  title        = {Measuring Inconsistency with the Tableau Method},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {5},
  pages        = {643--691},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00061.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/RibeiroT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/RogozinS23,
  author       = {Daniel Rogozin and
                  Ilya Shapirovsky},
  title        = {On Decidable Extensions of Propositional Dynamic Logic with Converse},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {4},
  pages        = {629--642},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00060.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/RogozinS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Schlechta23,
  author       = {Karl Schlechta},
  title        = {On Yablo's Construction},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {5},
  pages        = {851--907},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00061.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Schlechta23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Schumann23,
  author       = {Andrew Schumann},
  title        = {Rabbi Ishmael's Thirteen Hermeneutic Rules as a Kind of Logic},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {1},
  pages        = {37--56},
  year         = {2023},
  url          = {https://collegepublications.co.uk/downloads/ifcolog00057.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Schumann23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/WilhelmHKSB23,
  author       = {Marco Wilhelm and
                  Diana Howey and
                  Gabriele Kern{-}Isberner and
                  Kai Sauerwald and
                  Christoph Beierle},
  title        = {Activation-based Conditional Inference},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {2},
  pages        = {221--247},
  year         = {2023},
  url          = {https://collegepublications.co.uk/downloads/ifcolog00058.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/WilhelmHKSB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/WitDM23,
  author       = {Vincent de Wit and
                  Dragan Doder and
                  John{-}Jules Ch. Meyer},
  title        = {Probabilistic Deontic Logics for Reasoning about Uncertain Norms},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {2},
  pages        = {193--220},
  year         = {2023},
  url          = {https://collegepublications.co.uk/downloads/ifcolog00058.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/WitDM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/ZhangL23,
  author       = {Xiaoxue Zhang and
                  Hongxing Liu},
  title        = {The Annihilating-ideal Graphs of MV-algebras},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {5},
  pages        = {819--849},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00061.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/ZhangL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.