Matches in SemOpenAlex for { <https://semopenalex.org/work/W161390568> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W161390568 abstract "Disjunctive logic programs under the answer sets semantics play a very significant role in knowledge representation and non monotonic reasoning. As the semantics has been extended to wider classes of programs, it has been observed that implication in the body of rules can be interesting, both for theoretical and practical issues. Here we present an extension of the answer sets semantics to programs with embedded implications in the body of the rules. Since the answer sets of these extended programs are not necessarily minimal, we introduce the notion of rigid programs as a condition that assures the minimality of answer sets for arbitrary theories. We also introduce an extended family of logic programs with restricted use of implication in the body of the rules and address some practical knowledge representation issues through this extension." @default.
- W161390568 created "2016-06-24" @default.
- W161390568 creator A5082472539 @default.
- W161390568 creator A5016915877 @default.
- W161390568 date "2004-01-01" @default.
- W161390568 modified "2023-09-22" @default.
- W161390568 title "Embedded Implications and Minimality in ASP" @default.
- W161390568 cites W1516418648 @default.
- W161390568 cites W1541434994 @default.
- W161390568 cites W1598297969 @default.
- W161390568 cites W1606891084 @default.
- W161390568 cites W1672891595 @default.
- W161390568 cites W2025008902 @default.
- W161390568 cites W2028582842 @default.
- W161390568 cites W2111422218 @default.
- W161390568 cites W2400192531 @default.
- W161390568 hasPublicationYear "2004" @default.
- W161390568 type Work @default.
- W161390568 sameAs 161390568 @default.
- W161390568 citedByCount "5" @default.
- W161390568 crossrefType "journal-article" @default.
- W161390568 hasAuthorship W161390568A5016915877 @default.
- W161390568 hasAuthorship W161390568A5082472539 @default.
- W161390568 hasConcept C127001435 @default.
- W161390568 hasConcept C128838566 @default.
- W161390568 hasConcept C136119220 @default.
- W161390568 hasConcept C154945302 @default.
- W161390568 hasConcept C156325763 @default.
- W161390568 hasConcept C159032336 @default.
- W161390568 hasConcept C161301231 @default.
- W161390568 hasConcept C17744445 @default.
- W161390568 hasConcept C182620335 @default.
- W161390568 hasConcept C184337299 @default.
- W161390568 hasConcept C199360897 @default.
- W161390568 hasConcept C199539241 @default.
- W161390568 hasConcept C202444582 @default.
- W161390568 hasConcept C2776359362 @default.
- W161390568 hasConcept C2778029271 @default.
- W161390568 hasConcept C33923547 @default.
- W161390568 hasConcept C41008148 @default.
- W161390568 hasConcept C62360110 @default.
- W161390568 hasConcept C80444323 @default.
- W161390568 hasConcept C94625758 @default.
- W161390568 hasConceptScore W161390568C127001435 @default.
- W161390568 hasConceptScore W161390568C128838566 @default.
- W161390568 hasConceptScore W161390568C136119220 @default.
- W161390568 hasConceptScore W161390568C154945302 @default.
- W161390568 hasConceptScore W161390568C156325763 @default.
- W161390568 hasConceptScore W161390568C159032336 @default.
- W161390568 hasConceptScore W161390568C161301231 @default.
- W161390568 hasConceptScore W161390568C17744445 @default.
- W161390568 hasConceptScore W161390568C182620335 @default.
- W161390568 hasConceptScore W161390568C184337299 @default.
- W161390568 hasConceptScore W161390568C199360897 @default.
- W161390568 hasConceptScore W161390568C199539241 @default.
- W161390568 hasConceptScore W161390568C202444582 @default.
- W161390568 hasConceptScore W161390568C2776359362 @default.
- W161390568 hasConceptScore W161390568C2778029271 @default.
- W161390568 hasConceptScore W161390568C33923547 @default.
- W161390568 hasConceptScore W161390568C41008148 @default.
- W161390568 hasConceptScore W161390568C62360110 @default.
- W161390568 hasConceptScore W161390568C80444323 @default.
- W161390568 hasConceptScore W161390568C94625758 @default.
- W161390568 hasLocation W1613905681 @default.
- W161390568 hasOpenAccess W161390568 @default.
- W161390568 hasPrimaryLocation W1613905681 @default.
- W161390568 hasRelatedWork W1582025563 @default.
- W161390568 hasRelatedWork W1672891595 @default.
- W161390568 hasRelatedWork W2111422218 @default.
- W161390568 hasRelatedWork W2157932269 @default.
- W161390568 hasRelatedWork W2176973685 @default.
- W161390568 hasRelatedWork W2346706716 @default.
- W161390568 hasRelatedWork W2406874399 @default.
- W161390568 hasRelatedWork W2542253973 @default.
- W161390568 hasRelatedWork W2548335565 @default.
- W161390568 hasRelatedWork W2563136300 @default.
- W161390568 hasRelatedWork W2592933345 @default.
- W161390568 hasRelatedWork W2597189952 @default.
- W161390568 hasRelatedWork W2899983118 @default.
- W161390568 hasRelatedWork W2911538936 @default.
- W161390568 hasRelatedWork W2913710023 @default.
- W161390568 hasRelatedWork W2950641724 @default.
- W161390568 hasRelatedWork W2951929916 @default.
- W161390568 hasRelatedWork W3157980852 @default.
- W161390568 hasRelatedWork W95898676 @default.
- W161390568 hasRelatedWork W1980335312 @default.
- W161390568 isParatext "false" @default.
- W161390568 isRetracted "false" @default.
- W161390568 magId "161390568" @default.
- W161390568 workType "article" @default.