FRINK Linked Data Fragments server

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

• W1534321109 endingPage "143" @default.
• W1534321109 startingPage "134" @default.
• W1534321109 abstract "We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence, even in face of Odd Loops Over Negation (OLONs) or infinite chains; relevance cumulativity; and compliance with the Well-Founded Model.When complete models are unnecessary, and top-down querying (a la Prolog) is desired, TS provides the 2-valued option that guarantees model existence, as a result of its relevance property. Top-down querying with abduction by need is rendered available too by TS. The user need not pay the price of computing whole models, nor that of generating all possible abductions, only to filter irrelevant ones subsequently.A TS model of a NLP P is any minimal model M of P that further satisfies P^---the program remainder of P---in that each loop in P^ has a MM contained in M, whilst respecting the constraints imposed by the MMs of the other loops so-constrained too.The applications afforded by TS are all those of Stable Models, which it generalizes, plus those permitting to solve OLONs for model existence, plus those employing OLONs for productively obtaining problem solutions, not just filtering them (like Integrity Constraints)." @default.
• W1534321109 created "2016-06-24" @default.
• W1534321109 creator A5004318797 @default.
• W1534321109 creator A5090029669 @default.
• W1534321109 date "2010-01-01" @default.
• W1534321109 modified "2023-10-18" @default.
• W1534321109 title "Tight Semantics for Logic Programs" @default.
• W1534321109 cites W1561250315 @default.
• W1534321109 cites W1567025285 @default.
• W1534321109 cites W1606891084 @default.
• W1534321109 cites W1607801167 @default.
• W1534321109 cites W1672891595 @default.
• W1534321109 cites W1968513265 @default.
• W1534321109 cites W1976055110 @default.
• W1534321109 cites W1990606699 @default.
• W1534321109 cites W2399343913 @default.
• W1534321109 cites W90143897 @default.
• W1534321109 doi "https://doi.org/10.4230/lipics.iclp.2010.134" @default.
• W1534321109 hasPublicationYear "2010" @default.
• W1534321109 type Work @default.
• W1534321109 sameAs 1534321109 @default.
• W1534321109 citedByCount "1" @default.
• W1534321109 countsByYear W15343211092015 @default.
• W1534321109 crossrefType "proceedings-article" @default.
• W1534321109 hasAuthorship W1534321109A5004318797 @default.
• W1534321109 hasAuthorship W1534321109A5090029669 @default.
• W1534321109 hasConcept C106131492 @default.
• W1534321109 hasConcept C111472728 @default.
• W1534321109 hasConcept C11413529 @default.
• W1534321109 hasConcept C127001435 @default.
• W1534321109 hasConcept C128838566 @default.
• W1534321109 hasConcept C138885662 @default.
• W1534321109 hasConcept C156325763 @default.
• W1534321109 hasConcept C158154518 @default.
• W1534321109 hasConcept C17744445 @default.
• W1534321109 hasConcept C184337299 @default.
• W1534321109 hasConcept C189790780 @default.
• W1534321109 hasConcept C189950617 @default.
• W1534321109 hasConcept C199360897 @default.
• W1534321109 hasConcept C199539241 @default.
• W1534321109 hasConcept C2185349 @default.
• W1534321109 hasConcept C31972630 @default.
• W1534321109 hasConcept C33923547 @default.
• W1534321109 hasConcept C39613435 @default.
• W1534321109 hasConcept C41008148 @default.
• W1534321109 hasConcept C62360110 @default.
• W1534321109 hasConcept C80444323 @default.
• W1534321109 hasConcept C81721847 @default.
• W1534321109 hasConcept C94375191 @default.
• W1534321109 hasConceptScore W1534321109C106131492 @default.
• W1534321109 hasConceptScore W1534321109C111472728 @default.
• W1534321109 hasConceptScore W1534321109C11413529 @default.
• W1534321109 hasConceptScore W1534321109C127001435 @default.
• W1534321109 hasConceptScore W1534321109C128838566 @default.
• W1534321109 hasConceptScore W1534321109C138885662 @default.
• W1534321109 hasConceptScore W1534321109C156325763 @default.
• W1534321109 hasConceptScore W1534321109C158154518 @default.
• W1534321109 hasConceptScore W1534321109C17744445 @default.
• W1534321109 hasConceptScore W1534321109C184337299 @default.
• W1534321109 hasConceptScore W1534321109C189790780 @default.
• W1534321109 hasConceptScore W1534321109C189950617 @default.
• W1534321109 hasConceptScore W1534321109C199360897 @default.
• W1534321109 hasConceptScore W1534321109C199539241 @default.
• W1534321109 hasConceptScore W1534321109C2185349 @default.
• W1534321109 hasConceptScore W1534321109C31972630 @default.
• W1534321109 hasConceptScore W1534321109C33923547 @default.
• W1534321109 hasConceptScore W1534321109C39613435 @default.
• W1534321109 hasConceptScore W1534321109C41008148 @default.
• W1534321109 hasConceptScore W1534321109C62360110 @default.
• W1534321109 hasConceptScore W1534321109C80444323 @default.
• W1534321109 hasConceptScore W1534321109C81721847 @default.
• W1534321109 hasConceptScore W1534321109C94375191 @default.
• W1534321109 hasLocation W15343211091 @default.
• W1534321109 hasOpenAccess W1534321109 @default.
• W1534321109 hasPrimaryLocation W15343211091 @default.
• W1534321109 hasRelatedWork W1494018217 @default.
• W1534321109 hasRelatedWork W1515516220 @default.
• W1534321109 hasRelatedWork W1554939680 @default.
• W1534321109 hasRelatedWork W1555521339 @default.
• W1534321109 hasRelatedWork W1990653192 @default.
• W1534321109 hasRelatedWork W2009165202 @default.
• W1534321109 hasRelatedWork W2024663238 @default.
• W1534321109 hasRelatedWork W2024709333 @default.
• W1534321109 hasRelatedWork W2033042609 @default.
• W1534321109 hasRelatedWork W2037474536 @default.
• W1534321109 hasRelatedWork W2038502077 @default.
• W1534321109 hasRelatedWork W2092351491 @default.
• W1534321109 hasRelatedWork W2094818741 @default.
• W1534321109 hasRelatedWork W2106180000 @default.
• W1534321109 hasRelatedWork W2156621773 @default.
• W1534321109 hasRelatedWork W2179005734 @default.
• W1534321109 hasRelatedWork W2534686519 @default.
• W1534321109 hasRelatedWork W2553417806 @default.
• W1534321109 hasRelatedWork W2953874395 @default.
• W1534321109 hasRelatedWork W90538387 @default.
• W1534321109 hasVolume "7" @default.
• W1534321109 isParatext "false" @default.
• W1534321109 isRetracted "false" @default.

• next