FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1805605399> ?p ?o ?g. }

• W1805605399 abstract "We present a new paraconsistent approach to logic programming, called Quasi-classical (QC for short) model semantics. The basic idea is the following. We define the QC base as a set of all atoms and their complements, which decouples the link between an atom and its complement at the level of interpretation. Then we define QC models for positive logic programs. The QC model semantics actually effecting on disjunctive programs imposes the link between each disjunction occurring in the head of a rule and its complement disjunct. This enhances the ability of paraconsistent reasoning. We also define weak satisfaction to perform reasoning under our approach. The fixpoint semantics with respect to the QC model semantics is also presented in the paper." @default.
• W1805605399 created "2016-06-24" @default.
• W1805605399 creator A5044330558 @default.
• W1805605399 creator A5055951760 @default.
• W1805605399 creator A5058377143 @default.
• W1805605399 date "2009-01-01" @default.
• W1805605399 modified "2023-09-26" @default.
• W1805605399 title "Quasi-Classical Model Semantics for Logic Programs – A Paraconsistent Approach" @default.
• W1805605399 cites W1481398220 @default.
• W1805605399 cites W1552501472 @default.
• W1805605399 cites W1592619431 @default.
• W1805605399 cites W1976055110 @default.
• W1805605399 cites W1980589711 @default.
• W1805605399 cites W1985161451 @default.
• W1805605399 cites W2076698873 @default.
• W1805605399 cites W2092293513 @default.
• W1805605399 cites W2158545608 @default.
• W1805605399 cites W2165496352 @default.
• W1805605399 cites W4206370914 @default.
• W1805605399 doi "https://doi.org/10.1007/978-3-642-04125-9_21" @default.
• W1805605399 hasPublicationYear "2009" @default.
• W1805605399 type Work @default.
• W1805605399 sameAs 1805605399 @default.
• W1805605399 citedByCount "3" @default.
• W1805605399 countsByYear W18056053992015 @default.
• W1805605399 countsByYear W18056053992017 @default.
• W1805605399 crossrefType "book-chapter" @default.
• W1805605399 hasAuthorship W1805605399A5044330558 @default.
• W1805605399 hasAuthorship W1805605399A5055951760 @default.
• W1805605399 hasAuthorship W1805605399A5058377143 @default.
• W1805605399 hasConcept C102993220 @default.
• W1805605399 hasConcept C104317684 @default.
• W1805605399 hasConcept C112313634 @default.
• W1805605399 hasConcept C127001435 @default.
• W1805605399 hasConcept C127716648 @default.
• W1805605399 hasConcept C128838566 @default.
• W1805605399 hasConcept C156325763 @default.
• W1805605399 hasConcept C159032336 @default.
• W1805605399 hasConcept C16796852 @default.
• W1805605399 hasConcept C169896238 @default.
• W1805605399 hasConcept C177264268 @default.
• W1805605399 hasConcept C182620335 @default.
• W1805605399 hasConcept C184337299 @default.
• W1805605399 hasConcept C185592680 @default.
• W1805605399 hasConcept C188082640 @default.
• W1805605399 hasConcept C199360897 @default.
• W1805605399 hasConcept C207648694 @default.
• W1805605399 hasConcept C41008148 @default.
• W1805605399 hasConcept C527412718 @default.
• W1805605399 hasConcept C55493867 @default.
• W1805605399 hasConcept C62360110 @default.
• W1805605399 hasConcept C80444323 @default.
• W1805605399 hasConcept C89497691 @default.
• W1805605399 hasConceptScore W1805605399C102993220 @default.
• W1805605399 hasConceptScore W1805605399C104317684 @default.
• W1805605399 hasConceptScore W1805605399C112313634 @default.
• W1805605399 hasConceptScore W1805605399C127001435 @default.
• W1805605399 hasConceptScore W1805605399C127716648 @default.
• W1805605399 hasConceptScore W1805605399C128838566 @default.
• W1805605399 hasConceptScore W1805605399C156325763 @default.
• W1805605399 hasConceptScore W1805605399C159032336 @default.
• W1805605399 hasConceptScore W1805605399C16796852 @default.
• W1805605399 hasConceptScore W1805605399C169896238 @default.
• W1805605399 hasConceptScore W1805605399C177264268 @default.
• W1805605399 hasConceptScore W1805605399C182620335 @default.
• W1805605399 hasConceptScore W1805605399C184337299 @default.
• W1805605399 hasConceptScore W1805605399C185592680 @default.
• W1805605399 hasConceptScore W1805605399C188082640 @default.
• W1805605399 hasConceptScore W1805605399C199360897 @default.
• W1805605399 hasConceptScore W1805605399C207648694 @default.
• W1805605399 hasConceptScore W1805605399C41008148 @default.
• W1805605399 hasConceptScore W1805605399C527412718 @default.
• W1805605399 hasConceptScore W1805605399C55493867 @default.
• W1805605399 hasConceptScore W1805605399C62360110 @default.
• W1805605399 hasConceptScore W1805605399C80444323 @default.
• W1805605399 hasConceptScore W1805605399C89497691 @default.
• W1805605399 hasLocation W18056053991 @default.
• W1805605399 hasOpenAccess W1805605399 @default.
• W1805605399 hasPrimaryLocation W18056053991 @default.
• W1805605399 hasRelatedWork W1535676422 @default.
• W1805605399 hasRelatedWork W1542916848 @default.
• W1805605399 hasRelatedWork W1550404019 @default.
• W1805605399 hasRelatedWork W1592619431 @default.
• W1805605399 hasRelatedWork W1607346335 @default.
• W1805605399 hasRelatedWork W1837609671 @default.
• W1805605399 hasRelatedWork W1851327922 @default.
• W1805605399 hasRelatedWork W1937160721 @default.
• W1805605399 hasRelatedWork W1991020124 @default.
• W1805605399 hasRelatedWork W2027980228 @default.
• W1805605399 hasRelatedWork W2030454431 @default.
• W1805605399 hasRelatedWork W2032346221 @default.
• W1805605399 hasRelatedWork W2050486226 @default.
• W1805605399 hasRelatedWork W2073311296 @default.
• W1805605399 hasRelatedWork W2078253420 @default.
• W1805605399 hasRelatedWork W2135819447 @default.
• W1805605399 hasRelatedWork W2150637097 @default.
• W1805605399 hasRelatedWork W2153530522 @default.
• W1805605399 hasRelatedWork W2167765443 @default.
• W1805605399 hasRelatedWork W2293749865 @default.
• W1805605399 isParatext "false" @default.

• next