Utilization of Default Logic for Analyzing a Metabolic System in Discrete Time.

Tan Le Andrei Doncescu Pierre Siegel

Published in: ICCSA (6) (2013)

Keyphrases

default logic
default theories
default reasoning
nonmonotonic reasoning
logic programming
autoepistemic logic
nonmonotonic logics
default rules
modal logic
fixed point
classical logic
artificial intelligence
incomplete information
extended logic programs