Publication | Closed Access

Safe computation of the well-founded semantics of datalog queries

Database TheoryEngineeringDeductive DatabaseAutomated ReasoningDatalog QueriesFormal MethodsWell-founded SemanticsComputer ScienceSemanticsSemantic WebFormal Verification