{"entities":{"Q2715522":{"pageid":2726261,"ns":120,"title":"Item:Q2715522","lastrevid":41919222,"modified":"2025-05-15T16:08:48Z","type":"item","id":"Q2715522","labels":{"en":{"language":"en","value":"From here to there: Stable negation in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1607953"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715522$7F9E1CDE-039B-4FC5-8ECA-093479E6F4FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dfc6a557bfece179fea3a42bb14148a542dba4c","datavalue":{"value":"0978.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715522$D28A8B62-E067-41DC-966F-60D7BD934A2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"def0cffebab58f04bd345066e6bd772a76144df6","datavalue":{"value":{"time":"+2002-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2715522$5F83D1CF-75D8-47A8-A48E-451C1A85A439","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715522$11E024C5-800E-46B2-8954-8A2AFB039547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715522$4652B62B-A677-47B3-994E-8C4A654705B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcede4966a83ca1637fba2c1b05707ec8508ff29","datavalue":{"value":"1607953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715522$889E59E4-73FA-4065-87C0-69BF1AA21495","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb3969f9d1abacdb827ee34b8ba910032090c12","datavalue":{"value":"logic programming semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715522$78D531A5-45F9-4161-A5C7-8328F2EECA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715522$A0871489-28DE-49CD-96DB-F7FD7FE8E974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d29b6062151f8ed0827617e27aa91e93995f518","datavalue":{"value":"completion semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715522$964B454E-D18F-41C0-A3FA-90ED94584947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14e1aede3a64c9fb3aee7b0e9390d6c7fa3fc01c","datavalue":{"value":"minimal model reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715522$2107125F-5127-4D85-90A8-F6B0114FD3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e359399cd20d349a940ba8a0e652e31dd11c79","datavalue":{"value":"negation stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715522$D14DC297-A240-4B4A-B8D5-7341A858ED6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715522$D6D826F1-8F86-4153-8D21-5036374B07CB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715522$0551015B-DEEF-44EC-91FE-002724E75323","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64227507c08edd59fc51edfe21c27ee35cfea146","datavalue":{"value":{"entity-type":"item","numeric-id":672705,"id":"Q672705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9073150d9e09b111e8424a869e11bd1fa25e049","datavalue":{"value":{"amount":"+0.90979666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2715522$C4FF3CE3-F458-4490-922B-15CCAF85EED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4015c7edd08aa302dde3b18ed9e10718a9b625","datavalue":{"value":{"entity-type":"item","numeric-id":3992225,"id":"Q3992225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539f0680f5462116624b3c5efbef89414e47a90b","datavalue":{"value":{"amount":"+0.904428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2715522$7A53C1DB-14D4-4D88-97E7-F915AF4319A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be13f8f54e6cdd49feb173cc54dd59a7a8a3f429","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f652755d3e2a25e42291e2cc899b457335ebdcaa","datavalue":{"value":{"amount":"+0.90307295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2715522$88B064F5-6099-43F6-B8B8-93F717EDAC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55de0d0843227789b90c392b99e4d59429269a40","datavalue":{"value":{"entity-type":"item","numeric-id":4713088,"id":"Q4713088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c417ef214cac8d6126dcedbcc6dc8ec9dfa725f2","datavalue":{"value":{"amount":"+0.8970155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2715522$609E9E74-6A28-462E-A4F0-A2E22DA78BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"280d771e24f08f0a211a2ad0567d631b1556027f","datavalue":{"value":{"entity-type":"item","numeric-id":4798003,"id":"Q4798003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4b88a38cd58bfe8872640dbfe5cc4275b8477c","datavalue":{"value":{"amount":"+0.8960046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2715522$CA2AEAF4-28F9-4B31-B67F-A3521031C4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98f3ace1a2691d73ffc5626431b577a5ec2f2859","datavalue":{"value":{"entity-type":"item","numeric-id":4815033,"id":"Q4815033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4b88a38cd58bfe8872640dbfe5cc4275b8477c","datavalue":{"value":{"amount":"+0.8960046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2715522$FE0995AF-ED22-40BC-903E-1704F44D1E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51c90c970deaba0916d13f5725a284ff456bece","datavalue":{"value":{"entity-type":"item","numeric-id":4018068,"id":"Q4018068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf5b4755868028446225082edb5a406c68acee1","datavalue":{"value":{"amount":"+0.8950935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2715522$E614A4B2-0925-4D17-A4E3-F266F17B4ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9683d70a90859a0c56090c74ee51b5fff4aec43","datavalue":{"value":{"entity-type":"item","numeric-id":3129493,"id":"Q3129493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"345a64461dcdd834b39b9e995d3932eae7ba2a98","datavalue":{"value":{"amount":"+0.894396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2715522$27A1961B-B1FB-4D7E-B79D-DE09B8C41199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f51ccdf4cb08ad419d000448381c0f16cd8f00a","datavalue":{"value":{"entity-type":"item","numeric-id":3773305,"id":"Q3773305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"093d236c46a3ad8dd4056f14facf1b3f92415238","datavalue":{"value":{"amount":"+0.89418703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2715522$74EE65A7-B332-4362-8A82-974B6C4EEA9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f86a1fe0df51154f1c030991a03a7f21bf121868","datavalue":{"value":{"entity-type":"item","numeric-id":532424,"id":"Q532424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715522$C01F6F97-8BF7-405D-BFA6-5CA57F0C7679","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f0a21ecd70e53664e8a81297b9c7429c6b5beb3","datavalue":{"value":{"text":"From here to there: Stable negation in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2715522$EB7548B7-F9B7-4319-9375-D1D6DF481C64","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d391443e940fd2a6981a430e5e24edd7dd52839b","datavalue":{"value":"The aim of the paper is to select one particular approach to logic programming semantics, that of stable models, and to analyse its treatment of negation from a purely logical point of view.NEWLINENEWLINENEWLINEStable models yield a kind of completion semantics. The notion of completion is the more traditional one in logic: every stable model determines a theory complete in \\((\\neg)\\). But this idea, that, given some program, a query formula either succeeds or fails, is not the only principle underlying the semantics. Reasoning on the basis of stable models or answer set is also a form of minimal model reasoning, familiar elsewhere in logic programming and in nonmonotonic logic generally.NEWLINENEWLINENEWLINEThis juxtaposition of minimality and completeness, which combines to form negation stability, is what distinguishes stable model reasoning from other approaches. The extension to strong negation is straightforward and conservative.NEWLINENEWLINEFor the entire collection see [Zbl 0957.00012].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715522$CFFC78C7-6A69-43EC-9EFD-AF2EB23EFDCF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715522$E0AC2B28-20E4-416E-BB7E-CE1F07DE0139","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2715522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2715522"}}}}}