{"entities":{"Q2751371":{"pageid":2762110,"ns":120,"title":"Item:Q2751371","lastrevid":41969900,"modified":"2025-05-19T22:07:54Z","type":"item","id":"Q2751371","labels":{"en":{"language":"en","value":"Nonmonotonic reasoning: Towards efficient calculi and implementations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1664658"}},"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":"Q2751371$857B6927-E66E-47C9-9A77-69EB8654089E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0bba638f24291f26420f976d36241c66af5d61f","datavalue":{"value":"0991.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751371$05045563-E34D-4D02-A9B4-7ABFDC9597DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6e4646ecbebe7cc2a702f0e438111a78808a9ae","datavalue":{"value":{"entity-type":"item","numeric-id":186032,"id":"Q186032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751371$D19A43EB-DD1A-4013-A868-9D6F612CC11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41eb43f669c6e9bd047f95552906672fa500745e","datavalue":{"value":{"entity-type":"item","numeric-id":1322771,"id":"Q1322771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751371$6293EF48-7789-4EC8-89E6-982AC9467226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751371$B43FD491-C3A6-4FDC-9D0B-6B50F84CF83A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04ef60e6a08d63a03521c7b80b58e0a998b63b55","datavalue":{"value":{"time":"+2002-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2751371$3125BA7E-4C43-4F34-B286-0B826A7DD914","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751371$5A592EB4-C78A-4B6E-8BE8-5B08E00D798D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751371$79CA18B9-2768-4F96-8D52-F34498AEEEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751371$E3266D97-1D96-47C2-849D-8C7DAD8626B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751371$DF47AD90-F53C-43E3-96A4-B2FC85987D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751371$FEF6D174-3C09-4692-ACE6-24E729DB3722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751371$E90713EE-1761-42E8-B906-A99583AC1A80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f74e243cd56109a88826c02099253245a5509062","datavalue":{"value":"1664658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751371$930B5844-D36D-47CE-8EA2-F81A9D4966D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751371$2A3E6B56-BF3A-4A1E-B353-043E61719FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"999d35f359100f167c13eb8cfefaca94fb3bf9c2","datavalue":{"value":"nonmonotonic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751371$FDCBCD34-76B3-46B2-A0FE-307B750BD60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751371$D3A49593-FA16-4CDE-B265-E021059B8CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751371$CE767502-7257-4B74-B1A3-1930534C3B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751371$2A84B6C5-391E-4AA8-A289-0BA8800C0FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751371$97ED44FF-D2CE-4E22-A3B1-7DAC716B920B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2edbf8c4089874952b6e54bb13b1122cff8389d4","datavalue":{"value":"rational closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751371$ABC639F2-E380-4930-9D75-6375D65FB845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751371$5A705558-0FAB-4EBA-8B6A-DA1F40E010D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751371$B7CFA611-77F6-46A8-8399-D20068323D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751371$2E5DD39B-37F0-40FA-9A00-1FD855C5B4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751371$FC0F3F74-55FD-4F6B-B135-853C53E4A3DC","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":"Q2751371$DEE02765-FAA4-4A0C-8B7B-280B64B1CB60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676146e2ae2837b6be73c686bb147b36e5846467","datavalue":{"value":{"entity-type":"item","numeric-id":3783634,"id":"Q3783634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6671bdbd6dfb9bb6dd915cc6ce5c4e64eb0644","datavalue":{"value":{"amount":"+0.9587722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751371$15C5909B-08F2-4759-96DC-641FB96DCF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f873a41b1a92a0fd7b18cd829f2af40d3dd22938","datavalue":{"value":{"entity-type":"item","numeric-id":4282552,"id":"Q4282552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1f073f1395c7f8158698c5a97658cd194e0469","datavalue":{"value":{"amount":"+0.936314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751371$588955A1-C53D-4B19-92C6-A02CE48DCF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"446b9c4f7ea39653a50456b161b559b5b248ef5f","datavalue":{"value":{"entity-type":"item","numeric-id":4028798,"id":"Q4028798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9905a2afbf00c59338ad35f0e5ac069dbfef57","datavalue":{"value":{"amount":"+0.9361347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751371$F7FDD012-AB49-485A-9537-6D0C00EE67A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7746fe011c1632000a3e83a710ea418e84bf25d1","datavalue":{"value":{"entity-type":"item","numeric-id":1267768,"id":"Q1267768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f3dd7d80cdadab93c4474338e60680072995e0","datavalue":{"value":{"amount":"+0.93609357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751371$72BC4F6F-F03F-4A30-BDF0-D60BBD6CC086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab689ea1e47c4d344814c361f3c816fdce522eb","datavalue":{"value":{"entity-type":"item","numeric-id":4895425,"id":"Q4895425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2ca2e0646f46ce8b1ce73b562c45cbd72b8fdf","datavalue":{"value":{"amount":"+0.9237918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751371$C8C47DC2-6AD5-435F-830D-51E41395B20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e085174f8e458d82952d31e630084ca37c24c7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3839542,"id":"Q3839542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daac0248ea1af5b561c7f712de9204d7a6941372","datavalue":{"value":{"amount":"+0.92360425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751371$4730B973-4F3B-407C-BBE8-395137BB73C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84837260f6ac8ab76ba8ff04face93b6fe0c9f63","datavalue":{"value":{"entity-type":"item","numeric-id":1099647,"id":"Q1099647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e9c19bf03843627b5605811926b3bbebf22c95","datavalue":{"value":{"amount":"+0.92216146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751371$233B87A8-AD79-45B0-B507-B91133AD9D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3340193503dba4cd6dbaa37beffb44fb5737927","datavalue":{"value":{"entity-type":"item","numeric-id":4275259,"id":"Q4275259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"597cd2bb572e4e16b6f2288a0491bb2ef0da4664","datavalue":{"value":{"amount":"+0.91863537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751371$F8F5964A-64FE-46D9-9D16-81EAD66AFFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebf3fc383a639124916d03743984693589140c60","datavalue":{"value":{"entity-type":"item","numeric-id":4333375,"id":"Q4333375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f24ae49a231fc7b61dd57b8fc883614f66647e","datavalue":{"value":{"amount":"+0.91674036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751371$6EF00F0F-75AB-41D3-A3BA-BBE961608598","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca2a880ec984512dae17c342ac3bb5cd2cdc4db7","datavalue":{"value":{"text":"Nonmonotonic reasoning: Towards efficient calculi and implementations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2751371$057FF852-73FC-49DF-AB05-44248EDF0228","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e773eefc41467e21d311d0253c2da1183e9999df","datavalue":{"value":"The main nonmonotonic logics (the basis of most nonmonotonic reasoning systems that are in use today): default logic, circumscription and autoepistemic logic are considered. The abstract approach of Kraus, Lehmann and Magidor and universal methods for computing in nonmonotonic logics are investigated. This is done with a special eye on the underlying complexity and it is shown how this can lead to automated theorem proving in such logics. Techniques of efficient inference, originated from automated reasoning in the first-order predicate calculus, are applied for disjunctive logic programming with programs with variables but only limited use of negation. Nonmonotonic semantics of logic programs with negation and disjunction are introduced. Polynomial space implementations of D-WFS and D-STABLE are suggested. Several web-pages about nonmonotonic aspects of logic programming are recommended.NEWLINENEWLINEFor the entire collection see [Zbl 0964.00020].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751371$62D71D58-4E6B-4548-94FD-0E149D010945","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2751371","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2751371"}}}}}