Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034673354> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2034673354 endingPage "50" @default.
- W2034673354 startingPage "41" @default.
- W2034673354 abstract "The research community has long recognized the study of non-monotonic reasoning (NMR) as a promising approach to model features of commonsense reasoning. We study one of the semantics that are useful to formalize NMR, called the p-stable semantics. We introduce three different formats for normal programs: negative normal programs, restricted negative normal programs and strong kernel programs. These forms help to simplify the search of p-stable models of the original program. One of the main results of this paper indicates that the p-stable semantics for strong kernel programs is the same as the stable semantics. This way, all the applications based on stable semantics for those kernel programs (defined in [S. Costantini, A. Provetti, Normal forms for answer set programming, J. Theory Pract. Log. Program. 5 (2005) 747–760]) that are strong kernel programs can also be based on the p-stable semantics." @default.
- W2034673354 created "2016-06-24" @default.
- W2034673354 creator A5015115410 @default.
- W2034673354 creator A5033447690 @default.
- W2034673354 date "2009-01-01" @default.
- W2034673354 modified "2023-10-18" @default.
- W2034673354 title "P-stable models of strong kernel programs" @default.
- W2034673354 cites W1503711496 @default.
- W2034673354 cites W1541434994 @default.
- W2034673354 cites W1549799088 @default.
- W2034673354 cites W1606891084 @default.
- W2034673354 cites W1672891595 @default.
- W2034673354 cites W1968513265 @default.
- W2034673354 cites W1994590553 @default.
- W2034673354 cites W2010968193 @default.
- W2034673354 cites W2011567991 @default.
- W2034673354 cites W2028582842 @default.
- W2034673354 cites W2041342851 @default.
- W2034673354 cites W2046304981 @default.
- W2034673354 cites W2104126268 @default.
- W2034673354 cites W2151259279 @default.
- W2034673354 cites W2156621773 @default.
- W2034673354 cites W2611415697 @default.
- W2034673354 cites W31561947 @default.
- W2034673354 cites W45113744 @default.
- W2034673354 doi "https://doi.org/10.1016/j.jalgor.2009.02.004" @default.
- W2034673354 hasPublicationYear "2009" @default.
- W2034673354 type Work @default.
- W2034673354 sameAs 2034673354 @default.
- W2034673354 citedByCount "1" @default.
- W2034673354 crossrefType "journal-article" @default.
- W2034673354 hasAuthorship W2034673354A5015115410 @default.
- W2034673354 hasAuthorship W2034673354A5033447690 @default.
- W2034673354 hasConcept C118615104 @default.
- W2034673354 hasConcept C127001435 @default.
- W2034673354 hasConcept C154945302 @default.
- W2034673354 hasConcept C156325763 @default.
- W2034673354 hasConcept C177264268 @default.
- W2034673354 hasConcept C182620335 @default.
- W2034673354 hasConcept C184337299 @default.
- W2034673354 hasConcept C199360897 @default.
- W2034673354 hasConcept C207648694 @default.
- W2034673354 hasConcept C33923547 @default.
- W2034673354 hasConcept C41008148 @default.
- W2034673354 hasConcept C74193536 @default.
- W2034673354 hasConcept C80444323 @default.
- W2034673354 hasConcept C89497691 @default.
- W2034673354 hasConceptScore W2034673354C118615104 @default.
- W2034673354 hasConceptScore W2034673354C127001435 @default.
- W2034673354 hasConceptScore W2034673354C154945302 @default.
- W2034673354 hasConceptScore W2034673354C156325763 @default.
- W2034673354 hasConceptScore W2034673354C177264268 @default.
- W2034673354 hasConceptScore W2034673354C182620335 @default.
- W2034673354 hasConceptScore W2034673354C184337299 @default.
- W2034673354 hasConceptScore W2034673354C199360897 @default.
- W2034673354 hasConceptScore W2034673354C207648694 @default.
- W2034673354 hasConceptScore W2034673354C33923547 @default.
- W2034673354 hasConceptScore W2034673354C41008148 @default.
- W2034673354 hasConceptScore W2034673354C74193536 @default.
- W2034673354 hasConceptScore W2034673354C80444323 @default.
- W2034673354 hasConceptScore W2034673354C89497691 @default.
- W2034673354 hasIssue "1" @default.
- W2034673354 hasLocation W20346733541 @default.
- W2034673354 hasOpenAccess W2034673354 @default.
- W2034673354 hasPrimaryLocation W20346733541 @default.
- W2034673354 hasRelatedWork W1510469359 @default.
- W2034673354 hasRelatedWork W1626176828 @default.
- W2034673354 hasRelatedWork W2034673354 @default.
- W2034673354 hasRelatedWork W2071557240 @default.
- W2034673354 hasRelatedWork W2125406856 @default.
- W2034673354 hasRelatedWork W2211916015 @default.
- W2034673354 hasRelatedWork W2576462083 @default.
- W2034673354 hasRelatedWork W2753815840 @default.
- W2034673354 hasRelatedWork W31976332 @default.
- W2034673354 hasRelatedWork W2592609194 @default.
- W2034673354 hasVolume "64" @default.
- W2034673354 isParatext "false" @default.
- W2034673354 isRetracted "false" @default.
- W2034673354 magId "2034673354" @default.
- W2034673354 workType "article" @default.