Search results for "bilattices"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
181	Agata Pilitowska	Interval Bilattices and Some Other Simple Bilattices.	RelMiCS	2001	DBLP DOI BibTeX RDF
90	Ofer Arieli, Chris Cornelis, Glad Deschrijver	Preference Modeling by Rectangular Bilattices.	MDAI	2006	DBLP DOI BibTeX RDF
50	Daniel Stamate	Default Reasoning with Imperfect Information in Multivalued Logics.	ISMVL	2008	DBLP DOI BibTeX RDF	multivalued logics, default reasoning, imperfect information, bilattices
49	Yann Loyer, Umberto Straccia	Epistemic Foundation of the Well-Founded Semantics over Bilattices.	MFCS	2004	DBLP DOI BibTeX RDF
42	Umberto Straccia	Query Answering in Normal Logic Programs Under Uncertainty.	ECSQARU	2005	DBLP DOI BibTeX RDF
29	Daniel Stamate	Queries with Multivalued Logic-Based Semantics for Imperfect Information Fusion.	ISMVL	2010	DBLP DOI BibTeX RDF	information fusion, multivalued logics, query equivalence, imperfect information, bilattices
29	Glenn Bruns, Daniel S. Dantas, Michael Huth 0001	A simple and expressive semantic framework for policy composition in access control.	FMSE	2007	DBLP DOI BibTeX RDF	access-control policy languages, multi-valued logic, bilattices
29	Yann Loyer, Nicolas Spyratos, Daniel Stamate	Hypothesis-based semantics of logic programs in multivalued logics.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Reasoning with incomplete knowledge, assumptions, bilattices
28	Yu. M. Movsisyan	Boole-De Morgan Bilattices.	J. Multiple Valued Log. Soft Comput.	2022	DBLP BibTeX RDF
28	Damián Enrique Szmuc	Track-Down Operations on Bilattices.	ISMVL	2018	DBLP DOI BibTeX RDF
28	Leonardo Manuel Cabrer, Hilary A. Priestley	Natural Dualities Through Product Representations: Bilattices and Beyond.	Stud Logica	2016	DBLP DOI BibTeX RDF
28	Sergei P. Odintsov, Heinrich Wansing	The Logic of Generalized Truth Values and the Logic of Bilattices.	Stud Logica	2015	DBLP DOI BibTeX RDF
28	Yufeng Shi, Ou Wei, Yu Zhou 0010	基于双格的软件产品线模型检测 (Model Checking of Software Product Line Based on Bilattices).	计算机科学	2015	DBLP DOI BibTeX RDF
28	Leonardo Manuel Cabrer, Hilary A. Priestley	A general framework for product representations: bilattices and beyond.	Log. J. IGPL	2015	DBLP DOI BibTeX RDF
28	Zeinab Bakhtiarinoodeh, Umberto Rivieccio	Epistemic Updates on Bilattices.	LORI	2015	DBLP DOI BibTeX RDF
28	Thomas Macaulay Ferguson	Cut-Down Operations on Bilattices.	ISMVL	2015	DBLP DOI BibTeX RDF
28	Gemma Carotenuto, Giangiacomo Gerla	Bilattices for deductions in multi-valued logic.	Int. J. Approx. Reason.	2013	DBLP DOI BibTeX RDF
28	Félix Bou, Umberto Rivieccio	Bilattices with Implications.	Stud Logica	2013	DBLP DOI BibTeX RDF
28	Leonardo Manuel Cabrer, A. P. K. Craig, Hilary A. Priestley	Product representation for default bilattices: an application of natural duality theory.	CoRR	2013	DBLP BibTeX RDF
28	Ka-Fat Chow	A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices.	LORI	2013	DBLP DOI BibTeX RDF
28	Achim Jung, Umberto Rivieccio	Priestley Duality for Bilattices.	Stud Logica	2012	DBLP DOI BibTeX RDF
28	Ramon Jansana, Umberto Rivieccio	Residuated bilattices.	Soft Comput.	2012	DBLP DOI BibTeX RDF
28	Félix Bou, Umberto Rivieccio	The logic of distributive bilattices.	Log. J. IGPL	2011	DBLP DOI BibTeX RDF
28	Zoran Majkic	Bilattices, Intuitionism and Truth-knowledge Duality: Concepts and Foundations.	J. Multiple Valued Log. Soft Comput.	2008	DBLP BibTeX RDF
28	Arnaud Lallouet	A Note on Bilattices and Open Constraint Programming.	CSCLP	2004	DBLP DOI BibTeX RDF
28	Kwang Mong Sim	Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations.	Artif. Intell. Rev.	2001	DBLP DOI BibTeX RDF
28	Alexej P. Pynko	Regular bilattices.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
28	Hisashi Komatsu	4-valued Reasoning with Stratified Bilattices.	PACLIC	2000	DBLP BibTeX RDF
28	George Gargov	Knowledge and Uncertainty and Ignorance in Logic: Bilattices and beyond.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
28	Arnon Avron	The Structure of Interlaced Bilattices.	Math. Struct. Comput. Sci.	1996	DBLP DOI BibTeX RDF
28	Ofer Arieli, Arnon Avron	Reasoning with Logical Bilattices.	J. Log. Lang. Inf.	1996	DBLP DOI BibTeX RDF
28	Arnon Avron	A Note on the Structure of Bilattices.	Math. Struct. Comput. Sci.	1995	DBLP DOI BibTeX RDF
28	Francesc Esteva, Pere Garcia-Calvés, Lluís Godo	Enriched Interval Bilattices and Partial Many-Valued Logics: an Approach to Deal with Graded Truth and Imprecision.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	1994	DBLP DOI BibTeX RDF
28	Kwang Mong Sim	Beliefs and Bilattices.	ISMIS	1994	DBLP DOI BibTeX RDF
28	Ofer Arieli, Arnon Avron	Logical Bilattices and Inconsistent Data	LICS	1994	DBLP DOI BibTeX RDF
28	Melvin Fitting	Bilattices and the Semantics of Logic Programming.	J. Log. Program.	1991	DBLP DOI BibTeX RDF
28	Matthew L. Ginsberg	Bilattices and Modal Operators.	J. Log. Comput.	1990	DBLP DOI BibTeX RDF
28	Matthew L. Ginsberg	Bilattices and Modal Operators.	TARK	1990	DBLP BibTeX RDF
28	Melvin Fitting	Bilattices in Logic Prograrnming.	ISMVL	1990	DBLP DOI BibTeX RDF
28	Melvin Fitting	Bilattices and the theory of truth.	J. Philos. Log.	1989	DBLP DOI BibTeX RDF
21	Simon Schenk	On the Semantics of Trust and Caching in the Semantic Web.	ISWC	2008	DBLP DOI BibTeX RDF
21	Chris Cornelis, Ofer Arieli, Glad Deschrijver, Etienne E. Kerre	Uncertainty Modeling by Bilattice-Based Squares and Triangles.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
21	Daniel Stamate	Assumption based multi-valued semantics for extended logic programs.	ISMVL	2006	DBLP DOI BibTeX RDF
21	Arie Gurfinkel, Ou Wei, Marsha Chechik	Systematic Construction of Abstractions for Model-Checking.	VMCAI	2006	DBLP DOI BibTeX RDF
21	Ofer Arieli, Chris Cornelis, Glad Deschrijver, Etienne E. Kerre	Bilattice-Based Squares and Triangles.	ECSQARU	2005	DBLP DOI BibTeX RDF
21	Arnon Avron	Tableaux with Four Signs as a Unified Framework.	TABLEAUX	2003	DBLP DOI BibTeX RDF
21	Jørgen Villadsen	Paraconsistent Query Answering Systems.	FQAS	2002	DBLP DOI BibTeX RDF
21	Michiro Kondo	On the Structures of Weak Interlaced Bilattice.	ISMVL	2002	DBLP DOI BibTeX RDF
21	Jacques Calmet, Peter Kullmann, Morio Taneda	Composite Distributive Lattices as Annotation Domains for Mediators.	AISC	2000	DBLP DOI BibTeX RDF	Dual Transform, Free Distributive Lattice Product, Mediator, Distributive Lattices, Annotated Logic, SLG Resolution
21	Gösta Grahne, Nicolas Spyratos, Daniel Stamate	Semantics and Containment with Internal and External Conjunctions.	ICDT	1997	DBLP DOI BibTeX RDF