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