Extending the Lambek Calculus with Classical Negation.

Michael Kaminski

Published in: Stud Logica (2022)

Keyphrases

logic programming
real time
neural network
data mining
logic programs
deductive databases
information retrieval
video sequences
expert systems
expressive power
fixpoint