Search results for "Fibring"

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