Logic Programs with Annotated Disjunctions 论文

2004Lecture notes in computer science引用 234
Logic, Reasoning, and KnowledgeSemantic Web and OntologiesAdvanced Algebra and Logic