{"entities":{"Q1270495":{"pageid":1281245,"ns":120,"title":"Item:Q1270495","lastrevid":68344167,"modified":"2026-04-12T23:04:50Z","type":"item","id":"Q1270495","labels":{"en":{"language":"en","value":"Logics in artificial intelligence. European workshop, JELIA '98. Dagstuhl, Germany, October 12--15, 1998. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1214277"}},"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":"Q1270495$B6EF9BF5-4F0A-4537-A2D2-CF5A4274CE16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f84e6d68826d05962751ca91907cd2f259c46949","datavalue":{"value":{"text":"Logics in artificial intelligence. European workshop, JELIA '98. Dagstuhl, Germany, October 12--15, 1998. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1270495$5048A1BF-E14B-419C-8440-1F69D0C6E60A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64d1aad69e21f684bc8073d1dc4ac63ba8dc0918","datavalue":{"value":"0898.00025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270495$A475EEA3-B6C5-4267-A514-97335E5513B5","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":"Q1270495$2CD53E85-893A-4633-B318-6FE1C542801A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90426ea62347459d821a0e1637190e2bbd62c47a","datavalue":{"value":{"time":"+1998-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1270495$6D722023-DC33-4252-8B22-B2D7C7B711BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98fb33473d34c2c414684191cf10f4e460c87ea2","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding workshop (1994) has been announced (see Zbl 0849.00036).  Indexed articles:  \\textit{Denecker, Marc}, The well-founded semantics is the principle of inductive definition, 1-16 [Zbl 0928.03033]  \\textit{Dell'Acqua, Pierangelo; Sadri, Fariba; Toni, Francesca}, Combining introspection and communication with rationality and reactivity in agents, 17-32 [Zbl 0928.03032]  \\textit{Lu, Wenjin; Furbach, Ulrich}, Disjunctive logic program = Horn program + control program, 33-46 [Zbl 0939.68017]  \\textit{Osorio, Mauricio}, Semantics of partial-order programs, 47-61 [Zbl 0946.68090]  \\textit{van der Hoek, Wiebe; Jaspars, Jan; Thijsse, Elias}, Persistence and minimality in epistemic logic, 62-76 [Zbl 0929.03027]  \\textit{van der Torre, Leendert W. N.; Tan, Yao-Hua}, Prohairetic deontic logic (PDL), 77-91 [Zbl 0932.03020]  \\textit{van der Torre, Leendert W. N.}, Phased labeled logics of conditional goals, 92-106 [Zbl 0945.03033]  \\textit{Bonacina, Maria Paola}, Analysis of distributed-search contraction-based strategies, 107-121 [Zbl 0936.03013]  \\textit{Bry, Fran\u00e7ois; Torge, Sunna}, A deduction method complete for refutation and finite satisfiability, 122-138 [Zbl 0928.03031]  \\textit{Fuchs, Dirk}, Requirement-based cooperative theorem proving, 139-153 [Zbl 0928.03008]  \\textit{Leach, Sonia M.; Lu, James J.; Murray, Neil V.; Rosenthal, Erik}, \\(\\mho\\)-resolution: An inference rule for regular multiple-valued logics, 154-168 [Zbl 0927.03022]  \\textit{Mantel, Heiko; Kreitz, Christoph}, A matrix characterization for \\(\\mathcal{MELL}\\), 169-183 [Zbl 0928.03009]  \\textit{Monz, Christof; de Rijke, Maarten}, A resolution calculus for dynamic semantics, 184-198 [Zbl 0928.03010]  \\textit{Pichler, Reinhard}, Algorithms on atomic representations of Herbrand models, 199-215 [Zbl 0929.03021]  \\textit{Janhunen, Tomi}, On the intertranslatability of autoepistemic, default and priority logics, and parallel circumscription, 216-232 [Zbl 0928.03027]  \\textit{Linke, Thomas; Schaub, Torsten}, An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem, 233-247 [Zbl 0928.03028]  \\textit{Dawson, Jeremy E.; Gor\u00e9, Rajeev}, A mechanised proof system for relation algebra using display logic, 264-278 [Zbl 0928.03007]  \\textit{Demri, St\u00e9phane; Konikowska, Beata}, Relative similarity logics are decidable: Reduction to \\(\\text{FO}^2\\) with equality, 279-293 [Zbl 0935.03018]  \\textit{Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola}, A conditional logic for belief revision, 294-308 [Zbl 0928.03015]  \\textit{de Guzm\u00e1n, Inman P.; Ojeda-Aciego, Manuel; Valverde, August\u00edn}, Implicates and reduction techniques for temporal logics, 309-323 [Zbl 0927.03034]  \\textit{Koriche, Fr\u00e9d\u00e9ric}, A logic for anytime deduction and anytime compilation, 324-341 [Zbl 0928.03034]  \\textit{Kerber, Manfred}, On knowledge, strings, and paradoxes, 342-354 [Zbl 0928.03016]  \\textit{Lu, Jianguo; Harao, Masateru; Hagiya, Masami}, Higher order generalization, 368-381 [Zbl 0928.03035]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270495$D8CBA0BC-8B40-46B1-999B-0FCE1ED4CB03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270495$CFE3B139-7274-4CC9-889D-0638317399AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270495$76794131-D4C7-44CD-B691-12C3708B641C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270495$27E77A0B-32EF-4408-8895-B9556600D1C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7553f826e53c08fbeec235820446c65468b1ea0","datavalue":{"value":"1214277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270495$C0743784-C3FF-4FFE-9033-C525E0FCDF3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c04dee1125419b159f83d34690f9f13b9533d0d","datavalue":{"value":"Dagstuhl (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270495$DEEB61B6-2FC6-429D-ABA5-9B6913D146ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270495$81546295-6B9E-40E0-95AD-E51A2128AE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270495$9DA154D2-B866-4D8D-9D49-2DC2AFE595F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27e2aeb5c1167a97c51f16fb874fc81197dc64d","datavalue":{"value":"JELIA '98","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270495$56634A8C-B65E-4532-A4BF-7AAB6187D125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d356fb974c4fbc72534c9a6c58a36cdda3c85a97","datavalue":{"value":"Logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270495$70732CB0-234A-4953-B3EA-7FB784ACAD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716036f9c770a47ec609d1e6cd7b18b459df64f5","datavalue":{"value":"Artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270495$61DEA146-76FC-4A89-8BA0-031A016A040A","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":"Q1270495$96FEA49B-F504-4BFF-8861-B79740785F74","rank":"normal"}],"P1643":[{"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":"a6775a3d10798c6d3466aca79090f6e24fcac001","datavalue":{"value":{"amount":"+0.97679734","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":"Q1270495$2F332D7D-8311-41A1-9864-EB7D629AD8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78de510cd0071214d5168b2c66b9c40accd581b5","datavalue":{"value":{"entity-type":"item","numeric-id":1369228,"id":"Q1369228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ce1cef4576a4067984dbe47e3712a44921aa18","datavalue":{"value":{"amount":"+0.95980746","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":"Q1270495$E45E80B7-DA82-4786-AE98-64C60A25B88D","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":"8a0c6a4994f23ae8a7577b5ad69414289224f669","datavalue":{"value":{"amount":"+0.9541269","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":"Q1270495$86E147B6-F2D6-44BD-B51A-8E7EAFF4CC2D","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":"53b47c5735d72b98ec0a5c64f00e7ebea7548dad","datavalue":{"value":{"amount":"+0.94762224","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":"Q1270495$142CFA5C-FBC2-4DBE-A458-8001A8B644FB","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":"80cb0891c4ebad9c04dd310aa9417dcdf3224039","datavalue":{"value":{"amount":"+0.94182456","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":"Q1270495$04697C59-4865-4B20-90DF-EBA5C074E0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b82afb2771fec4dd6ba05add642da902e7ceb31","datavalue":{"value":{"entity-type":"item","numeric-id":1848547,"id":"Q1848547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1097793e0a52d4a9ac4b227e5c12b04014f8bc76","datavalue":{"value":{"amount":"+0.93786895","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":"Q1270495$F1A08F23-5D38-460E-90F9-3EE49B5A8BB8","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":"f03c97de74b5c526047aaa54c7a4ed2121cfa043","datavalue":{"value":{"amount":"+0.9368676","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":"Q1270495$EDD55C33-DB03-4139-A75C-53FAF96E39C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"801f631b848e3e38b3fc7df74a976998ef0344d5","datavalue":{"value":{"entity-type":"item","numeric-id":1202138,"id":"Q1202138"},"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":"Q1270495$E45844DB-B03D-47A3-B916-1757CD6BF947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3cd86c277e530956cad33138e141d9897fb05ae","datavalue":{"value":{"entity-type":"item","numeric-id":6070460,"id":"Q6070460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa92cf84bcc221e38fc879afb683fb341bab9ebd","datavalue":{"value":{"amount":"+0.92045003","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":"Q1270495$732DBF42-ED56-44F6-B25F-F26EF538EAB2","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":"5805da0a921062da646936e9e5fdc48486d85d3f","datavalue":{"value":{"amount":"+0.9196023","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":"Q1270495$BDCEC5BC-EDF0-4395-9129-0D170C32F094","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics in artificial intelligence. European workshop, JELIA '98. Dagstuhl, Germany, October 12--15, 1998. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_in_artificial_intelligence._European_workshop,_JELIA_%2798._Dagstuhl,_Germany,_October_12--15,_1998._Proceedings"}}}}}