A Model Theory for Paraconsistent Logic Programming.

Carlos Viegas Damásio Luís Moniz Pereira

Published in: EPIA (1995)

Keyphrases

logic programming
logic programs
high level
deductive databases
programming language
formal model
answer set programming
possibilistic logic
expert systems
general purpose
parameter estimation
inductive logic programming
general theory
semantics for logic programs