{"entities":{"Q685123":{"pageid":686972,"ns":120,"title":"Item:Q685123","lastrevid":47188330,"modified":"2025-12-31T23:06:08Z","type":"item","id":"Q685123","labels":{"en":{"language":"en","value":"On the autoepistemic reconstruction of logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417073"}},"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":"Q685123$DABFD9D5-53D0-4FD7-A2A9-20FBDE052D17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3277e5000988403713bf653d922b4d6d0fa45a96","datavalue":{"value":{"text":"On the autoepistemic reconstruction of logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685123$782A182F-A6F5-4E23-9B51-5871DE2E6297","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27b7c958ff50f8245c5f7f2631d7f80c130c445d","datavalue":{"value":"0776.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685123$568A998A-BB66-4189-BE8D-ACC54174CDA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ac0b96328babd9ce4c392178a2c4635f08b77dc","datavalue":{"value":"10.1007/BF03037155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685123$5E195709-ADE2-46A9-BF13-C8FF893660F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$50177511-65D9-46F1-BE0E-A658DB265E4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$9D0D2D89-B21C-4EA0-84D0-7662DA5A74E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45eae072dc2fde41ae8741e47d8a8d06eb2b2f63","datavalue":{"value":{"time":"+1993-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685123$CAEE6FA2-704A-44B0-85C7-BEA76D1EC9CB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4335d930d1edad5d7b71241fa0eab0bf852e0a97","datavalue":{"value":"We propose a new semantics of logic programs that can reflect some of the syntactical behaviours of the programs. The central notion of the semantics is the concept of a neutral clause \\(p\\leftarrow A\\) which does not affect the behaviour of \\(p\\) in a program. The logic that underlies the semantics is based on an intensional extension of Levesque's autoepistemic predicate logic. It differs from existing autoepistemic logics in that it is quantificational and constructive. We will also compare and contrast our semantics with some well-known semantics. We will show how to capture the undefined value of a logic program without resorting to a three-valued nonmonotonic formalism. This is achieved by translating an incoherent AE logic program to a program with multiple AE extensions whose intersection can then be used to characterize the undefined value of a logic program.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685123$AF8EC07C-F395-48B6-9B9B-E35DED643937","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685123$7B923345-AAE0-42B9-AF09-F99897D3D035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685123$3CF26430-AD7E-4898-B03F-201A23AA007C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6bbc3ffe3ec73d507826ab36639e2746afa9aa0","datavalue":{"value":"417073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685123$B52A6300-089B-473F-86A9-68FF216ABB9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q685123$6078022F-22FA-4183-B6DA-66E9CAEF31D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q685123$7C36BC54-DE49-48AD-81A4-FE9102021B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"903e33f82dfc22825b55216318496ae384d85c47","datavalue":{"value":"closed world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q685123$AD2B4597-19B1-423D-BAF4-539489696017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d29b6062151f8ed0827617e27aa91e93995f518","datavalue":{"value":"completion semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q685123$5FA67EF6-D565-47DC-A73F-E2E201F92A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q685123$BC216A4C-00D0-4C3C-ACD0-3569931D92F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f23b08d2781e3f127d59df2af253bb6089bfce7a","datavalue":{"value":"stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q685123$EC9C99AE-D8C1-4368-9EB7-3A475BA034DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3db3413e979f7fda1c1ba794122e2c671d8b774","datavalue":{"value":"well- founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q685123$55C12125-CCAA-4997-B9C4-6C7FF5326243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a23fe9758fdefa4e1e65803baa1286a607fd9332","datavalue":{"value":"three-valued autoepistemic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q685123$D39A6CA4-A81A-4F6A-93FB-AFDE572C34F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb24ea33fdcffcfe2cfe1ca7550c5fcf59eb01da","datavalue":{"value":"semantics of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q685123$9C8C89DC-2508-4F2D-B14F-375DBB4A886A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a78cea2d37947aebc5e291d69cf9afe2a26849","datavalue":{"value":"autoepistemic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685123$FD3367B8-6C91-4DEF-A17B-01C546740814","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":"Q685123$3BAD6698-27C8-45F2-8445-4B9A1306BB0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$FC555A66-D63D-4381-9552-7E291FD7DE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$B720C5C9-CCE1-40B6-B6F0-3360490B8514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf288ca73de3073eef5b55aa406ef3c0ed303f7","datavalue":{"value":{"entity-type":"item","numeric-id":687156,"id":"Q687156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$0723B96B-4D34-4AAB-A161-3BF3AEB6AB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$4FC0D412-C180-46FC-9D25-5857F127D9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce0e7b92e2dd7189877c09d710424762dfb9960","datavalue":{"value":{"entity-type":"item","numeric-id":3030269,"id":"Q3030269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$01A06B5A-7E14-4FEA-A423-745C29F9A11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f2fc14c359f355dfa7a3ec9fd3233bab69940e","datavalue":{"value":{"entity-type":"item","numeric-id":5750425,"id":"Q5750425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$8B9B0B86-A91A-4BCB-B3C9-EDBA4C42F879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625ffcd9a46147e7ce4705d224fd49c0f194c828","datavalue":{"value":{"entity-type":"item","numeric-id":3486550,"id":"Q3486550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$E04639C3-047B-4297-BA7C-2860B6547573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa23f0b30edba756d393a9559888988a457a1102","datavalue":{"value":{"entity-type":"item","numeric-id":3826525,"id":"Q3826525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$A2DCDCE8-DC6E-492C-8705-A5088489B946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$90D5A6BC-1E78-42AF-9530-44D36E6AA26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7763f870fd431b4577b4a07d2469375f7ba20f0c","datavalue":{"value":{"entity-type":"item","numeric-id":3972030,"id":"Q3972030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$F0E5FA82-AA54-47E5-A0C7-3C6D39C400C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$0FBFDA5C-7C52-4C70-A4C3-479FAA08FE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa47517db715d9f88c5fc302f1468b7be15464a9","datavalue":{"value":{"entity-type":"item","numeric-id":1182168,"id":"Q1182168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$06B4C975-CBA0-4D8A-9086-6EE121EE395E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$A69DDEA8-09DF-4B28-AF9B-90CF711CF74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685123$6E3ED01D-500E-4D5A-AFD8-75140EA6BF10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"321a3a9ba6c603468eae5ac44c1cf11d19190697","datavalue":{"value":"https://doi.org/10.1007/bf03037155","type":"string"},"datatype":"url"},"type":"statement","id":"Q685123$85631209-2D2F-4C81-B928-216A4BB34D31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc32fdc16ca77e1266f09ace5fb488fcc126f029","datavalue":{"value":"W2025884596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685123$48BDE0E7-EEA3-4CED-A110-5D11D72AE0C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516b02d7e2d89f0abdeaca65dbbc024b0a01a433","datavalue":{"value":{"entity-type":"item","numeric-id":4013778,"id":"Q4013778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7636149560ab8c161f7abc462b1e98caa47208","datavalue":{"value":{"amount":"+0.8168039917945862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685123$E4E2F789-38B5-4001-89B7-DD34286BD320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7f22852604e0ae2d8adddd43563b80145a7ccb","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907dd151ce4bf95844c9b9e18a2db1b892f61ab0","datavalue":{"value":{"amount":"+0.8166735768318176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685123$BADB900E-A9C4-4895-8956-2E502609A412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f256e04ba9e9285a2434b0d8e8f1bb0b2ba44bcb","datavalue":{"value":{"entity-type":"item","numeric-id":1327306,"id":"Q1327306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2053a0122e18963fcd5ee6cccbc507a731a10d5f","datavalue":{"value":{"amount":"+0.8153814673423767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685123$66C8D066-0372-4A71-8C9F-33CDEC316FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c919db2e51eab63c6d40e7e5ff5367851b87332","datavalue":{"value":{"entity-type":"item","numeric-id":1344887,"id":"Q1344887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0bce5d9768b2d08783e5daf2e887fcf5fe5443f","datavalue":{"value":{"amount":"+0.8142663240432739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685123$1C5C2EE9-1ACF-470C-B794-D009CD0CD36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7d7bd712ec6910092eaa927fb8d265b0b43e92","datavalue":{"value":{"entity-type":"item","numeric-id":4327843,"id":"Q4327843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e281e799e647b1b87c160e53191bb2bb93a54cb8","datavalue":{"value":{"amount":"+0.8021251559257507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685123$57BF3108-1A56-4C6D-9C9A-3FC2F10AD7E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685123","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685123"}}}}}