Publication | Closed Access

Rules as actions: A situation calculus semantics for logic programs

Applied LogicEngineeringOperational SemanticsAutomated ReasoningAction LanguageFormal MethodsDefeasible LogicSemanticsSituation Calculus SemanticsFormal VerificationLogic Programming