{"entities":{"Q1202138":{"pageid":1212887,"ns":120,"title":"Item:Q1202138","lastrevid":69876720,"modified":"2026-04-13T10:56:24Z","type":"item","id":"Q1202138","labels":{"en":{"language":"en","value":"Logics in AI. European workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 108241"}},"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":"Q1202138$57C663CB-A65D-4897-BB87-65F8BFEE7BBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb89c5b37bc4c473bc4c28842376ba67bc7094e1","datavalue":{"value":{"text":"Logics in AI. European workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1202138$E23C8EBB-0811-4A44-A57A-26E8008544DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f06a17e49c68e8e1e5b6b4a1bbf3fda8527c791","datavalue":{"value":"0768.00012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202138$D320C18E-A2B8-4E84-BEB6-2757AD3C2EB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1202138$4E7EB9D5-0103-4CB1-B49B-13BB12CFAFE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1202138$538D2E1E-D280-43DF-9116-9D50936DBE06","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d6c5dc801decf74863d153d8996551951f91c82a","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Asher, Nicholas; Morreau, Michael}, Commonsense entailment: A modal theory of nonmonotonic reasoning, 1-30 [Zbl 0789.03022]  \\textit{Dunn, J. Michael}, Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators, 31-51 [Zbl 0814.03044]  \\textit{G\u00e4rdenfors, Peter}, Belief revision and nonmonotonic logic: Two sides of the same coin?, 52-54 [Zbl 0797.03019]  \\textit{Groenendijk, Jeroen; Stokhof, Martin}, Two theories of dynamic semantics, 55-64 [Zbl 0797.03023]  \\textit{Langholm, Tore}, What is a Horn clause in partial logic?, 65-77 [Zbl 0797.03028]  \\textit{Pereira, Fernando C. N.}, Semantic interpretation as higher-order deduction, 78-96 [Zbl 0797.03024]  \\textit{Pratt, Vaughan}, Action logic and pure induction, 97-120 [Zbl 0814.03024]  \\textit{Bol, Roland N.}, Loop checking and negation, 121-138 [Zbl 0797.68104]  \\textit{Buszkowski, Wojciech}, On generative capacity of the Lambek calculus, 139-152 [Zbl 0797.03027]  \\textit{Caferra, Ricardo; Zabel, Nicolas}, Extending resolution for model construction, 153-169 [Zbl 0797.03009]  \\textit{Davies, Nick}, A first order logic of truth, knowledge and belief, 170-179 [Zbl 0797.03020]  \\textit{Delahaye, J. P.; Thibau, V.}, The optimal model of a program with negation, 180-195 [Zbl 0789.68089]  \\textit{Doherty, Patrick}, NM3 -- a three-valued cumulative non-monotonic formalism, 196-211 [Zbl 0789.03024]  \\textit{Fra\u0148ov\u00e1, Marta}, Constructive matching -- a methodology for inductive theorem proving, 212-226 [Zbl 0789.68124]  \\textit{Freund, Michael; Lehmann, Daniel}, Deductive inference operations, 227-233 [Zbl 0790.03023]  \\textit{Frisch, Alan M.; Scherl, Richard B.}, A constraint logic approach to modal deduction, 234-250 [Zbl 0796.03013]  \\textit{Gardent, Claire}, Dynamic semantics and VP-ellipsis, 251-266 [Zbl 0797.03022]  \\textit{van der Hoek, Wiebe}, Systems for knowledge and beliefs, 267-281 [Zbl 0814.03014]  \\textit{Huang, Zhisheng; Kwast, Karen}, Awareness, negation and logical omniscience, 282-300 [Zbl 0797.03021]  \\textit{Jaspars, Jan}, Theoretical circumscription in partial modal logic, 301-316 [Zbl 0798.03027]  \\textit{Laenens, E.; Vermeir, D.}, A logical basis for object oriented programming, 317-332 [Zbl 0797.03026]  \\textit{Lakemeyer, Gerhard}, A computationally attractive first-order logic of belief, 333-347 [Zbl 0789.68128]  \\textit{Lei\u00df, Hans}, Polymorphic constructs in natural and programming languages, 348-365 [Zbl 0797.68132]  \\textit{Markov, Zdravko; Dichev, Christo}, The net-clause language -- a tool for data-driven inference, 366-385 [Zbl 0789.68127]  \\textit{Mathieu, Philippe; Delahaye, Jean-Paul}, The logical compilation of knowledge bases, 386-398 [Zbl 0789.68136]  \\textit{Meyer, J.-J. Ch.; van der Hoek, W.}, Non-monotonic reasoning by monotonic means, 399-411 [Zbl 0789.68129]  \\textit{Muskens, Reinhard}, Anaphora and the logic of change, 412-427 [Zbl 0789.68117]  \\textit{Niemel\u00e4, Ilkka}, Towards automatic autoepistemic reasoning, 428-443 [Zbl 0789.68130]  \\textit{Petermann, Uwe}, Towards a connection procedure with built in theories, 444-453 [Zbl 0796.03011]  \\textit{Rahat, Amir; Francez, Nissim; Shmueli, Oded}, On the equivalence of deferred substitution and immediate substitution semantics for logic programs, 454-471 [Zbl 0789.68020]  \\textit{Singh, Munindar P.; Asher, Nicholas M.}, Towards a formal theory of intentions, 472-486 [Zbl 0789.68131]  \\textit{Stachniak, Z.}, Note on effective constructibility of resolution proof systems, 487-498 [Zbl 0790.03011]  \\textit{Voorbraak, Frans}, The logic of objective knowledge and rational belief, 499-515 [Zbl 0789.68132]  \\textit{Vreeswijk, Gerard}, A complete logic for autoepistemic membership, 516-525 [Zbl 0789.03025]  \\textit{Weydert, Emil}, Doxastic preference logic. A new look at belief revision, 526-543 [Zbl 0790.03027]  \\textit{Witteveen, Cees}, Partial semantics for truth maintenance -- a compositional approach, 544-561 [Zbl 0789.68133]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202138$07D688C2-D751-4BAD-9BD4-CBDCC651119D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202138$41D7A68A-9B02-482E-8ED7-A85948615F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202138$F800DF49-53AF-4FFC-9FCD-7CE66D24CD59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a352697300d0334008af3128101aaf856dd6cf59","datavalue":{"value":"108241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202138$A88F80C2-B09D-4781-9F7D-C6E7D3AFF571","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf13683bfde04d4bb2e98bd8f77fb53fda725a67","datavalue":{"value":"Amsterdam (NL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202138$C2696634-5F00-47A7-B1EF-9600C9CC62D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc40b765d0220e9e6c7c6d9ce21119e67a16a04","datavalue":{"value":"Logics in AI","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202138$A48A75EF-E441-4E69-A35B-1948648D7FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30591c812ae25e73aafb745f3b7d13e1adf09074","datavalue":{"value":"AI","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202138$DA895CF6-CED5-41CF-B106-0153CE76CB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dfdf20881c0664c2e9123eac4615247d3703c1a","datavalue":{"value":"JELIA '90","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202138$184E2321-F799-4EA0-8BC3-4372529CD057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202138$E23189CE-B234-4EBF-A703-15FBAD7D8EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202138$8BDA4682-1178-423D-A5B9-F6406B3D488D","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":"Q1202138$0235B600-168F-4179-8D2F-3B2260D64BFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dc8d27544299e2caebd909da7fc7a27639d5401","datavalue":{"value":"https://doi.org/10.1007/bfb0018429","type":"string"},"datatype":"url"},"type":"statement","id":"Q1202138$4D83F481-DEFF-4AEF-AFED-324E2BDCD3D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de145c3948dd60ab930ad9aa7152ad3020ac8d44","datavalue":{"value":"W2491773005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202138$4FFFECE8-C639-436E-B952-6A7DA043277B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b687ca841ecea6e17ce21cc54d888a5e6606f39","datavalue":{"value":"10.1007/BFB0018429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202138$7E74E321-F4D9-4C81-9F9F-40AD397BFDDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6519838b389f808f3cd4690260f1ffb33a697e7","datavalue":{"value":{"entity-type":"item","numeric-id":1270495,"id":"Q1270495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484b18a14b96aeefe267df033a7b29ade102187c","datavalue":{"value":{"amount":"+0.9319576","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":"Q1202138$28F21CE7-F9D9-4660-BDDE-A39E5292DC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110fd5f66b018e0053a1b9a994594cb2dff3b45e","datavalue":{"value":{"entity-type":"item","numeric-id":1331634,"id":"Q1331634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da200f9dc616356455a2914d916115f41e02277","datavalue":{"value":{"amount":"+0.9245219","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":"Q1202138$6BB3C41E-5ADD-4B90-ABBD-AE3F66F4DB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152072682e4d2dcc3df121edd3a4a36fa1b170ab","datavalue":{"value":{"entity-type":"item","numeric-id":1589827,"id":"Q1589827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7eb0aa28b35418e88ce5b9302d540275fa43d99","datavalue":{"value":{"amount":"+0.9213012","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":"Q1202138$70FE00AB-7AB5-49F5-8086-48E21E388B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9cf4108cb7737cd9a3752bb1c6716a52948d78","datavalue":{"value":{"entity-type":"item","numeric-id":1923135,"id":"Q1923135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e094acb6d087a6000495bdb7e8fc2f35499a4351","datavalue":{"value":{"amount":"+0.9186989","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":"Q1202138$9FDD67BF-1B83-4201-9DB5-7182D43E8C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b623e0f8061866c9ae168aaef236a96531c627c","datavalue":{"value":{"entity-type":"item","numeric-id":1978034,"id":"Q1978034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3c9f9c20e8b6bdef5ce92d491289a6d8a73ee7d","datavalue":{"value":{"amount":"+0.9078392","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":"Q1202138$59F4BDEE-48FA-48C9-B02C-6E4598751284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aeaf1b4e0c13b04da43d76202eb782ff0036c26","datavalue":{"value":{"entity-type":"item","numeric-id":1763068,"id":"Q1763068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c647b0961904495762ad3969f97627dfbca04f","datavalue":{"value":{"amount":"+0.90521777","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":"Q1202138$EC0AD86D-8389-45A0-A4EF-4B2ACD62C96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c4694677cb38e0d72abdf70da1a738fa95a879","datavalue":{"value":{"entity-type":"item","numeric-id":947846,"id":"Q947846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f222307deb2ce2ca33d179d387c77930d087dd5","datavalue":{"value":{"amount":"+0.9009985","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":"Q1202138$18D36A36-BD97-47B4-B3F4-71F70AA102BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d0c731e5901c20b3c1982437f5dfb55eac1f37","datavalue":{"value":{"entity-type":"item","numeric-id":2638153,"id":"Q2638153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067d527ded504fca800734654cb6023f933b4fe1","datavalue":{"value":{"amount":"+0.90078264","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":"Q1202138$7BF9BA26-228D-4921-8D61-2B8219AB2D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9563d309bab76a459d069b4465bb37e8b8f830","datavalue":{"value":{"entity-type":"item","numeric-id":947829,"id":"Q947829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94783774b43ef7c37c1dbca887e85f63c23d266f","datavalue":{"value":{"amount":"+0.8951436","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":"Q1202138$FDACFE63-3338-4049-8D9A-9CA69E482B3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics in AI. European workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_in_AI._European_workshop_JELIA_%2790,_Amsterdam,_the_Netherlands,_September_10-14,_1990._Proceedings"}}}}}