Bilattices in logic programming

No abstract is available for this paper.

• Publication year

  1990

• Venue

  Proceedings of the Twentieth International Symposium on Multiple-Valued Logic

• Publication date

  1990-05-23

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1109/ISMVL.1990.122627
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Bilattices and the Semantics of Logic Programming

  1991influential reference
• Stratified, Weak Stratified, and Three-Valued Semantics

  1990cited by this paper
• Negation as refutation

  1989cited by this paper
• Bilattices and the theory of truth

  1989cited by this paper
• Signed Data Dependencies in Logic Programs

  1989cited by this paper
• Multivalued logics: a uniform approach to reasoning in artificial intelligence

  1988cited by this paper
• Towards a Theory of Declarative Knowledge

  1988cited by this paper
• Logic Programming on a Topological Bilattice

  1988cited by this paper
• Stratified and Three-valued Logic Programming Semantics

  1988cited by this paper
• Negation in Logic Programming

  1987cited by this paper
• Negation as Failure

  1987cited by this paper
• Quantitative Deduction and its Fixpoint Theory

  1986cited by this paper
• Multi-Valued Logics

  1986cited by this paper
• A Kripke-Kleene Semantics for Logic Programs

  1985cited by this paper
• Foundations of Logic Programming

  1984cited by this paper
• Contributions to the Theory of Logic Programming

  1982cited by this paper
• A Useful Four-Valued Logic

  1977cited by this paper
• The Semantics of Predicate Logic as a Programming Language

  1976cited by this paper
• First-Order Logic

  1970cited by this paper
• A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS

  1955cited by this paper

• Counterfactual Worlds

  2025cites this paper
• Quantifiers in connexive logic (in general and in particular)

  2024cites this paper
• Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology

  2023cites this paper
• PyReason: Software for Open World Temporal Logic

  2023cites this paper
• Deductive databases in four-valued logic: rule semantics and models

  2022cites this paper
• Identity and Aboutness

  2021cites this paper
• The Strict/Tolerant Idea and Bilattices

  2021cites this paper
• Identity and Aboutness

  2021cites this paper
• Shadowing in Many-Valued Nested Structures

  2020cites this paper
• Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics

  2020cites this paper
• A Tableau Prover for Many-Valued Logics Bachelor ’ s Project Thesis

  2019cites this paper
• A paraconsistent approach to actions in informationally complex environments

  2019cites this paper
• Expanding Belnap: dualities for a new class of default bilattices

  2018cites this paper
• The Proscriptive Principle and Logics of Analytic Implication

  2017cites this paper
• Rivals to Belnap–Dunn Logic on Interlaced Trilattices

  2017cites this paper
• Cut-Down Operations on Multilattices

  2017cites this paper
• Control with Formal Security Guarantees

  2017cites this paper
• A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices

  2016cites this paper
• Poset-based Triangle: An Improved Alternative for Bilattice-based Triangle

  2016cites this paper
• Rivals to Belnap–Dunn Logic on Interlaced Trilattices

  2016cites this paper
• Preorder-based triangle: a modified version of bilattice-based triangle for belief revision in nonmonotonic reasoning

  2016cites this paper
• LFIs Based on Other Logics

  2016cites this paper
• A Paradox of Inferentialism

  2015cites this paper
• Topological and algebraic characterization of coverings sets obtained in rough sets discretization and attribute reduction algorithms

  2015cites this paper
• The catus.kot.i in a bilattice

  2015cites this paper
• Weakly Idempotent Lattices and Bilattices, Non-Idempotent Plonka Functions

  2015cites this paper
• Rumpole: An Introspective Break-Glass Access Control Language

  2014cites this paper
• Efficient paraconsistent reasoning with rules and ontologies for the semantic web

  2014cites this paper
• Partial order relation for approximation operators in covering based rough sets

  2014cites this paper
• Computing relatively large algebraic structures by automated theory exploration

  2014cites this paper
• The catuskoti in a bilattice

  2014cites this paper
• Decentralized Composite Access Control

  2014cites this paper
• Representation of interlaced trilattices

  2013influential citation
• Bilattices with Implications

  2013cites this paper
• Rough Set Granularity: Scott Systems Approach

  2013cites this paper
• Bilattices with Implications

  2013cites this paper
• The product representation theorem for interlaced pre-bilattices: some historical remarks

  2013cites this paper
• Concept Formation: Rough Sets and Scott Systems

  2013cites this paper
• Four Decades of Multi-Valued Logic: Lists of Highly Cited Papers

  2013cites this paper
• The product representation theorem for interlaced pre-bilattices: some historical remarks

  2013cites this paper
• Belief functions on distributive lattices

  2012cites this paper
