{"entities":{"Q454145":{"pageid":455912,"ns":120,"title":"Item:Q454145","lastrevid":61957128,"modified":"2026-04-11T02:48:26Z","type":"item","id":"Q454145","labels":{"en":{"language":"en","value":"Focused most probable world computations in probabilistic logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6088735"}},"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":"Q454145$7BFD0310-DA7D-42DB-A3EC-2C946DB595AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41dffdb310b08cce81a998bac7e6216229dc933b","datavalue":{"value":{"text":"Focused most probable world computations in probabilistic logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q454145$9C6AFCA3-DC9A-4606-AE3B-842F3046ABB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10498c3f49deb7f524dbb8f0d75ed59edbd59319","datavalue":{"value":"1260.68393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454145$FDCC96D5-D87C-4A68-ABB5-B247F3DC4E49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b40459fa01cb09ed08c6b3d034c4e8eb9dfd90dc","datavalue":{"value":{"entity-type":"item","numeric-id":287762,"id":"Q287762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$0A6F17DB-4861-4DAE-AB45-7BD1528A7EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a54087b4698b3dd9b5af10af872a78b1768c45e7","datavalue":{"value":{"entity-type":"item","numeric-id":454143,"id":"Q454143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$AE520F73-DAC6-4F2D-9ABB-FF599715CC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aabc40ecc0e4375ac06c5b8d5af5a93b431e9ff","datavalue":{"value":{"entity-type":"item","numeric-id":454144,"id":"Q454144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$4E6B605F-1328-4685-94B1-BD31B1A4C5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01f6d09ef5c7f87b811b2b5e76f5d6438fbf3c63","datavalue":{"value":{"entity-type":"item","numeric-id":197490,"id":"Q197490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$9FCBF7EA-B607-4CF0-85CB-363D74F77450","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$B282D357-CB78-4A10-8B62-32483B5D4C84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce482458de9f4ace900fbb372ae38b12a79d36f","datavalue":{"value":{"time":"+2012-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q454145$54B9208F-E2B7-40AC-8894-CE01953974C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"940a5ffdb062327863af987439506b849da2234c","datavalue":{"value":"The paper develops an approach based on action probabilistic logic programs. The first two sections give an introduction to the topic and present basic notions that are used further in the article. Section 3 is dedicated to ``a new linear program formulation for worlds of interest''. Starting from a basic ap-program a set of linear constraints is associated; the constraints are defined over the set of all possible worlds of interest. An algorithm to refine the constraints is presented and analyzed in terms of the running time. In the second part of this section, refinement algorithms based on the Monte Carlo technique are analyzed. The experimental results from Section 4 show that the system proposed performs well. Related work and conclusions finish the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q454145$62F61B4C-BAF5-4867-AD8F-1DC38A34E537","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d64e34bcf1a665006f84201545eb5512e6fe14bc","datavalue":{"value":{"entity-type":"item","numeric-id":592414,"id":"Q592414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$0C639C66-6C24-4C31-8C2F-83B9282318D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454145$70D73872-9A4C-460A-92AD-7C015523AFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454145$C731571C-5122-4013-815D-E6E333A68F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454145$0F717DF8-831C-416B-99E0-C30065B25A4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3aa2a52afb19f2e4c5d5bf9d487c8bc8ee7e7f44","datavalue":{"value":"6088735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454145$28BE1334-262D-4EE4-8638-92F610405EF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c9176a2ac0fe63c03e997bff5d80479641b28f5","datavalue":{"value":"probabilistic logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q454145$91A4012E-81BF-4C6A-985B-0027129161CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9335d12c465d60267eaf5aae3e8dbc9536b58eeb","datavalue":{"value":"imprecise probabilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q454145$B4637135-7698-468B-95FD-85A6866CDCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daeae90f679950024a0c9c370cc90500c88c587c","datavalue":{"value":"most probable worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q454145$A644923A-6AA2-4D3F-B2A4-753858D951E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c833afc8e292627f709807200fd7f5819eecaeaf","datavalue":{"value":"Monte Carlo sampling","type":"string"},"datatype":"string"},"type":"statement","id":"Q454145$4AC4E2AC-76A8-440C-8935-5A13633193B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"061c6b0b81ac5f9d194e65612d9e8e64089aec32","datavalue":{"value":{"entity-type":"item","numeric-id":17241,"id":"Q17241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$9C83E033-8666-48ED-9B9C-B89EE788DBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$43F91EAE-5F90-4F3E-8329-620DCB57A0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d0caef1a8362d19ef6a75e71f6c03bfd68bec233","datavalue":{"value":{"entity-type":"item","numeric-id":21421,"id":"Q21421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$6BECB937-3ED4-4F1B-A615-15DF748176DD","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":"Q454145$A4E1A4ED-E3D3-4AFE-8200-A0B7C3F23F5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb6a371a94bd7fcc25a4f84978f2fe152e92a873","datavalue":{"value":"https://doi.org/10.1007/s10472-012-9285-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q454145$8DBB5D45-6C87-4305-9E41-960617AE5940","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8dd72cea27ac0226befee3bde6ede5860bd1f370","datavalue":{"value":"W2074797512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454145$E31507C5-E7A8-49A0-8A0E-1320E0F118D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83c5e9c32f3e68ed6dfef28e87acd60a1de1725","datavalue":{"value":{"entity-type":"item","numeric-id":4955340,"id":"Q4955340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$99AA8427-5E02-4929-AFA8-805523B7AF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f912c95da487c98ee75d14e8e948ed40fa4eae","datavalue":{"value":{"entity-type":"item","numeric-id":4949971,"id":"Q4949971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$0569A78E-057F-47A8-B55A-A6FF72F028DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7882f723329e0b0cf4ec7f42985312c6227dc2","datavalue":{"value":{"entity-type":"item","numeric-id":3524920,"id":"Q3524920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$05FCBAAA-FC85-4266-9DC4-CD484DC5D3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e4879e483d0af2988a8550584fa2479a372c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1285674,"id":"Q1285674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$F87B8927-2514-4ACC-B8F8-3F48D78C17DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$036CA617-134C-484F-BBAA-D89795F54034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0863fe5c701d88620a62ed281e0b45e7e5df58","datavalue":{"value":{"entity-type":"item","numeric-id":798650,"id":"Q798650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$3D9AC2A6-0EF0-49B7-934D-E444444C2BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c089c4c1bd7133d306454b18bbe2c9f00e5e0636","datavalue":{"value":{"entity-type":"item","numeric-id":757340,"id":"Q757340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$DB2E5C42-35B9-4337-97CB-D746F96BD1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd144a71b7a7373dae527a03a211972a57a8ef2","datavalue":{"value":{"entity-type":"item","numeric-id":4025903,"id":"Q4025903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$FAEE4230-13F0-44CE-BE24-DD1171B46815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639d17b3f4df542cf0116dded166f0afa0985e1b","datavalue":{"value":{"entity-type":"item","numeric-id":2426104,"id":"Q2426104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$B88015D3-CF1D-4607-A397-64F93D1343CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$05698687-7BBA-4BF1-8DD2-C086A6988E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c960819f14f6971d5de6dbe93751aba6a8181a","datavalue":{"value":{"entity-type":"item","numeric-id":814608,"id":"Q814608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$66F1BB6C-94EA-402A-B728-8B86826FDC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43de0ecc87ad8f8f3b2b59f791282f7b82462897","datavalue":{"value":{"entity-type":"item","numeric-id":3587573,"id":"Q3587573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$D5E2330A-C92D-4B31-BCFB-F43C155FD7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd003f64be981883faf85d9c7826906fa2affc94","datavalue":{"value":{"entity-type":"item","numeric-id":1311410,"id":"Q1311410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$3C948140-857B-400F-A283-A058844489AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833e32a8a1a7377530f0354a56d69875753a5464","datavalue":{"value":{"entity-type":"item","numeric-id":1207942,"id":"Q1207942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$1C5D97B8-1EFD-44A0-89D4-E61ED4D6C546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$7CB8DF0C-63BC-47E4-905C-BE9648BB2ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f5b57336e5f2bc922c7f31f958263e5ce7ad0c","datavalue":{"value":{"entity-type":"item","numeric-id":3750144,"id":"Q3750144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454145$868C25EB-7B13-442A-AFE0-F1402CC5A4D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19b9596b552aa2fc54919a6f9b4aa35bb3563ae4","datavalue":{"value":"10.1007/S10472-012-9285-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454145$3A9EF886-7C1B-48AE-A535-9AA9D1B0DB37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7d4537567d33adae9a9fa861cc76413a60b37e","datavalue":{"value":{"entity-type":"item","numeric-id":2426104,"id":"Q2426104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c7dbe60eeb8bef76329d6c3532d16c7cc71faa","datavalue":{"value":{"amount":"+0.8726577758789062","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":"Q454145$1BDF1CA2-F379-4F1C-A9EE-6915FC45FF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4831c40990c171a35167c991992d520abb3dc11a","datavalue":{"value":{"entity-type":"item","numeric-id":3549126,"id":"Q3549126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d743f98c3ae5e71cb2e7e372d161cbe74389dbe0","datavalue":{"value":{"amount":"+0.8173878788948059","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":"Q454145$490F3D57-341E-4BC6-908F-B57359C33CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6212bff7654a2d1dfefba63c6c76017e58a0b3a","datavalue":{"value":{"entity-type":"item","numeric-id":2883092,"id":"Q2883092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8620709a3e609d415f3804e1c1d4a922c9ac192b","datavalue":{"value":{"amount":"+0.8087181448936462","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":"Q454145$5CEBDC9C-7CEB-46C5-9691-8A55C05E58C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abbabf2b85b8857548e494007b551cd000ae0aca","datavalue":{"value":{"entity-type":"item","numeric-id":2946697,"id":"Q2946697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0404aca58fb33284486c3e68378d1498cc9ef827","datavalue":{"value":{"amount":"+0.7994834184646606","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":"Q454145$E8226314-5BDE-4DBA-9068-F062520A4248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5493946e66dfe9b61b675a6b2a812eed98190a07","datavalue":{"value":{"entity-type":"item","numeric-id":5313179,"id":"Q5313179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789f2f980256fac2e621a3e09563e1da3d9c89c4","datavalue":{"value":{"amount":"+0.7966320514678955","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":"Q454145$CC6CBEA7-C235-465D-836A-C12F06D03944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Focused most probable world computations in probabilistic logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Focused_most_probable_world_computations_in_probabilistic_logic_programs"}}}}}