Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2014

2014

The semantics of modal logics for reasoning about belief or knowledge is often described in terms of accessibility relations… Expand

Is this relevant?

2014

2014

The Unified Modeling Language (UML) is one of the few modeling languages that is widely used in industry. While UML is mostly… Expand

Is this relevant?

2013

2013

Several interpretations can be given to the third truth value in three-valued logics. Here, we consider the case when it refers… Expand

Is this relevant?

2009

2009

This paper presents addition and multiplication in Galois field using multi-valued logic. Multi-valued logic (MVL) has matured to… Expand

Is this relevant?

2006

2006

Reiter's default logic suffers the triviality, that is, a single contradiction in the premise of a default theory leads to the… Expand

Is this relevant?

Highly Cited

1996

Highly Cited

1996

NULL Convention Logic (NCL) is a symbolically complete logic which expresses process completely in terms of the logic itself and… Expand

Is this relevant?

Highly Cited

1996

Highly Cited

1996

of Complex Objects Using a Four-Valued Logic Thomas Rolleke, Norbert Fuhr [roelleke,fuhr] @ls6.informatik. uni-dortmund.de… Expand

Is this relevant?

Highly Cited

1991

Highly Cited

1991

Abstract Bilattices, due to M. Ginsberg, are a family of truth-value spaces that allow elegantly for missing or conflicting… Expand

Is this relevant?

Highly Cited

1981

Highly Cited

1981

A new method to implement multiple-valued logic in large scale integrated circuits is introduced. The data are represented by… Expand

Is this relevant?

Highly Cited

1977

Highly Cited

1977

It is argued that a sophisticated question-answering machine that has the capability of making inferences from its data base… Expand

Is this relevant?