Abstract
No public abstract is available from the verified source records.
Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructureBarbara Messing
Abstract
Authors
Institutions
Provenance
crossref
Confidence 100%
openalex
Confidence 95%
unpaywall
Confidence 95%
datacite
Confidence 0%
No local reference links have been materialized yet.
No local citing links have been materialized yet.
Unresolved referenced work
Kept as external metadata until matched
Unresolved referenced work
1994
Evidential Support Logic Programming
10.1016/0165-0114(87)90110-2 · 1987
A useful four-valued logic
1977
Unresolved referenced work
Kept as external metadata until matched
Nonmonotonic reasoning: Logical foundations of commonsense
1991
Unresolved referenced work
1994
Acquisition and exploitation of gradual knowledge
10.1006/ijhc.1995.1021 · 1995
Unresolved referenced work
1980
Negation as refutation
1990
Bilattices and the semantics of logic programming
10.1016/0743-1066(91)90014-g · 1991
Unresolved referenced work
1986
Unresolved referenced work
1987
Multivalued logics
10.1111/j.1467-8640.1988.tb00280.x · 1988
Bilattices and modal operators
1991
Automated deduction in multiple-valued logics
1992
Exploiting data dependencies in many-valued logics
10.1080/11663081.1996.10510866 · 1996
Theory of generalized annotated logic programming and its applications
10.1016/0743-1066(92)90007-p · 1992
Computing annotated logic
1994
Logic Programming with Signs and Annotations
10.1093/logcom/6.6.755 · 1996
Signed formulas and annotated logics
1993
Signed formulas and fuzzy operator logics
1994
Hybrid knowledge bases
10.1109/69.542029 · 1996
REGULA: Knowledge Representation and Processing in Many-valued Logics
1995
Darstellung und Integration von Wissen in verbandsbasierten signierten Logikprogrammen
1996
Multi-valued logic programming semantics: An algebraic approach
10.1016/s0304-3975(96)00126-0 · 1997
Signed formulas: A liftable meta-logic for multiple-valued logic
1993
Unresolved referenced work
1989
Analysis of forest succession with fuzzy graph theory
10.1016/0304-3800(89)90075-6 · 1989
Unresolved referenced work
1994
Unresolved referenced work
1993
Unresolved referenced work
Kept as external metadata until matched
On social laws for artificial agent societies: Off-line design
1995
Paraconsistent disjunctive deductive databases
10.1016/0304-3975(92)90214-z · 1992
Amalgamating knowledge bases
10.1145/176567.176571 · 1994
Measurement of fuzziness: Interpretation of the axioms of measure
1984
Mediators in the architecture of future information systems
10.1109/2.121508 · 1992
Unresolved referenced work
1987
Cooperating under uncertainty in distributed expert systems
1992
No additional external references are available.