{"entities":{"Q5952231":{"pageid":8129033,"ns":120,"title":"Item:Q5952231","lastrevid":36998624,"modified":"2024-07-30T08:03:24Z","type":"item","id":"Q5952231","labels":{"en":{"language":"en","value":"Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 -- December 1, 2001. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1688180"}},"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":"Q5952231$4506DE60-5660-419D-A6DB-39519F7B9BCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3f989e3607aa3c1ed294e0b572b1e1028393c87","datavalue":{"value":{"text":"Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 -- December 1, 2001. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5952231$BD23A88A-9ED3-4F26-90E7-0CA8FECFDD24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eaaa33dff2b11ee3d2b81f69f3b9f75ba36b0d4f","datavalue":{"value":"0977.00040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952231$7F090F49-A4C2-4B99-81BD-496319FF3971","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ca34ed3668b850e33c47a1d8a9dd772ad5a4674","datavalue":{"value":"10.1007/3-540-45635-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952231$EECEAC26-F6F3-4B55-826C-1AF3CDEFC3EE","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":"Q5952231$80116524-B401-4A50-B9F3-479CF80BAE2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d99679be6596c8cc4e11d1bbb5f9466f6a2a85c4","datavalue":{"value":{"time":"+2002-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5952231$2713B7A0-71F9-4ACF-9C30-71C55FA2F78A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70f882268fe01c2ace3d9fcd9f7ad460f1b82451","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The 1999 conference has been reviewed (see Zbl 0968.68025).  Indexed articles:  \\textit{Colmerauer, Alain}, Solving the multiplication constraint in several approximation spaces, 1 [Zbl 1053.68525]  \\textit{Kowalski, Robert}, Is logic really dead or only just sleeping?, 2-3 [Zbl 1053.68535]  \\textit{Cousot, Patrick}, Design of syntactic program transformations by abstract interpretation of semantic transformations, 4-5 [Zbl 1053.68561]  \\textit{Gupta, Ashish}, X-tegration -- some cross-enterprise thoughts, 6 [Zbl 1053.68505]  \\textit{Wielemaker, Jan}, Building real-life applications with Prolog, 7 [Zbl 1053.68546]  \\textit{Villemonte de la Clergerie, \u00c9ric}, Natural language tabular parsing, 8 [Zbl 1053.68726]  \\textit{Ueda, Kazunori}, A close look at constraint-based concurrency, 9 [Zbl 1053.68584]  \\textit{Subrahmanian, V. S.}, Probabilistic databases and logic programming, 10 [Zbl 1053.68544]  \\textit{Castro, Lu\u00eds Fernando; Costa, V\u00edtor Santos}, Understanding memory management in Prolog systems, 11-26 [Zbl 1053.68523]  \\textit{Villaverde, K.; Pontelli, E.; Guo, H.; Gupta, G.}, PALS: An or-parallel implementation of Prolog on Beowulf architectures, 27-42 [Zbl 1053.68545]  \\textit{Rocha, Ricardo; Silva, Fernando; Costa, V\u00edtor Santos}, On a tabling engine that can exploit or-parallelism, 43-58 [Zbl 1053.68543]  \\textit{Beldiceanu, Nicolas; Carlsson, Mats}, Revisiting the cardinality operator and introducing the cardinality-path constraint family, 59-73 [Zbl 1053.68521]  \\textit{Holzbaur, Christian; Garc\u00eda de la Banda, Mar\u00eda; Jeffery, David; Stuckey, Peter J.}, Optimizing compilation of constraint handling rules, 74-89 [Zbl 1053.68533]  \\textit{Garc\u00eda de la Banda, Mar\u00eda; Jeffery, David; Marriott, Kim; Nethercote, Nicholas; Stuckey, Peter J.; Holzbaur, Christian}, Building constraint solvers with HAL, 90-104 [Zbl 1053.68529]  \\textit{Mazur, Nancy; Ross, Peter; Janssens, Gerda; Bruynooghe, Maurice}, Practical aspects for a working compile time garbage collection system for Mercury, 105-119 [Zbl 1053.68539]  \\textit{Howe, Jacob M.; King, Andy}, Positive Boolean functions as multiheaded clauses, 120-134 [Zbl 1053.68534]  \\textit{Codish, Michael; Genaim, Samir; S\u00f8ndergaard, Harald; Stuckey, Peter J.}, Higher-precision groundness analysis, 135-149 [Zbl 1053.68524]  \\textit{Guo, Hai-Feng; Ramakrishnan, C. R.; Ramakrishnan, I. V.}, Speculative beats conservative justification, 150-165 [Zbl 1053.68532]  \\textit{Basu, Samik; Mukund, Madhavan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Verma, Rakesh}, Local and symbolic bisimulation using tabled constraint logic programming, 166-180 [Zbl 1053.68582]  \\textit{Guo, Hai-Feng; Gupta, Gopal}, A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives, 181-196 [Zbl 1053.68531]  \\textit{Lonc, Zbigniew; Truszczynski, Miros\u0142aw}, Fixed-parameter complexity of semantics for logic programs, 197-211 [Zbl 1053.68538]  \\textit{Denecker, Marc; Pelov, Nikolay; Bruynooghe, Maurice}, Ultimate well-founded and stable semantics for logic programs with aggregates, 212-226 [Zbl 1053.68526]  \\textit{Kumar, K. Narayan; Ramakrishnan, C. R.; Smolka, S. A.}, Alternating fixed points in Boolean equation systems as preferred stable models, 227-241 [Zbl 1053.68536]  \\textit{Erdem, Esra; Lifschitz, Vladimir}, Fages' theorem for programs with nested expressions, 242-254 [Zbl 1053.68528]  \\textit{Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira}, Semantics of normal logic programs with embedded implications, 255-268 [Zbl 1053.68541]  \\textit{Medina, Jes\u00fas; Ojeda-Aciego, Manuel; Vojt\u00e1s, Peter}, A multi-adjoint logic approach to abductive reasoning, 269-283 [Zbl 1053.68707]  \\textit{Drabent, W\u0142odzimierz; Mi\u0142kowska, Miros\u0142awa}, Proving correctness and completeness of normal programs -- a declarative approach, 284-299 [Zbl 1053.68527]  \\textit{Kaneiwa, Ken; Tojo, Satoshi}, An order-sorted resolution with implicitly negative sorts, 300-314 [Zbl 1053.68694]  \\textit{Banbara, Mutsunori; Kang, Kyoung-Sun; Hirai, Takaharu; Tamura, Naoyuki}, Logic programming in a fragment of intuitionistic temporal linear logic, 315-330 [Zbl 1053.68032]  \\textit{Almendros-Jim\u00e9nez, Jes\u00fas M.; Becerra-Ter\u00f3n, Antonio; S\u00e1nchez-Hern\u00e1ndez, Jaime}, A computational model for functional logic deductive databases, 331-347 [Zbl 1053.68563]  \\textit{Greco, Gianluigi; Greco, Sergio; Zumpano, Ester}, A logic programming approach to the integration, repairing and querying of inconsistent databases, 348-364 [Zbl 1053.68564]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952231$1AB165C3-19AD-427B-B899-0938FE527F3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952231$2B0BA0AC-0440-475C-A2BF-A0AAE5E97AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952231$B2E6E8C1-55A0-47B3-9337-70CBD90001D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952231$5F984E1D-F786-43CA-8F6D-0D84BA78C286","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a997dda64f7e42f7de87b29c85421f94f6c3e60a","datavalue":{"value":"1688180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952231$A80C89CB-735B-418E-A06B-BD772998CE6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffadaeea05a646702327425ccdb0a2d40b3047e5","datavalue":{"value":"Paphos (Cyprus)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952231$4F9EBEB3-99F0-4E49-9FE4-E3785CB00F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952231$8E973344-6CEA-4F89-8732-DEECA96126C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952231$23DBE33E-D34E-4AFE-9475-4BAC5739ACFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4912067d577c9f1b583b4524da321221c3cf137","datavalue":{"value":"ICLP 2001","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952231$A8F4BF1F-DBB7-40AE-AACD-E83B0B3B9A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd9894bb2ae50bf3e9702ac19cb1c5499b6fe1b","datavalue":{"value":"Logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952231$554EAA4C-311F-4334-B4DF-D43984F1C809","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"210417b678e63851eca7c3bb5cb54502affeb49f","datavalue":{"value":{"entity-type":"item","numeric-id":14984,"id":"Q14984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952231$A6DA50C3-9A26-4E57-9E5D-56EB007A914E","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":"Q5952231$66E880A1-E6A6-4B53-A488-3822B486541B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc01b1b1955cad66bc6f7be3968142f8c31f7f79","datavalue":{"value":"https://doi.org/10.1007/3-540-45635-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5952231$08E19FC9-97FC-41F9-B090-C86BF5758D5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"996b1094797a6a6f4456ef6f95f90683f7e1fc72","datavalue":{"value":"W4232098388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952231$F3817B59-3C5D-4C6C-B33D-C607D1F7AF59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5952231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5952231"}}}}}