FRINK Linked Data Fragments server

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

• W1898865569 endingPage "8" @default.
• W1898865569 startingPage "1" @default.
• W1898865569 abstract "A logic programming paradigm which expresses solutions to problems as stable models has recently been promoted as a declarative approach to solving various combinatorial and search problems, including planning problems. In this paradigm, all program rules are considered as constraints and solutions are stable models of the rule set. This is a rather radical departure from the standard paradigm of logic programming. In this paper we revisit abductive logic programming and argue that it allows a programming style which is as declarative as programming based on stable models. However, within abductive logic programming, one has two kinds of rules. On the one hand predicate definitions (which may depend on the abducibles) which are nothing else than standard logic programs (with their non-monotonic semantics when containing with negation); on the other hand rules which constrain the models for the abducibles. In this sense abductive logic programming is a smooth extension of the standard paradigm of logic programming, not a radical departure." @default.
• W1898865569 created "2016-06-24" @default.
• W1898865569 creator A5004343076 @default.
• W1898865569 date "2000-01-01" @default.
• W1898865569 modified "2023-09-24" @default.
• W1898865569 title "Logic programming for describing and solving planning problems" @default.
• W1898865569 cites W1511336005 @default.
• W1898865569 cites W1560971821 @default.
• W1898865569 cites W1563464738 @default.
• W1898865569 cites W163500809 @default.
• W1898865569 cites W1639901403 @default.
• W1898865569 cites W1766332311 @default.
• W1898865569 cites W1815105039 @default.
• W1898865569 cites W1987005090 @default.
• W1898865569 cites W2022472812 @default.
• W1898865569 cites W2078139775 @default.
• W1898865569 cites W2152131859 @default.
• W1898865569 cites W2612793397 @default.
• W1898865569 cites W2914983426 @default.
• W1898865569 cites W45950018 @default.
• W1898865569 cites W81377374 @default.
• W1898865569 cites W83671853 @default.
• W1898865569 hasPublicationYear "2000" @default.
• W1898865569 type Work @default.
• W1898865569 sameAs 1898865569 @default.
• W1898865569 citedByCount "1" @default.
• W1898865569 crossrefType "journal-article" @default.
• W1898865569 hasAuthorship W1898865569A5004343076 @default.
• W1898865569 hasConcept C126255220 @default.
• W1898865569 hasConcept C127001435 @default.
• W1898865569 hasConcept C128838566 @default.
• W1898865569 hasConcept C137631369 @default.
• W1898865569 hasConcept C146206909 @default.
• W1898865569 hasConcept C154945302 @default.
• W1898865569 hasConcept C156325763 @default.
• W1898865569 hasConcept C159032336 @default.
• W1898865569 hasConcept C166088908 @default.
• W1898865569 hasConcept C173404611 @default.
• W1898865569 hasConcept C182620335 @default.
• W1898865569 hasConcept C184337299 @default.
• W1898865569 hasConcept C189790780 @default.
• W1898865569 hasConcept C199360897 @default.
• W1898865569 hasConcept C207648694 @default.
• W1898865569 hasConcept C33923547 @default.
• W1898865569 hasConcept C34165917 @default.
• W1898865569 hasConcept C41008148 @default.
• W1898865569 hasConcept C50033165 @default.
• W1898865569 hasConcept C81721847 @default.
• W1898865569 hasConcept C89497691 @default.
• W1898865569 hasConcept C96315309 @default.
• W1898865569 hasConceptScore W1898865569C126255220 @default.
• W1898865569 hasConceptScore W1898865569C127001435 @default.
• W1898865569 hasConceptScore W1898865569C128838566 @default.
• W1898865569 hasConceptScore W1898865569C137631369 @default.
• W1898865569 hasConceptScore W1898865569C146206909 @default.
• W1898865569 hasConceptScore W1898865569C154945302 @default.
• W1898865569 hasConceptScore W1898865569C156325763 @default.
• W1898865569 hasConceptScore W1898865569C159032336 @default.
• W1898865569 hasConceptScore W1898865569C166088908 @default.
• W1898865569 hasConceptScore W1898865569C173404611 @default.
• W1898865569 hasConceptScore W1898865569C182620335 @default.
• W1898865569 hasConceptScore W1898865569C184337299 @default.
• W1898865569 hasConceptScore W1898865569C189790780 @default.
• W1898865569 hasConceptScore W1898865569C199360897 @default.
• W1898865569 hasConceptScore W1898865569C207648694 @default.
• W1898865569 hasConceptScore W1898865569C33923547 @default.
• W1898865569 hasConceptScore W1898865569C34165917 @default.
• W1898865569 hasConceptScore W1898865569C41008148 @default.
• W1898865569 hasConceptScore W1898865569C50033165 @default.
• W1898865569 hasConceptScore W1898865569C81721847 @default.
• W1898865569 hasConceptScore W1898865569C89497691 @default.
• W1898865569 hasConceptScore W1898865569C96315309 @default.
• W1898865569 hasLocation W18988655691 @default.
• W1898865569 hasOpenAccess W1898865569 @default.
• W1898865569 hasPrimaryLocation W18988655691 @default.
• W1898865569 hasRelatedWork W1006217711 @default.
• W1898865569 hasRelatedWork W107040879 @default.
• W1898865569 hasRelatedWork W1325840 @default.
• W1898865569 hasRelatedWork W1493799155 @default.
• W1898865569 hasRelatedWork W1502855507 @default.
• W1898865569 hasRelatedWork W1519050489 @default.
• W1898865569 hasRelatedWork W1537193727 @default.
• W1898865569 hasRelatedWork W1541987558 @default.
• W1898865569 hasRelatedWork W1561664582 @default.
• W1898865569 hasRelatedWork W1570730663 @default.
• W1898865569 hasRelatedWork W1637314713 @default.
• W1898865569 hasRelatedWork W1639901403 @default.
• W1898865569 hasRelatedWork W1696142211 @default.
• W1898865569 hasRelatedWork W1757790192 @default.
• W1898865569 hasRelatedWork W2022951178 @default.
• W1898865569 hasRelatedWork W2241042849 @default.
• W1898865569 hasRelatedWork W2763380616 @default.
• W1898865569 hasRelatedWork W2902695556 @default.
• W1898865569 hasRelatedWork W2949956002 @default.
• W1898865569 hasRelatedWork W3196415809 @default.
• W1898865569 isParatext "false" @default.
• W1898865569 isRetracted "false" @default.
• W1898865569 magId "1898865569" @default.

• next