Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23--26, 2002. Proceedings (Q1848547)

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é Júlio; Brogi, Antonio; Leite, João Alexandre; Pereira, Luís Moniz}, Evolving logic programs, 50-61 [Zbl 1014.68534] \textit{Alferes, José Júlio; Dell'Acqua, Pierangelo; Pereira, Luís 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či, S.; Lencses, R.; Medina, J.; Ojeda-Aciego, M.; Valverde, A.; Vojtáš, 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ürgen; 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ébastien; Marquis, Pierre}, Three-valued logics for inconsistency handling, 332-344 [Zbl 1013.03022] \textit{Alcântara, João; Damásio, Carlos Viegas; Pereira, Luís 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ä, Ilkka; Syrjänen, 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édéric; Stéphan, 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ński, Mirosław}, 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ández, J.; Ramírez, M. J.}, SMILES: A multi-purpose learning system, 529-532 [Zbl 1014.68845] \textit{East, Deborah; Truszczyński, Mirosław}, 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]