The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Fibring with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2003 (16) 2004-2009 (18) 2011-2020 (6)
Publication types (Num. hits)
article(24) inproceedings(16)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 8 keywords

Results
Found 40 publication records. Showing 40 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
115Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas Combining Logics: Parchments Revisited. Search on Bibsonomy WADT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
97Guido Governatori, Vineet Padmanabhan, Abdul Sattar 0001 On Fibring Semantics for BDI Logics. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
97Bernhard Beckert, Dov M. Gabbay Fibring Semantic Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
58Dov M. Gabbay Fibring Argumentation Frames. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fibring argumentation frames, joint attacks, disjunctive attacks, critical sets, flow argumentation networks
52Mehmet A. Orgun, Guido Governatori, Chuchang Liu Modal tableaux for verifying stream authentication protocols. Search on Bibsonomy Auton. Agents Multi Agent Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fibring logics, System-specific trust theories, Modal tableaux, Temporal logic, Security protocols, Belief logic
29Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese A Meta-model of Access Control in a Fibred Security Language. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fibring, Security, Access Control, Logic
29Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre Fibred Security Language. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fibring, Access Control, Logic, Trust Management, Language-based Security
28Ben Goertzel Uncertain Linear Logic via Fibring of Probabilistic and Fuzzy Logic. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
28Sérgio Marcelino, Carlos Caleiro Disjoint Fibring of Non-deterministic Matrices. Search on Bibsonomy WoLLIC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
28Yin Wu, Min Jiang 0005, Zhongqiang Huang, Fei Chao 0001, Changle Zhou An NP-complete fragment of fibring logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
28João Rasga, Amílcar Sernadas, Cristina Sernadas Fibring as Biporting Subsumes Asymmetric Combinations. Search on Bibsonomy Stud Logica The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
28Manuel António Martins, George Voutsadakis Malinowski modalization, modalization through fibring and the Leibniz hierarchy. Search on Bibsonomy Log. J. IGPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
28Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas Preservation by fibring of the finite model property. Search on Bibsonomy J. Log. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
28Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio On Graph-theoretic Fibring of Logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Walter Alexandre Carnielli, João Rasga, Cristina Sernadas Preservation of Interpolation Features by Fibring. Search on Bibsonomy J. Log. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems. Search on Bibsonomy Log. J. IGPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Marcelo E. Coniglio Recovering a Logic from Its Fragments by Meta-Fibring. Search on Bibsonomy Logica Universalis The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Carlos Caleiro, Jaime Ramos From Fibring to Cryptofibring. A Solution to the Collapsing Problem. Search on Bibsonomy Logica Universalis The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Víctor L. Fernández, Marcelo E. Coniglio Fibring in the Leibniz Hierarchy. Search on Bibsonomy Log. J. IGPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas Fibring Logics: Past, Present and Future. Search on Bibsonomy We Will Show Them! (1) The full citation details ... 2005 DBLP  BibTeX  RDF
28Peter Arndt 0001, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano, Hugo Luiz Mariano Fibring and Sheaves. Search on Bibsonomy IICAI The full citation details ... 2005 DBLP  BibTeX  RDF
28Marcelo E. Coniglio, Víctor L. Fernández Plain Fibring and Direct Union of Logics with Matrix Semantics. Search on Bibsonomy IICAI The full citation details ... 2005 DBLP  BibTeX  RDF
28Sebastian Bader 0001, Artur S. d'Avila Garcez, Pascal Hitzler Computing First-Order Logic Programs by Fibring Artificial Neural Networks. Search on Bibsonomy FLAIRS The full citation details ... 2005 DBLP  BibTeX  RDF
28Artur S. d'Avila Garcez, Dov M. Gabbay Fibring Neural Networks. Search on Bibsonomy AAAI The full citation details ... 2004 DBLP  BibTeX  RDF
28Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas Fibring Non-Truth-Functional Logics: Completeness Preservation. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas Fibring Logics with Topos Semantics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Cristina Sernadas, João Rasga, Walter Alexandre Carnielli Modulated Fibring and The Collapsing Problem. Search on Bibsonomy J. Symb. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò 0001 Fibring Labelled Deduction Systems. Search on Bibsonomy J. Log. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Ralf Naumann A Fibring Semantics for the Semantic-Morphological Interface in Natural Language. Search on Bibsonomy Log. J. IGPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo Fibring Modal First-Order Logics: Completeness Preservation. Search on Bibsonomy Log. J. IGPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Alberto Zanardo, Amílcar Sernadas, Cristina Sernadas Fibring: Completeness Preservation. Search on Bibsonomy J. Symb. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Amílcar Sernadas Fibring Logics, Dov M. Gabbay. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro Fibring of Logics as a Categorial Construction. Search on Bibsonomy J. Log. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski Categorial Fibring of Logics with Terms and Binding Operators. Search on Bibsonomy FroCoS The full citation details ... 1998 DBLP  BibTeX  RDF
28Nissim Francez On Fibring Feature Logics with Concatenation Logics. Search on Bibsonomy LACL The full citation details ... 1997 DBLP  BibTeX  RDF
23Vineet Padmanabhan, Guido Governatori A Fibred Tableau Calculus for Modal Logics of Agents. Search on Bibsonomy DALT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Vineet Padmanabhan, Guido Governatori On Constructing Fibred Tableaux for BDI Logics. Search on Bibsonomy PRICAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun A Fibred Belief Logic for Multi-agent Systems. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Carlos Caleiro, Paula Gouveia, Jaime Ramos Completeness Results for Fibred Parchments: Beyond the Propositional Base. Search on Bibsonomy WADT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò 0001 Labelled Deduction over Algebras of Truth-Values. Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #40 of 40 (100 per page; Change: )
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