Search    Browse

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 (58) 2020 (54) 2021 (76) 2022 (38) 2023 (35)
Publication types (Num. hits)
article(517)
Venues (Conferences, Journals, ...)
FLAP(517)
Authors
Dov M. Gabbay(18) Guido Governatori(8) Anatolij Dvurecenskij(6) Hugo Luiz Mariano(6) John Woods(6) John Woods 0001(6) Martin Lukac(6) Nissim Francez(6) Claudio Moraga(5) Leendert W. N. van der Torre(5) Livio Robaldo(5) Matthias Thimm(5) Omid Zahiri(5) Osman Hasan(5) Xavier Parent(5) Antonino Rotolo(4) More (+10 of total 711)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 517 publication records. Showing 517 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Melvin Fitting Cut-Free Proof Systems for Geach Logics. Search on Bibsonomy FLAP The full citation details ... 2015 DBLP  BibTeX  RDF
1David Makinson Göodel's Master Argument: What is it, and what can it do? Search on Bibsonomy FLAP The full citation details ... 2015 DBLP  BibTeX  RDF
1Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leon van der Torre, Holger Voos Retalis Language for Information Engineering in Autonomous Robot Software. Search on Bibsonomy FLAP The full citation details ... 2015 DBLP  BibTeX  RDF
1Andrew Schumann, Andrew Adamatzky Physarum Polycephalum Diagrams for Syllogistic Systems. Search on Bibsonomy FLAP The full citation details ... 2015 DBLP  BibTeX  RDF
1Dov M. Gabbay Editorial comment about "On the Difference between ABA and AA". Search on Bibsonomy FLAP The full citation details ... 2015 DBLP  BibTeX  RDF
1Ari Saptawijaya, Luís Moniz Pereira Tabdual: a Tabled Abduction System for Logic Programs. Search on Bibsonomy FLAP The full citation details ... 2015 DBLP  BibTeX  RDF
1Johan van Benthem, Fenrong Liu Deontic Logic and Preference Change. Search on Bibsonomy FLAP The full citation details ... 2014 DBLP  BibTeX  RDF
1Maxime Amblard, Christian Retoré Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property. Search on Bibsonomy FLAP The full citation details ... 2014 DBLP  BibTeX  RDF
1Simon Kramer 0001 Computer-Aided Discovery and Categorisation of Personality Axioms. Search on Bibsonomy FLAP The full citation details ... 2014 DBLP  BibTeX  RDF
1Dov M. Gabbay Systems of Interacting Argumentation Networks. Search on Bibsonomy FLAP The full citation details ... 2014 DBLP  BibTeX  RDF
1Nicolas Clerbout Finiteness of Plays. Search on Bibsonomy FLAP The full citation details ... 2014 DBLP  BibTeX  RDF
1Antonis Bikakis, Patrice Caire, Yves Le Traon Tools for Conviviality in Multi-Context Systems. Search on Bibsonomy FLAP The full citation details ... 2014 DBLP  BibTeX  RDF
1Philippe Besnard A Note on Directions for Cumulativity. Search on Bibsonomy FLAP The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Gabbay 0001, Murdoch Gabbay A simple and complete model theory for intensional and extensional untyped lambda-equality. Search on Bibsonomy FLAP The full citation details ... 2014 DBLP  BibTeX  RDF
1Henri Prade, Gilles Richard Homogenous and Heterogeneous Logical Proportions. Search on Bibsonomy FLAP The full citation details ... 2014 DBLP  BibTeX  RDF
1Richmond H. Thomason The Formalization of Practical Reasoning: Problems and Prospects. Search on Bibsonomy FLAP The full citation details ... 2014 DBLP  BibTeX  RDF
1John Woods How Robust Can Inconsistency Get? Search on Bibsonomy FLAP The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #501 - #517 of 517 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license