Publication | Closed Access

Theory of generalized annotated logic programming and its applications**A preliminary report on this research has appeared in [34].

EngineeringA Preliminary ReportAutomated ReasoningAnswer Set ProgrammingComputational LinguisticsDescription LogicFormal MethodsWell-founded SemanticsInductive Logic ProgrammingLanguage StudiesSemanticsAnnotated Logic ProgrammingLogic Programming