{"entities":{"Q1115207":{"pageid":1125956,"ns":120,"title":"Item:Q1115207","lastrevid":49242604,"modified":"2026-01-06T20:20:57Z","type":"item","id":"Q1115207","labels":{"en":{"language":"en","value":"On the relationship between circumscription and negation as failure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4085061"}},"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":"Q1115207$17C6A18F-60F9-440C-803E-35837B8C5FDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e028f8009705f8bece869d91489b7212192ceba3","datavalue":{"value":{"text":"On the relationship between circumscription and negation as failure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115207$EF4A1F89-0413-4B9A-95A6-216CF3402668","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f23b9c03ec9c905bf9f480b14a3f84d5218d57ec","datavalue":{"value":"0663.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115207$A51FDCDB-DCD0-4CF0-BA3B-A7A8F085D00B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a46d3a08ee2acec8663c4cf287aed123ff3479dd","datavalue":{"value":"10.1016/0004-3702(89)90068-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115207$9D364E77-011B-4AE5-BCF5-3B0F8BC081A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a55e7992ba2325dc2605c0f3257a8c929f491b6","datavalue":{"value":{"entity-type":"item","numeric-id":543581,"id":"Q543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$38B098AC-793F-4378-9A38-44FF942EC49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1de9ab6ca7795687018ff9b573905e2cb8e2ebe2","datavalue":{"value":{"entity-type":"item","numeric-id":1097726,"id":"Q1097726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$9206E4CC-8A95-46D0-A793-13D0ADD9FFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0063046879a465ee73c49bedfbe8edc6b62b6d","datavalue":{"value":{"entity-type":"item","numeric-id":1167444,"id":"Q1167444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$9F4107A0-F5AF-43C2-B0A2-BE12C2C4E419","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$6BCC430C-8BAF-42F6-AB4F-772036053036","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1115207$0704CE2B-710F-4DBE-8AF5-1A970205155C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e022ab0a37609b1e52404f93bbf5f4d13573eafa","datavalue":{"value":"The aim of this paper is to investigate two powerful methods of handling negative information in logic-based knowledge representation systems: the logical minimization in the form of circumscription and the negation as failure rule, formalized by various closures (or completions) of original theories. We suggest a new, more powerful form of the negation as failure rule and describe an important class of theories for which this form of negation as failure is equivalent to particular forms of circumscription. These results establish a close relationship between the two important formalizations of nonmonotonic reasoning and provide a syntactic characterization of the corresponding circumscriptive theories. This allows us to apply existing methods of deduction using various negation as failure rules to answering queries in a broad class of circumscriptive theories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115207$B84FE711-9552-4F30-9F35-A659EF2EECFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115207$22CD6EBF-5CB6-4505-81C8-8B1CEFF9CE86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f2451f830fb596c0dc51d1bf71de23809235757","datavalue":{"value":"4085061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115207$9FD6CF80-1C3A-4E45-8880-87C220CC98F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf83ae4f467b2bdaa4f6d62518a4d248e92d1aca","datavalue":{"value":"negative information","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115207$B7B8DDA0-A60B-46BD-B085-A7559C263F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f5987b4ac01084dd7024183a7395ab5a0d1d66","datavalue":{"value":"logic-based knowledge representation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115207$3094BE29-352B-4BD2-9A4B-B681BECE9168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115207$E45AC062-9F17-4E19-8BD5-73C38CB73C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115207$7FFDF519-2BC9-449A-A2CB-FFD763B1D7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115207$1F2F4B4E-7AD8-4374-BC5C-7029554207BE","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":"Q1115207$2C108822-A237-4923-81B7-AADFF1788511","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0abf5b8a19fc97b7e7a66cc939ac1784db6c154e","datavalue":{"value":"https://doi.org/10.1016/0004-3702(89)90068-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1115207$A60CB59D-6E1F-4D74-B04A-5A2353064F2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aba468bc6901992c7736a7d5151e813c348d0230","datavalue":{"value":"W2008294142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115207$0F14ECAA-6BA4-4AC2-9A00-D66ED560A722","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e987535b4cf569317f73e58b0e19113981066163","datavalue":{"value":{"entity-type":"item","numeric-id":1060864,"id":"Q1060864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$0B481D62-DA63-4F90-9133-A6F0F7EE7F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1e825f83b50e8e1130715dfc474cbbe8c43bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3706528,"id":"Q3706528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$7C5B3A08-619D-4768-BB79-D5C713D77496","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":"Q1115207$A1CC255D-F2C2-4C8C-BF04-0955C92F0A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50126f2cd1ceeabe1ce7f74882fefece9c0819c1","datavalue":{"value":{"entity-type":"item","numeric-id":1097727,"id":"Q1097727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$1579206F-BCC3-4A17-ACE0-8399E89EE587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e7a1590207902f6cb021ac8a30f369b885a498","datavalue":{"value":{"entity-type":"item","numeric-id":1117211,"id":"Q1117211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$446F7E85-A148-4D09-B4CE-8A50B3B2473F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ffc6b2c1d0c46bcf3a582f7c34bb6301f43675","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$02DE01A4-1CB5-4BF3-BFFB-2113D79FEE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67e45ddc3d4be797ff6ef9e0400966d52256103","datavalue":{"value":{"entity-type":"item","numeric-id":1079022,"id":"Q1079022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$691E59DE-5616-4E1A-81B5-6417D8FBCCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$B73089CD-BBD1-4C35-8DF9-840E1D163BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$41092911-E3CC-43D0-B2DB-9BD0381AD9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94855211e231eaafec4a6b9936fa50c3f6c921ce","datavalue":{"value":{"entity-type":"item","numeric-id":3933791,"id":"Q3933791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$19F3F01C-66AA-4F15-8116-A86922E8684F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$B2F40881-DA3B-4A9C-98EB-026DA63255A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1aed9af0b115c501efcd1e09a55330fdc38c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3939270,"id":"Q3939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$C129D9C8-9E07-4237-AF05-0E70E061D77F","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":"Q1115207$DA4A3FE1-9A11-46E9-B6BA-A90A6F4CA7C7","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":"Q1115207$C5A3B969-9289-4A19-939F-9E8CDC31D700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac3a55eef82665d7ad7eb4bc7b9c6ea93d04ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1115208,"id":"Q1115208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$68610B0C-7EF6-444F-9502-12CE44354EA7","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":"Q1115207$42E02C58-047D-402E-B9D8-9B10501C6C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c13b845673f1ad4ff3ce278727ee071a2521b88","datavalue":{"value":{"entity-type":"item","numeric-id":3694733,"id":"Q3694733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$A19B0595-914B-4310-8D58-55C950B006B9","rank":"normal"},{"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":"Q1115207$33ECEE5D-AF60-4AE4-AB8E-45F588C35B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59db4828c7fab26ad356c64453834c24c3294ede","datavalue":{"value":{"entity-type":"item","numeric-id":3348436,"id":"Q3348436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$D0DDB011-CA45-4846-AE5C-B0ED6381D2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb0d118b33aef90aecd3a8ab820b8ba2782296b","datavalue":{"value":{"entity-type":"item","numeric-id":1819951,"id":"Q1819951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115207$8B28E983-F68D-4832-8E7A-D4F776DC3AD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8d845ffd3afc75d28008e681b45bb8943c9118","datavalue":{"value":{"entity-type":"item","numeric-id":3740275,"id":"Q3740275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b83f8e098ab55c4347e7d0f7ee87915327a1b2","datavalue":{"value":{"amount":"+0.8249780535697937","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":"Q1115207$D1F29F3A-13D0-4403-8039-135E64184735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3691cf8a59b7ceb1acd16b3e9217886b8d730749","datavalue":{"value":{"entity-type":"item","numeric-id":1115208,"id":"Q1115208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba1acb1798350529e86fcf5256a7514f8a91c6f","datavalue":{"value":{"amount":"+0.8131746053695679","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":"Q1115207$8289191F-04A1-4611-BE6A-2BA89FAD3EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc93e7b7660981143c59216cee67de761934d9a1","datavalue":{"value":{"entity-type":"item","numeric-id":1079022,"id":"Q1079022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb04008fc6b08ca52c2bba226661e3b29a9133d","datavalue":{"value":{"amount":"+0.8060173988342285","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":"Q1115207$B34D436C-8598-4C55-AC3B-387BEBA65754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d3d2200db2702f9198942578d60e27e414b35ef","datavalue":{"value":{"entity-type":"item","numeric-id":3694733,"id":"Q3694733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c003dca74241f24bc2e263524d43c6966203701","datavalue":{"value":{"amount":"+0.8051269054412842","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":"Q1115207$9B666596-3123-4979-A370-5378C363E167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccaf7d5b4da7f31fc4678a7003286fac725c6189","datavalue":{"value":{"entity-type":"item","numeric-id":4275263,"id":"Q4275263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5fa25bea01822def33a476fe7d25b71d03196b0","datavalue":{"value":{"amount":"+0.8047870397567749","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":"Q1115207$81A1CA49-E340-4E59-A422-BA5EF254E8C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1115207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1115207"}}}}}