{"entities":{"Q701694":{"pageid":703543,"ns":120,"title":"Item:Q701694","lastrevid":63814737,"modified":"2026-04-11T15:43:36Z","type":"item","id":"Q701694","labels":{"en":{"language":"en","value":"Computational logic: Logic programming and beyond. Essays in honour of Robert A. Kowalski. Part 2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1824868"}},"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":"Q701694$424A9CD9-A31A-4728-8C0D-A8D92E1EB492","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdebb5a82946acf20d3e9732405689d15ed12bea","datavalue":{"value":{"text":"Computational logic: Logic programming and beyond. Essays in honour of Robert A. Kowalski. Part 2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701694$96CDA572-E55B-45DC-8CA4-24D802188248","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55adc73a7f9b304a9b02f8d1435b91c7af0135b9","datavalue":{"value":"0997.00044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701694$6C5B6651-4944-47FF-B104-BBD88927F557","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":"Q701694$1B9AB98F-688D-4A6C-8D52-16CD0E9C9A15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17316e88e5ef0a679faa075220250a060b94ddba","datavalue":{"value":{"time":"+2002-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701694$D448C934-F5B6-4AE8-B117-5DAC13D275A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12b56ec0d29720881eb9dc01e587263fe692bb10","datavalue":{"value":"The articles of mathematical interest will be reviewed individually.  Indexed articles:  \\textit{Baldan, Paolo; Mancarella, Paolo; Raffaet\u00e0, Alessandra; Turini, Franco}, MuTACLP: A language for temporal reasoning with multiple theories, 1-40 [Zbl 1012.68544]  \\textit{Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio}, Description logics for information integration, 41-60 [Zbl 1012.03512]  \\textit{Greco, Sergio; Sacc\u00e0, Domenico}, Search and optimization problems in Datalog, 61-82 [Zbl 1012.68516]  \\textit{Mascellani, Paolo; Pedreschi, Dino}, The declarative side of magic, 83-108 [Zbl 1012.68511]  \\textit{Zaniolo, Carlo}, Key constraints and monotonic aggregates in deductive databases, 109-134 [Zbl 1012.68059]  \\textit{Broda, Krysia}, A decidable CLDS for some propositional resource logics, 135-159 [Zbl 1012.03019]  \\textit{Bundy, Alan}, A critique of proof planning, 160-177 [Zbl 1012.68180]  \\textit{Hasegawa, Ryuzo; Fujita, Hiroshi; Koshimura, Miyuki; Shirai, Yasuyuki}, A model generation based theorem prover MGTP for first-order logic, 178-213 [Zbl 1012.68540]  \\textit{Omodeo, Eugenio G.; Schwartz, Jacob T.}, A `theory' mechanism for a proof-verifier based on first-order set theory, 214-230 [Zbl 1012.68181]  \\textit{Siekmann, J\u00f6rg; Wrightson, Graham}, An open research problem: Strong completeness of R. Kowalski's connection graph proof procedure, 231-252 [Zbl 1012.68182]  \\textit{Costantini, Stefania}, Meta-reasoning: A survey, 253-288 [Zbl 1012.68190]  \\textit{Dung, Phan Minh; Mancarella, Paolo; Toni, Francesca}, Argumentation-based proof procedures for credulous and sceptical non-monotonic reasoning, 289-310 [Zbl 1012.68193]  \\textit{Inoue, Katsumi}, Automated abduction, 311-341 [Zbl 1012.68189]  \\textit{Prakken, Henry; Sartor, Giovanni}, The role of logic in computational models of legal argument: A critical survey, 342-381 [Zbl 1012.03044]  \\textit{Alferes, Jos\u00e9 J\u00falio; Pereira, Lu\u00eds Moniz}, Logic programming updating -- A guided approach, 382-412 [Zbl 1012.68509]  \\textit{Gelfond, Michael}, Representing knowledge in A-Prolog, 413-451 [Zbl 1012.68545]  \\textit{Miller, Rob; Shanahan, Murray}, Some alternative formulations of the event calculus, 452-490 [Zbl 1012.68192]  \\textit{Cussens, James}, Issues in learning language in logic, 491-505 [Zbl 1012.68533]  \\textit{Dahl, Veronica}, On implicit meanings, 506-525 [Zbl 1012.68548]  \\textit{De Raedt, Luc}, Data mining as constraint logic programming, 526-547 [Zbl 1012.68515]  \\textit{Mellish, Chris}, DCGs: Parsing as deduction?, 548-566 [Zbl 1012.68547]  \\textit{Sato, Taisuke; Kameya, Yoshitaka}, Statistical abduction with tabulation, 567-587 [Zbl 1012.68535]  \\textit{Gillies, Donald}, Logicism and the development of computer science, 588-604 [Zbl 1012.03008]  \\textit{Psillos, Stathis}, Simply the best: A case for abduction, 605-625 [Zbl 1012.03009]","type":"string"},"datatype":"string"},"type":"statement","id":"Q701694$284C9013-98CA-4E85-9C03-DC7AE57DD502","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"621c5eb61e35215bb5d90ba240e258b1da91aac9","datavalue":{"value":"00B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701694$563364B2-E5EC-4C51-BDE3-89B9074FF70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701694$56941182-1D56-4BDF-822B-C56BFE66CFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701694$C9A0598C-E981-4014-835B-F371DBBC51AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701694$4FEA5F43-447E-4460-BC86-B002D3767F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701694$3F2C8988-56DD-496E-BDA5-1756CEDBE61B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4494909b2f16fa19c5133a9734c57af48836969f","datavalue":{"value":"1824868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701694$E7C7B230-8DEA-4765-8B5E-6235BE957536","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd031671ade5ded8e55b1b60bafd1349f9e60ad2","datavalue":{"value":"Computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q701694$043349D3-7856-4CE5-ACB5-759BD567CAA1","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":"Q701694$6A9D97B2-814D-41A2-B0D5-D342CB2512EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational logic: Logic programming and beyond. Essays in honour of Robert A. Kowalski. Part 2","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computational_logic:_Logic_programming_and_beyond._Essays_in_honour_of_Robert_A._Kowalski._Part_2"}}}}}