• Canonical extensions of bounded lattices and natural duality for default bilattices

  2012cites this paper
• An infinity of super-Belnap logics

  2012cites this paper
• q-Bilattices

  2012cites this paper
• Priestley Duality for Bilattices

  2012cites this paper
• RESEARCH ARTICLE An innity of super-Belnap logics

  2012cites this paper
• Varieties of interlaced bilattices

  2011cites this paper
• Completeness and cut-elimination theorems for trilattice logics

  2011cites this paper
• Default Reasoning for Forensic Visual Surveillance based on Subjective Logic and Its Comparison with L-Fuzzy Set Based Approaches

  2011cites this paper
• The Value of the Two Values

  2011cites this paper
• Bilattices and hyperidentities

  2011cites this paper
• The logic of distributive bilattices

  2011cites this paper
• An Algebraic Study of Bilattice-based Logics

  2010cites this paper
• Paraconsistent Declarative Semantics for Extended Logic Programs

  2010cites this paper
• Subjective Logic Based Approach to Modeling Default Reasoning for Visual Surveillance

  2010cites this paper
• Commodious Axiomatization of Quanti(cid:2)ers in Multiple(cid:3)Valued Logic

  2009cites this paper
• Modeling and Reasoning with Paraconsistent Rough Sets

  2009cites this paper
• Predicate Logic Based Image Grammars for Complex Pattern Recognition

  2009influential citation
• Paraconsistent Reasoning with Words

  2009cites this paper
• A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT4

  2009cites this paper
• Bipolarity in bilattice logics

  2008cites this paper
• Interlaced, modular, distributive and boolean bilattices

  2008cites this paper
• Paraconsistent Logic Programs with Four-Valued Rough Sets

  2008cites this paper
• Accepting-rejecting propositions from accepted-rejected propositions: A unifying overview

  2008cites this paper
• Four-Valued Extension of Rough Sets

  2008cites this paper
• Status-Based Access Control

  2008cites this paper
• 11 Connectionist Representation of Multi-Valued Logic Programs

  2007influential citation
• Automated Theorem Proving in Multiple Valued Logics

  2007cites this paper
• LEARNING AND DEDUCTION IN NEURAL NETWORKS AND LOGIC

  2007cites this paper
• Bilattice-based Logical Reasoning for Human Detection

  2007cites this paper
• A simple and expressive semantic framework for policy composition in access control

  2007cites this paper
• A bilattice for contextual reasoning

  2007cites this paper
• Uncertainty Modeling by Bilattice-Based Squares and Triangles

  2007cites this paper
• A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation

  2007cites this paper
• Connectionist Representation of Multi-Valued Logic Programs

  2007influential citation
• Any-World Access to OWL from Prolog

  2007influential citation
• A Bilattice-Based Framework for Handling Graded Truth and Imprecision

  2007influential citation
• Complete Orders, Categories and Lattices of Approximations

  2006cites this paper
• FOUR-VALUED LOGICS FOR PARACONSISTENT REASONING

  2006cites this paper
• Logic Programs with Uncertainty: Neural Computation and Automated Reasoning

  2006influential citation
• A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications

  2006cites this paper
• Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs

  2006influential citation
• Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation

  2006cites this paper
• Preference Modeling by Rectangular Bilattices

  2006influential citation
• SUPERPRODUCTS, HYPERIDENTITIES, AND ALGEBRAIC STRUCTURES OF LOGIC PROGRAMMING

  2006cites this paper
• Some Useful 16-Valued Logics: How a Computer Network Should Think

  2005cites this paper
• A Non-deterministic View on Non-classical Negations

  2005cites this paper
• On Approximation of the Semantic Operators Determined by Bilattice-Based Logic Programs

  2005influential citation
• On Some New Sufficient Conditions for Bilattices not to be Interlaced

  2005cites this paper
• An encompassing framework for Paraconsistent Logic Programs

  2005cites this paper
• Dedicated to Nuel D. Belnap on the occasion of his 75th Birthday

  2005cites this paper
• Algebraic Semantics for Knowledge-based Logic Programs

  2004influential citation
• RELATING INTUITIONISTIC FUZZY SETS AND INTERVAL-VALUED FUZZY SETS THROUGH BILATTICES

  2004cites this paper
• A dialogue game to offer an agreement to disagree

  2004influential citation
• Reasoning with Logical

  2004cites this paper
• Tableaux with Four Signs as a Unified Framework

  2003cites this paper
• Bipolar Possibilistic Representations

  2002cites this paper
• Fixpoint semantics for logic programming a survey

  2002cites this paper
• Lifting assertion and consistency checkers from single to multiple viewpoints

  2002cites this paper
• Bilattices Are Nice Things

  2002cites this paper