Search results for "bilattice"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
141	Kwang Mong Sim	Beliefs and Bilattices.	ISMIS	1994	DBLP DOI BibTeX RDF
120	Norihiro Kamide	Gentzen-Type Methods for Bilattice Negation.	Stud Logica	2005	DBLP DOI BibTeX RDF	Bilattice negation, completeness, sequent calculus, substructural logic, strong negation
69	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
69	Vinay D. Shet, Jan Neumann, Visvanathan Ramesh, Larry S. Davis	Bilattice-based Logical Reasoning for Human Detection.	CVPR	2007	DBLP DOI BibTeX RDF
69	Zoran Majkic	Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic.	ISMVL	2005	DBLP DOI BibTeX RDF
69	Michiro Kondo	On the Structures of Weak Interlaced Bilattice.	ISMVL	2002	DBLP DOI BibTeX RDF
61	Arnaud Lallouet	A Note on Bilattices and Open Constraint Programming.	CSCLP	2004	DBLP DOI BibTeX RDF
49	Ekaterina Komendantskaya	A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation.	TABLEAUX	2007	DBLP DOI BibTeX RDF
40	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
40	Gösta Grahne, Nicolas Spyratos, Daniel Stamate	Semantics and Containment with Internal and External Conjunctions.	ICDT	1997	DBLP DOI BibTeX RDF
31	Dmitry Zaitsev 0002	A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT4.	Stud Logica	2009	DBLP DOI BibTeX RDF	Generalized truth values, Dunn-Belnap logic, Shramko-Wansing logic, trilattice, tetralattice, first-degree entailment, bilattice
31	Janusz A. Brzozowski	De Morgan Bisemilattices.	ISMVL	2000	DBLP DOI BibTeX RDF	bisemilattice, de Morgan, simulation, digital, algebra, circuit, bilattice, multivalued
29	Libor Behounek, Martina Danková, Antonín Dvorák	Free Quantification in Four-Valued and Fuzzy Bilattice-Valued Logics.	IUKM (1)	2023	DBLP DOI BibTeX RDF
29	Norihiro Kamide	Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems.	J. Philos. Log.	2021	DBLP DOI BibTeX RDF
29	Melvin Fitting	Bilattice Basics.	FLAP	2020	DBLP BibTeX RDF
29	Zeinab Bakhtiari, Hans van Ditmarsch, Umberto Rivieccio	Bilattice logic of epistemic actions and knowledge.	Ann. Pure Appl. Log.	2020	DBLP DOI BibTeX RDF
29	Yotaro Nakayama, Seiki Akama, Tetsuya Murai	Bilattice Logic for Rough Sets.	J. Adv. Comput. Intell. Intell. Informatics	2020	DBLP DOI BibTeX RDF
29	Giuseppe Greco 0001, Fei Liang, Alessandra Palmigiano, Umberto Rivieccio	Bilattice logic properly displayed.	Fuzzy Sets Syst.	2019	DBLP DOI BibTeX RDF
29	Kumar Sankar Ray, Sandip Paul, Diganta Saha	Preorder-based triangle: a modified version of bilattice-based triangle for belief revision in nonmonotonic reasoning.	J. Exp. Theor. Artif. Intell.	2018	DBLP DOI BibTeX RDF
29	Kumar Sankar Ray, Sandip Paul, Diganta Saha	Poset-based Triangle: An Improved Alternative for Bilattice-based Triangle.	CoRR	2016	DBLP BibTeX RDF
29	Umberto Rivieccio	Bilattice Public Announcement Logic.	Advances in Modal Logic	2014	DBLP BibTeX RDF
29	Achim Jung, Umberto Rivieccio	Kripke Semantics for Modal Bilattice Logic.	LICS	2013	DBLP DOI BibTeX RDF
29	Daniel Stamate, Ida M. Pu	Imperfect Information Fusion Using Rules with Bilattice Based Fixpoint Semantics.	IPMU (3)	2012	DBLP DOI BibTeX RDF
29	Carlos Viegas Damásio, Nicolás Madrid, Manuel Ojeda-Aciego	On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence.	WILF	2011	DBLP DOI BibTeX RDF
29	Daniel Stamate	A Bilattice Based Fixed Point Semantics for Integrating Imperfect Information.	FICS	2009	DBLP BibTeX RDF
29	Sébastien Konieczny, Pierre Marquis, Philippe Besnard	Bipolarity in bilattice logics.	Int. J. Intell. Syst.	2008	DBLP DOI BibTeX RDF
29	Glad Deschrijver, Ofer Arieli, Chris Cornelis, Etienne E. Kerre	A Bilattice-Based Framework for Handling Graded Truth and Imprecision.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2007	DBLP DOI BibTeX RDF
29	Vinay D. Shet	Bilattice based Logical Reasoning for Automated Visual Surveillance and other Applications.		2007	RDF
29	Ekaterina Komendantskaya, Anthony Karel Seda	Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs.	MFCSIT	2006	DBLP DOI BibTeX RDF
29	Ofer Arieli, Chris Cornelis, Glad Deschrijver, Etienne E. Kerre	Bilattice-Based Squares and Triangles.	ECSQARU	2005	DBLP DOI BibTeX RDF
29	Ofer Arieli, Arnon Avron	The Logical Role of the Four-Valued Bilattice.	LICS	1998	DBLP DOI BibTeX RDF
29	Andreas Schöter	Evidential Bilattice Logic and Lexical Inference.	J. Log. Lang. Inf.	1996	DBLP DOI BibTeX RDF
29	Andreas Schöter	The computational application of bilattice logic to natural reasoning.		1996	RDF
20	Zoran Majkic, Bhanu Prasad 0001	Soft Query-Answering Computing in P2P Systems with Epistemically Independent Peers.	Soft Computing Applications in Industry	2008	DBLP DOI BibTeX RDF
20	Simon Schenk	On the Semantics of Trust and Caching in the Semantic Web.	ISWC	2008	DBLP DOI BibTeX RDF
20	Ofer Arieli	Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Paraconsistent and nonmonotonic reasoning, preferential semantics, quantified Boolean formulae
20	Umberto Straccia	A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption.	ECSQARU	2007	DBLP DOI BibTeX RDF
20	Patricia Victor, Chris Cornelis, Martine De Cock	Enhanced Recommendations through Propagation of Trust and Distrust.	IAT Workshops	2006	DBLP DOI BibTeX RDF
20	Julio Michael Stern	Paraconsistent Sensitivity Analysis for Bayesian Significance Tests.	SBIA	2004	DBLP DOI BibTeX RDF	Hybrid probability / possibility analysis, Uncertainty representation, Hypothesis test, Paraconsistent logic
20	João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira	Paraconsistent Logic Programs.	JELIA	2002	DBLP DOI BibTeX RDF
20	Jacques Calmet, James J. Lu, Maria Rodriguez, Joachim Schü	Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract).	ISMIS	1996	DBLP DOI BibTeX RDF