On Procedural Semantics of Metalevel Negation.

Stefania Costantini Gaetano Aurelio Lanzarone

Published in: RCLP (1991)

Keyphrases

procedural semantics
logic programming
rule based systems
logic programs
rule base
deductive databases
object level
neural network
answer sets
expert systems
knowledge representation
machine learning
high level
multiscale
decision trees
information systems
stable models