Proof-Theoretic Foundation of Hypothetical Reasoning.

Pablo López Ernesto Pimentel

Published in: WFLP (2000)

Keyphrases

hypothetical reasoning
proof theoretic
logic programs
fixpoint
model theoretic
deductive databases

linear logic
default reasoning
nonmonotonic reasoning
proof theory
constraint logic programming
logic programming

supreme court
integrity constraints
cognitive science
answer set programming
databases
description logics

legal argument
finite state machines
expert systems
cut elimination
artificial intelligence