C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Remarks on Special Lattices and Related Constructive Logics with Strong Negation.
Piero Pagliani
Published in:
Notre Dame J. Formal Log. (1990)
Keyphrases
</>
logic programs
closely related
expressive power
modal logic
neural network
real time
knowledge base
search algorithm
knowledge representation
logic programming
inference rules