Matches in SemOpenAlex for { <https://semopenalex.org/work/W1535315055> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1535315055 endingPage "13" @default.
- W1535315055 startingPage "4" @default.
- W1535315055 abstract "Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relationships that abductive answers are required to satisfy.Integrity constraints are usually known a priori. However, in some applications (such as interactive abductive logic programming, multi-agent interactions, contracting) it makes sense to relax this assumption, in order to let the abductive reasoning start with incomplete knowledge of integrity constraints, and to continue without restarting when new integrity constraints become known.In this paper, we propose a declarative semantics for abductive logic programming with addition of integrity constraints during the abductive reasoning process, an operational instantiation (with formal termination, soundness and completeness properties) and an implementation of such a framework based on the SCIFF language and proof procedure." @default.
- W1535315055 created "2016-06-24" @default.
- W1535315055 creator A5028993591 @default.
- W1535315055 creator A5079194919 @default.
- W1535315055 creator A5088751356 @default.
- W1535315055 date "2010-01-01" @default.
- W1535315055 modified "2023-09-28" @default.
- W1535315055 title "Runtime Addition of Integrity Constraints in an Abductive Proof Procedure" @default.
- W1535315055 cites W121573966 @default.
- W1535315055 cites W1480053192 @default.
- W1535315055 cites W1552740165 @default.
- W1535315055 cites W1555544970 @default.
- W1535315055 cites W1814221162 @default.
- W1535315055 cites W1965634437 @default.
- W1535315055 cites W1986404405 @default.
- W1535315055 cites W1987005090 @default.
- W1535315055 cites W2010104109 @default.
- W1535315055 cites W2022472812 @default.
- W1535315055 cites W2052436826 @default.
- W1535315055 cites W2063727779 @default.
- W1535315055 cites W2071787143 @default.
- W1535315055 cites W20730496 @default.
- W1535315055 cites W2079333278 @default.
- W1535315055 cites W2106458801 @default.
- W1535315055 cites W2106821978 @default.
- W1535315055 cites W2117993170 @default.
- W1535315055 cites W2143342293 @default.
- W1535315055 cites W2154631287 @default.
- W1535315055 cites W2162176451 @default.
- W1535315055 cites W2163664272 @default.
- W1535315055 cites W2374439624 @default.
- W1535315055 cites W2398007927 @default.
- W1535315055 cites W2914983426 @default.
- W1535315055 cites W43244340 @default.
- W1535315055 doi "https://doi.org/10.4230/lipics.iclp.2010.4" @default.
- W1535315055 hasPublicationYear "2010" @default.
- W1535315055 type Work @default.
- W1535315055 sameAs 1535315055 @default.
- W1535315055 citedByCount "1" @default.
- W1535315055 countsByYear W15353150552013 @default.
- W1535315055 crossrefType "proceedings-article" @default.
- W1535315055 hasAuthorship W1535315055A5028993591 @default.
- W1535315055 hasAuthorship W1535315055A5079194919 @default.
- W1535315055 hasAuthorship W1535315055A5088751356 @default.
- W1535315055 hasConcept C128838566 @default.
- W1535315055 hasConcept C154945302 @default.
- W1535315055 hasConcept C159032336 @default.
- W1535315055 hasConcept C166088908 @default.
- W1535315055 hasConcept C199360897 @default.
- W1535315055 hasConcept C33762810 @default.
- W1535315055 hasConcept C39920170 @default.
- W1535315055 hasConcept C41008148 @default.
- W1535315055 hasConcept C77088390 @default.
- W1535315055 hasConcept C80444323 @default.
- W1535315055 hasConceptScore W1535315055C128838566 @default.
- W1535315055 hasConceptScore W1535315055C154945302 @default.
- W1535315055 hasConceptScore W1535315055C159032336 @default.
- W1535315055 hasConceptScore W1535315055C166088908 @default.
- W1535315055 hasConceptScore W1535315055C199360897 @default.
- W1535315055 hasConceptScore W1535315055C33762810 @default.
- W1535315055 hasConceptScore W1535315055C39920170 @default.
- W1535315055 hasConceptScore W1535315055C41008148 @default.
- W1535315055 hasConceptScore W1535315055C77088390 @default.
- W1535315055 hasConceptScore W1535315055C80444323 @default.
- W1535315055 hasLocation W15353150551 @default.
- W1535315055 hasOpenAccess W1535315055 @default.
- W1535315055 hasPrimaryLocation W15353150551 @default.
- W1535315055 hasRelatedWork W120747662 @default.
- W1535315055 hasRelatedWork W1493799155 @default.
- W1535315055 hasRelatedWork W1497293019 @default.
- W1535315055 hasRelatedWork W1510317634 @default.
- W1535315055 hasRelatedWork W1537193727 @default.
- W1535315055 hasRelatedWork W1585132271 @default.
- W1535315055 hasRelatedWork W1757790192 @default.
- W1535315055 hasRelatedWork W176967799 @default.
- W1535315055 hasRelatedWork W2123396057 @default.
- W1535315055 hasRelatedWork W2241042849 @default.
- W1535315055 hasRelatedWork W2398007927 @default.
- W1535315055 hasRelatedWork W2400257241 @default.
- W1535315055 hasRelatedWork W2763342597 @default.
- W1535315055 hasRelatedWork W2896772039 @default.
- W1535315055 hasRelatedWork W2949956002 @default.
- W1535315055 hasRelatedWork W2949978455 @default.
- W1535315055 hasRelatedWork W3000705220 @default.
- W1535315055 hasRelatedWork W3020620556 @default.
- W1535315055 hasRelatedWork W2333218040 @default.
- W1535315055 hasRelatedWork W2601744108 @default.
- W1535315055 hasVolume "7" @default.
- W1535315055 isParatext "false" @default.
- W1535315055 isRetracted "false" @default.
- W1535315055 magId "1535315055" @default.
- W1535315055 workType "article" @default.