{"entities":{"Q1848547":{"pageid":1859289,"ns":120,"title":"Item:Q1848547","lastrevid":70988031,"modified":"2026-04-13T18:42:59Z","type":"item","id":"Q1848547","labels":{"en":{"language":"en","value":"Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23--26, 2002. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1825253"}},"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":"Q1848547$429D054C-80DD-4EF1-90B4-1D1F3D4BFF5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ab2d11c46be33aa19f8e3a8b8f74ac58e7e0a31","datavalue":{"value":{"text":"Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23--26, 2002. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1848547$4B7E02CF-510D-4306-8F43-6D92B0DBC433","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fadef9921ade9372374a6a16b685be46642eb81","datavalue":{"value":"0997.00032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848547$37889AA3-5A10-41B6-8793-6855E21E308B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"101a4dd04661a8c1ef469bf36b45dfe7ff20cfec","datavalue":{"value":"10.1007/3-540-45757-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848547$FFDC35F1-09F4-457F-8A36-125CC01FD50E","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":"Q1848547$128431EF-C9FB-436A-B04D-9E9BE261DFAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fbcf3671e7e434b6806937c673340f2c084f23e","datavalue":{"value":{"time":"+2002-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1848547$6BF3F927-26DF-48E5-8593-FDAEAFA860A7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9d5d53dd123465cfd07aab6481f01332452bdeb","datavalue":{"value":"The articles of this volume will be reviewed individually. The 2000 conference has been reviewed (see Zbl 0952.00045).  Indexed articles:  \\textit{Costantini, Stefania; Tocchio, Arianna}, A logic programming language for multi-agent systems, 1-13 [Zbl 1014.68530]  \\textit{Ciampolini, A.; Lamma, E.; Mello, P.; Torroni, P.}, A proof-system for the safe execution of tasks in multi-agent systems, 14-26 [Zbl 1013.68204]  \\textit{Amgoud, Leila; Parsons, Simon}, An argumentation framework for merging conflicting knowledge bases, 27-37 [Zbl 1014.68531]  \\textit{Schmidt, Renate A.; Tishkovsky, Dmitry}, Multi-agent logics of dynamic belief and knowledge, 38-49 [Zbl 1013.68211]  \\textit{Alferes, Jos\u00e9 J\u00falio; Brogi, Antonio; Leite, Jo\u00e3o Alexandre; Pereira, Lu\u00eds Moniz}, Evolving logic programs, 50-61 [Zbl 1014.68534]  \\textit{Alferes, Jos\u00e9 J\u00falio; Dell'Acqua, Pierangelo; Pereira, Lu\u00eds Moniz}, A compilation of updates plus preferences, 62-73 [Zbl 1013.68057]  \\textit{Bonatti, Piero A.}, Towards service description logics, 74-85 [Zbl 1014.03515]  \\textit{Giugno, Rosalba; Lukasiewicz, Thomas}, P-\\(\\mathcal{SHOQ}\\)(D): A probabilistic extension of \\(\\mathcal{SHOQ}\\)(D) for probabilistic ontologies in the semantic web, 86-97 [Zbl 1014.68537]  \\textit{Artale, Alessandro; Franconi, Enrico; Wolter, Frank; Zakharyaschev, Michael}, A temporal description logic for reasoning over conceptual schemas and queries, 98-110 [Zbl 1013.03027]  \\textit{Turner, Hudson}, Polynomial-length planning spans the polynomial hierarchy, 111-124 [Zbl 1013.68094]  \\textit{Dekhtyar, Michael; Dikovsky, Alexander; Valiev, Mars}, Complexity of multi-agent systems behavior, 125-136 [Zbl 1013.68208]  \\textit{Greco, Gianluigi; Zumpano, Ester}, Complexity and algorithms for the matching of bag and set terms, 137-148 [Zbl 1014.68533]  \\textit{Kraj\u010di, S.; Lencses, R.; Medina, J.; Ojeda-Aciego, M.; Valverde, A.; Vojt\u00e1\u0161, P.}, Non-commutativity and expressive deductive logic databases, 149-160 [Zbl 1013.68073]  \\textit{Beierle, Christoph; Kern-Isberner, Gabriele}, Using institutions for the study of qualitative and quantitative conditional logics, 161-172 [Zbl 1013.03018]  \\textit{Dix, J\u00fcrgen; Munoz-Avila, Hector; Nau, Dana; Zhang, Lingling}, Theoretical and empirical aspects of a planner in a multi-agent environment, 173-185 [Zbl 1014.68536]  \\textit{Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel}, Answer set planning under action costs, 186-197 [Zbl 1014.68532]  \\textit{Governatori, Guido; Padmanabhan, Vineet; Sattar, Abdul}, On fibring semantics for BDI logics, 198-210 [Zbl 1013.03028]  \\textit{White, Graham}, A modal formulation of McCain and Turner's theory of causal reasoning, 211-222 [Zbl 1013.03026]  \\textit{Szalas, Andrzej}, Second-order quantifier elimination in modal contexts, 223-232 [Zbl 1013.03030]  \\textit{Amir, Eyal}, Interpolation theorems for nonmonotonic reasoning systems, 233-244 [Zbl 1013.03024]  \\textit{Iwanuma, Koji; Inoue, Katsumi}, Minimal answer computation and SOL, 245-258 [Zbl 1013.68210]  \\textit{Montanari, Angelo; Sciavicco, Guido; Vitacolonna, Nicola}, Decidability of interval temporal logics over split-frames via granularity, 259-270 [Zbl 1013.03013]  \\textit{Loyer, Yann; Straccia, Umberto}, Uncertainty and partial non-uniform assumptions in parametric deductive databases, 271-282 [Zbl 1013.68074]  \\textit{El-Sayed, Mazen; Pacholczyk, Daniel}, A qualitative reasoning with nuanced information, 283-295 [Zbl 1013.68222]  \\textit{Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando}, Dependent and independent variables in propositional satisfiability, 296-307 [Zbl 1014.68528]  \\textit{Tinelli, Cesare}, A DPLL-based calculus for ground satisfiability modulo theories, 308-319 [Zbl 1013.68192]  \\textit{Besnard, Philippe; Schaub, Torsten; Tompits, Hans; Woltran, Stefan}, Paraconsistent reasoning via quantified Boolean formulas. I: Axiomatising signed systems, 320-331 [Zbl 1013.03023]  \\textit{Konieczny, S\u00e9bastien; Marquis, Pierre}, Three-valued logics for inconsistency handling, 332-344 [Zbl 1013.03022]  \\textit{Alc\u00e2ntara, Jo\u00e3o; Dam\u00e1sio, Carlos Viegas; Pereira, Lu\u00eds Moniz}, Paraconsistent logic programs, 345-356 [Zbl 1013.68212]  \\textit{Zhang, Dongmo; Foo, Norman}, Interpolation properties of action logic: Lazy-formalization to the frame problem, 357-368 [Zbl 1013.68217]  \\textit{Son, Tran Cao; Pontelli, Enrico}, Reasoning about actions in prioritized default theory, 369-381 [Zbl 1013.68213]  \\textit{Giordano, Laura; Schwind, Camilla}, Towards a conditional logic of actions and causation, 382-393 [Zbl 1013.68215]  \\textit{Hansen, Helle Hvid; Pauly, Marc}, Axiomatising Nash-consistent coalition logic, 394-406 [Zbl 1013.68207]  \\textit{Wallace, Richard J.}, Representing possibilities in relation to constraints and agents, 407-418 [Zbl 1014.68535]  \\textit{Sadri, Fariba; Toni, Francesca; Torroni, Paolo}, An abductive logic programming architecture for negotiating agents, 419-431 [Zbl 1013.68205]  \\textit{Van Nieuwenborgh, Davy; Vermeir, Dirk}, Preferred answer sets for ordered logic programs, 432-443 [Zbl 1013.68062]  \\textit{Brewka, Gerhard; Niemel\u00e4, Ilkka; Syrj\u00e4nen, Tommi}, Implementing ordered disjunction using answer set solvers for normal programs, 444-455 [Zbl 1013.68060]  \\textit{Rondogiannis, Panos; Wadge, William W.}, An infinite-valued semantics for logic programs with negation, 456-467 [Zbl 1013.68058]  \\textit{Linke, Thomas; Anger, Christian; Konczak, Kathrin}, More on noMoRe, 468-480 [Zbl 1013.68061]  \\textit{Nicolas, Pascal; Saubion, Fr\u00e9d\u00e9ric; St\u00e9phan, Igor}, Answer set programming by ant colony optimization, 481-492 [Zbl 1013.68059]  \\textit{Janhunen, Tomi; Oikarinen, Emilia}, Testing the equivalence of logic programs under stable model semantics, 493-504 [Zbl 1014.68500]  \\textit{Haenni, Rolf}, Argumentative reasoning with ABEL, 505-508 [Zbl 1014.68607]  \\textit{Delgrande, James P.; Hunter, Aaron; Schaub, Torsten}, COBA: a consistency-based belief revision system, 509-512 [Zbl 1014.68628]  \\textit{Finkel, Raphael; Marek, Victor W.; Truszczy\u0144ski, Miros\u0142aw}, Constraint Lingo: A program for solving logic puzzles and other tabular constraint problems, 513-516 [Zbl 1014.68977]  \\textit{Giannotti, Fosca; Manco, Giuseppe}, \\(\\mathcal{LDL}\\)-\\(\\mathcal{M}_{ine}\\): Integrating data mining with intelligent query answering, 517-520 [Zbl 1014.68732]  \\textit{Anger, Christian; Konczak, Kathrin; Linke, Thomas}, NoMoRe: Non-monotonic reasoning with logic programs, 521-524 [Zbl 1014.68758]  \\textit{Schimm, Guido}, Process miner -- A tool for mining process schemes from event-based data, 525-528 [Zbl 1014.68791]  \\textit{Estruch, V.; Ferri, C.; Hern\u00e1ndez, J.; Ram\u00edrez, M. J.}, SMILES: A multi-purpose learning system, 529-532 [Zbl 1014.68845]  \\textit{East, Deborah; Truszczy\u0144ski, Miros\u0142aw}, The aspps system, 533-536 [Zbl 1014.68866]  \\textit{Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Calimeri, Francesco; Dell'Armi, Tina; Eiter, Thomas; Gottlob, Georg; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, Christoph; Perri, Simona; Polleres, Axel}, The DLV system, 537-540 [Zbl 1014.68871]  \\textit{Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel}, The DLV\\(^{\\mathcal{K}}\\) planning system: Progress report, 541-544 [Zbl 1014.68872]  \\textit{Minock, Michael; Kraus, Hansi}, Z-log: Applying system-Z, 545-548 [Zbl 1014.68926]  \\textit{Eiter, Thomas; Gottlob, Georg}, Hypergraph transversal computation and related problems in logic and AI, 549-564 [Zbl 1013.68143]  \\textit{Vardi, Moshe Y.}, Alternation, 565 [Zbl 1014.68593]  \\textit{Gelfond, Michael}, The USA-advisor: A case study in answer set programming, 566-567 [Zbl 1014.68886]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1848547$C95D0CA4-00E8-466F-B1D2-99997D7E0DEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848547$FB6976AF-354C-4913-9707-D5DC26439642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848547$A407E4C7-6E56-4934-ABEA-8A0C0ADBB32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848547$C571FDD1-60E4-41FF-A4D1-F995AF92647A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848547$DADF9D3E-4D4E-410F-A466-A1725F9D4DEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aac74500303d0f245791a1ea554c6a406728ee7a","datavalue":{"value":"1825253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848547$80D2E706-DFD3-4E9A-8F2D-AC7D38BD1044","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":"Q1848547$83498E76-0BF8-4B38-B42B-8DDBB3C0AE41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38a08347319166f8907ff0f921fc777d2f2cdf02","datavalue":{"value":"https://doi.org/10.1007/3-540-45757-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1848547$F420BE05-D69D-41CE-9533-5CECF9F3A302","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16cf356d870e6c6089ebd7280663885d082e0ea6","datavalue":{"value":"W4380925586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848547$AE595C30-6477-4A06-B8B2-BF7A9DCC77C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23--26, 2002. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_in_artificial_intelligence._8th_European_conference,_JELIA_2002,_Cosenza,_Italy,_September_23--26,_2002._Proceedings"}}}}}