FRINK Linked Data Fragments server

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

• W2132042004 endingPage "750" @default.
• W2132042004 startingPage "691" @default.
• W2132042004 abstract "Abstract We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the original restrictions over variable quantification ( allowedness conditions ) and incorporating a constraint solver to deal with numerical constraints as in constraint logic programming. Finally, we describe the CIFF system, comparing it with state-of-the-art abductive systems and answer set solvers and showing how to use it to program some applications." @default.
• W2132042004 created "2016-06-24" @default.
• W2132042004 creator A5026448597 @default.
• W2132042004 creator A5058049693 @default.
• W2132042004 creator A5078354590 @default.
• W2132042004 creator A5083972852 @default.
• W2132042004 creator A5086573205 @default.
• W2132042004 date "2009-08-14" @default.
• W2132042004 modified "2023-09-27" @default.
• W2132042004 title "The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments" @default.
• W2132042004 cites W1485064038 @default.
• W2132042004 cites W1487569371 @default.
• W2132042004 cites W1509180139 @default.
• W2132042004 cites W1518810661 @default.
• W2132042004 cites W1521786787 @default.
• W2132042004 cites W1563464738 @default.
• W2132042004 cites W1579337158 @default.
• W2132042004 cites W1585686429 @default.
• W2132042004 cites W1586826229 @default.
• W2132042004 cites W1593637886 @default.
• W2132042004 cites W1606891084 @default.
• W2132042004 cites W1639901403 @default.
• W2132042004 cites W1814221162 @default.
• W2132042004 cites W1968513265 @default.
• W2132042004 cites W1973279396 @default.
• W2132042004 cites W1976055110 @default.
• W2132042004 cites W1987005090 @default.
• W2132042004 cites W2004486808 @default.
• W2132042004 cites W2010104109 @default.
• W2132042004 cites W2022472812 @default.
• W2132042004 cites W2033289155 @default.
• W2132042004 cites W2046191606 @default.
• W2132042004 cites W2063727779 @default.
• W2132042004 cites W2071787143 @default.
• W2132042004 cites W2076698873 @default.
• W2132042004 cites W2078139775 @default.
• W2132042004 cites W2079333278 @default.
• W2132042004 cites W2090798572 @default.
• W2132042004 cites W2092911568 @default.
• W2132042004 cites W2113722134 @default.
• W2132042004 cites W2126499385 @default.
• W2132042004 cites W2162176451 @default.
• W2132042004 cites W2899987233 @default.
• W2132042004 cites W3296631 @default.
• W2132042004 cites W4206370914 @default.
• W2132042004 cites W4244653005 @default.
• W2132042004 cites W2094475962 @default.
• W2132042004 doi "https://doi.org/10.1017/s1471068409990093" @default.
• W2132042004 hasPublicationYear "2009" @default.
• W2132042004 type Work @default.
• W2132042004 sameAs 2132042004 @default.
• W2132042004 citedByCount "25" @default.
• W2132042004 countsByYear W21320420042012 @default.
• W2132042004 countsByYear W21320420042013 @default.
• W2132042004 countsByYear W21320420042014 @default.
• W2132042004 countsByYear W21320420042015 @default.
• W2132042004 countsByYear W21320420042016 @default.
• W2132042004 countsByYear W21320420042022 @default.
• W2132042004 crossrefType "journal-article" @default.
• W2132042004 hasAuthorship W2132042004A5026448597 @default.
• W2132042004 hasAuthorship W2132042004A5058049693 @default.
• W2132042004 hasAuthorship W2132042004A5078354590 @default.
• W2132042004 hasAuthorship W2132042004A5083972852 @default.
• W2132042004 hasAuthorship W2132042004A5086573205 @default.
• W2132042004 hasBestOaLocation W21320420042 @default.
• W2132042004 hasConcept C126255220 @default.
• W2132042004 hasConcept C128838566 @default.
• W2132042004 hasConcept C137631369 @default.
• W2132042004 hasConcept C154945302 @default.
• W2132042004 hasConcept C166088908 @default.
• W2132042004 hasConcept C173404611 @default.
• W2132042004 hasConcept C176783269 @default.
• W2132042004 hasConcept C177264268 @default.
• W2132042004 hasConcept C182620335 @default.
• W2132042004 hasConcept C199360897 @default.
• W2132042004 hasConcept C2524010 @default.
• W2132042004 hasConcept C2776036281 @default.
• W2132042004 hasConcept C2778770139 @default.
• W2132042004 hasConcept C33923547 @default.
• W2132042004 hasConcept C41008148 @default.
• W2132042004 hasConcept C44616089 @default.
• W2132042004 hasConcept C49937458 @default.
• W2132042004 hasConcept C55439883 @default.
• W2132042004 hasConcept C80444323 @default.
• W2132042004 hasConceptScore W2132042004C126255220 @default.
• W2132042004 hasConceptScore W2132042004C128838566 @default.
• W2132042004 hasConceptScore W2132042004C137631369 @default.
• W2132042004 hasConceptScore W2132042004C154945302 @default.
• W2132042004 hasConceptScore W2132042004C166088908 @default.
• W2132042004 hasConceptScore W2132042004C173404611 @default.
• W2132042004 hasConceptScore W2132042004C176783269 @default.
• W2132042004 hasConceptScore W2132042004C177264268 @default.
• W2132042004 hasConceptScore W2132042004C182620335 @default.
• W2132042004 hasConceptScore W2132042004C199360897 @default.
• W2132042004 hasConceptScore W2132042004C2524010 @default.
• W2132042004 hasConceptScore W2132042004C2776036281 @default.
• W2132042004 hasConceptScore W2132042004C2778770139 @default.
• W2132042004 hasConceptScore W2132042004C33923547 @default.

• next