Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
181 | Agata Pilitowska |
Interval Bilattices and Some Other Simple Bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers, pp. 190-196, 2001, Springer, 3-540-00315-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
90 | Ofer Arieli, Chris Cornelis, Glad Deschrijver |
Preference Modeling by Rectangular Bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings, pp. 22-33, 2006, Springer, 3-540-32780-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
50 | Daniel Stamate |
Default Reasoning with Imperfect Information in Multivalued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA, pp. 163-168, 2008, IEEE Computer Society, 978-0-7695-3155-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2004, 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings, pp. 513-524, 2004, Springer, 3-540-22823-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Umberto Straccia |
Query Answering in Normal Logic Programs Under Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 687-700, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Daniel Stamate |
Queries with Multivalued Logic-Based Semantics for Imperfect Information Fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010, pp. 300-306, 2010, IEEE Computer Society, 978-0-7695-4024-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007, pp. 12-21, 2007, ACM, 978-1-59593-887-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(3), pp. 508-527, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Reasoning with incomplete knowledge, assumptions, bilattices |
28 | Yu. M. Movsisyan |
Boole-De Morgan Bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 38(1-2), pp. 137-152, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
28 | Damián Enrique Szmuc |
Track-Down Operations on Bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, Linz, Austria, May 16-18, 2018, pp. 74-79, 2018, IEEE Computer Society, 978-1-5386-4464-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Leonardo Manuel Cabrer, Hilary A. Priestley |
Natural Dualities Through Product Representations: Bilattices and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 104(3), pp. 567-592, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Sergei P. Odintsov, Heinrich Wansing |
The Logic of Generalized Truth Values and the Logic of Bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 103(1), pp. 91-112, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Yufeng Shi, Ou Wei, Yu Zhou 0010 |
基于双格的软件产品线模型检测 (Model Checking of Software Product Line Based on Bilattices). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 42(2), pp. 167-172, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Leonardo Manuel Cabrer, Hilary A. Priestley |
A general framework for product representations: bilattices and beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 23(5), pp. 816-841, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Zeinab Bakhtiarinoodeh, Umberto Rivieccio |
Epistemic Updates on Bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings, pp. 426-428, 2015, Springer, 978-3-662-48560-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Macaulay Ferguson |
Cut-Down Operations on Bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 2015 IEEE International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015, pp. 24-29, 2015, IEEE Computer Society, 978-1-4799-1777-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Gemma Carotenuto, Giangiacomo Gerla |
Bilattices for deductions in multi-valued logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 54(8), pp. 1066-1086, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Félix Bou, Umberto Rivieccio |
Bilattices with Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 101(4), pp. 651-675, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1311.0710, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
28 | Ka-Fat Chow |
A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings, pp. 54-67, 2013, Springer, 978-3-642-40947-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Achim Jung, Umberto Rivieccio |
Priestley Duality for Bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 100(1-2), pp. 223-252, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Ramon Jansana, Umberto Rivieccio |
Residuated bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 16(3), pp. 493-504, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Félix Bou, Umberto Rivieccio |
The logic of distributive bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 19(1), pp. 183-216, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Zoran Majkic |
Bilattices, Intuitionism and Truth-knowledge Duality: Concepts and Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 14(6), pp. 525-564, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
28 | Arnaud Lallouet |
A Note on Bilattices and Open Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers, pp. 12-25, 2004, Springer, 3-540-25176-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Kwang Mong Sim |
Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 15(3), pp. 219-240, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Alexej P. Pynko |
Regular bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 10(1), pp. 93-111, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Hisashi Komatsu |
4-valued Reasoning with Stratified Bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 14th Pacific Asia Conference on Language, Information and Computation, PACLIC 2000, Tokyo, Japan, February 15-17, 2000, pp. 195-206, 2000, PACLIC 14 Organizing Committee, 978-4-9900354-2-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | George Gargov |
Knowledge and Uncertainty and Ignorance in Logic: Bilattices and beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 9(2-3), pp. 195-283, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Arnon Avron |
The Structure of Interlaced Bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 6(3), pp. 287-299, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Ofer Arieli, Arnon Avron |
Reasoning with Logical Bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 5(1), pp. 25-63, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Arnon Avron |
A Note on the Structure of Bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 5(3), pp. 431-438, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. ![In: Int. J. Uncertain. Fuzziness Knowl. Based Syst. 2(1), pp. 37-54, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Kwang Mong Sim |
Beliefs and Bilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings, pp. 594-603, 1994, Springer, 3-540-58495-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Ofer Arieli, Arnon Avron |
Logical Bilattices and Inconsistent Data ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 468-476, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Melvin Fitting |
Bilattices and the Semantics of Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 11(1&2), pp. 91-116, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Matthew L. Ginsberg |
Bilattices and Modal Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 1(1), pp. 41-69, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
28 | Matthew L. Ginsberg |
Bilattices and Modal Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1990, pp. 273-287, 1990, Morgan Kaufmann, 1-55860-105-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
28 | Melvin Fitting |
Bilattices in Logic Prograrnming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: Proceedings of the 20th International Symposium on Multiple-Valued Logic, ISMVL 1990, Charlotte, NC, USA, May 23-25, 1990, pp. 238-246, 1990, IEEE Computer Society, 0-8186-2046-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
28 | Melvin Fitting |
Bilattices and the theory of truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 18(3), pp. 225-256, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Simon Schenk |
On the Semantics of Trust and Caching in the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, pp. 533-549, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Chris Cornelis, Ofer Arieli, Glad Deschrijver, Etienne E. Kerre |
Uncertainty Modeling by Bilattice-Based Squares and Triangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 15(2), pp. 161-175, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Daniel Stamate |
Assumption based multi-valued semantics for extended logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 17-20 May 2006, Singapore, pp. 10, 2006, IEEE Computer Society, 0-7695-2532-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Arie Gurfinkel, Ou Wei, Marsha Chechik |
Systematic Construction of Abstractions for Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings, pp. 381-397, 2006, Springer, 3-540-31139-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Ofer Arieli, Chris Cornelis, Glad Deschrijver, Etienne E. Kerre |
Bilattice-Based Squares and Triangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 563-575, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Arnon Avron |
Tableaux with Four Signs as a Unified Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings, pp. 4-16, 2003, Springer, 3-540-40787-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Jørgen Villadsen |
Paraconsistent Query Answering Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings, pp. 370-384, 2002, Springer, 3-540-00074-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Michiro Kondo |
On the Structures of Weak Interlaced Bilattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), May 15-18, 2002, Boston, Massachusetts, USA, pp. 23-27, 2002, IEEE Computer Society, 0-7695-1462-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Jacques Calmet, Peter Kullmann, Morio Taneda |
Composite Distributive Lattices as Annotation Domains for Mediators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers, pp. 65-77, 2000, Springer, 3-540-42071-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT '97, 6th International Conference, Delphi, Greece, January 8-10, 1997, Proceedings, pp. 71-82, 1997, Springer, 3-540-62222-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|