Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27--30, 2004. Proceedings. (Q1763068)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0997.00032). Indexed articles: \textit{Baader, Franz}, Engineering of logics for the content-based representation of information, 2-3 [Zbl 1111.68663] \textit{Dastani, Mehdi; van der Torre, Leendert}, Games for cognitive agents, 5-17 [Zbl 1111.68121] \textit{Chopra, Samir; Pacuit, Eric; Parikh, Rohit}, Knowledge-theoretic properties of strategic voting, 18-30 [Zbl 1111.68669] \textit{Endriss, U.; Mancarella, P.; Sadri, F.; Terreni, G.; Toni, F.}, The CIFF proof procedure for abductive logic programming with constraints, 31-43 [Zbl 1111.68674] \textit{Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk}, Hierarchical decision making by autonomous agents, 44-56 [Zbl 1111.68679] \textit{Giordano, Laura; Martelli, Alberto; Schwind, Camilla}, Verifying communicating agents by model checking in a temporal action logic, 57-69 [Zbl 1111.68677] \textit{Wölfl, Stefan}, Qualitative action theory. A comparison of the semantics of alternating-time temporal logic and the Kutschera-Belnap approach to agency, 70-81 [Zbl 1111.68694] \textit{de C. Ferreira, Nivea; Fisher, Michael; van der Hoek, Wiebe}, Practical reasoning for uncertain agents, 82-94 [Zbl 1111.68696] \textit{Alechina, Natasha; Logan, Brian; Whitsey, Mark}, Modelling communicating agents in timed reasoning logics, 95-107 [Zbl 1111.68661] \textit{Mariën, Maarten; Gilis, David; Denecker, Marc}, On the relation between ID-logic and answer set programming, 108-120 [Zbl 1111.68684] \textit{Wheeler, Gregory R.; Damásio, Carlos}, An implementation of statistical default logic, 121-133 [Zbl 1111.68693] \textit{Janhunen, Tomi; Oikarinen, Emilia}, Capturing parallel circumscription with disjunctive logic programs, 134-146 [Zbl 1111.68680] \textit{Pearce, David; Valverde, Agustín}, Towards a first order equilibrium logic for nonmonotonic reasoning, 147-160 [Zbl 1111.68687] \textit{Woltran, Stefan}, Characterizations for relativized notions of equivalence in answer set programming, 161-173 [Zbl 1111.68695] \textit{Inoue, Katsumi; Sakama, Chiaki}, Equivalence of logic programs under updates, 174-186 [Zbl 1111.68381] \textit{Syrjänen, Tommi}, Cardinality constraint programs, 187-199 [Zbl 1111.68386] \textit{Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald}, Recursive aggregates in disjunctive logic programs: Semantics and complexity, 200-212 [Zbl 1111.68380] \textit{Marchioni, Enrico; Godo, Lluís}, A logic for reasoning about coherent conditional probability: A modal fuzzy logic approach, 213-225 [Zbl 1111.68683] \textit{Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran}, A logic with conditional probabilities, 226-238 [Zbl 1111.68688] \textit{Mateus, P.; Sernadas, A.}, Reasoning about quantum systems, 239-251 [Zbl 1111.81304] \textit{Damásio, C. V.; Medina, J.; Ojeda-Aciego, M.}, Sorted multi-adjoint logic programs: Termination results and applications, 252-265 [Zbl 1111.68379] \textit{Nguyen, Linh Anh}, The modal logic programming system MProlog, 266-278 [Zbl 1111.68384] \textit{Moreno-Navarro, Juan José; Muñoz-Hernández, Susana}, Soundness and completeness of an ``efficient'' negation for Prolog, 279-293 [Zbl 1111.68383] \textit{Cabalar, Pedro; Lorenzo, David}, Logic programs with functions and default values, 294-306 [Zbl 1111.68378] \textit{Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka}, Parallel encodings of classical planning as satisfiability, 307-319 [Zbl 1111.68660] \textit{Finzi, Alberto; Lukasiewicz, Thomas}, Relational Markov games, 320-333 [Zbl 1111.91305] \textit{Broersen, Jan}, On the logic of `being motivated to achieve \(\rho\), before \(\delta\)', 334-346 [Zbl 1111.68668] \textit{Dunne, Paul E.; van der Hoek, Wiebe}, Representation and complexity in Boolean games, 347-359 [Zbl 1111.91308] \textit{Dunne, Paul E.; Bench-Capon, Trevor}, Complexity in value-based argument systems, 360-371 [Zbl 1111.68673] \textit{Kazakov, Yevgeny}, A polynomial translation from the two-variable guarded fragment with number restrictions to the guarded fragment, 372-384 [Zbl 1111.68681] \textit{Straccia, Umberto}, Transforming fuzzy description logics into classical description logics, 385-399 [Zbl 1111.68690] \textit{Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin}, Computing the least common subsumer w.r.t. a background terminology, 400-412 [Zbl 1111.68664] \textit{Schlobach, Stefan}, Explaining subsumption by optimal interpolation, 413-425 [Zbl 1111.68689] \textit{Delgrande, James P.; Schaub, Torsten}, Two approaches to merging knowledge bases, 426-438 [Zbl 1111.68670] \textit{Flax, Lee}, An algebraic approach to belief contraction and nonmonotonic entailment, 439-451 [Zbl 1111.68676] \textit{Mengin, Jérôme}, Logical connectives for nonmonotonicity: A choice function-based approach, 452-461 [Zbl 1111.68686] \textit{Doutre, Sylvie; Mengin, Jérôme}, On sceptical versus credulous acceptance for abstract argument systems, 462-473 [Zbl 1111.68672] \textit{Balbiani, Philippe; Tinchev, Tinko}, Line-based affine reasoning in Euclidean plane, 474-486 [Zbl 1111.68665] \textit{Giritli, Mehmet}, Measure logics for spatial reasoning, 487-499 [Zbl 1111.68678] \textit{Lian, Espen H.; Langholm, Tore; Waaler, Arild}, Only knowing with confidence levels: Reductions and complexity, 500-512 [Zbl 1111.68682] \textit{Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele}, Time granularities and ultimately periodic automata, 513-525 [Zbl 1111.68697] \textit{Finger, Marcelo}, Polynomial approximations of full propositional logic via limited bivalence, 526-538 [Zbl 1111.68675] \textit{Peltier, Nicolas}, Some techniques for branch-saturation in free-variable tableaux, 539-551 [Zbl 1111.68656] \textit{Wernhard, Christoph}, Semantic knowledge partitioning, 552-564 [Zbl 1111.68701] \textit{Nguyen, Linh Anh}, Negative hyper-resolution as procedural semantics of disjunctive logic programs, 565-577 [Zbl 1111.68385] \textit{Angiulli, Fabrizio; Greco, Gianluigi; Palopoli, Luigi}, Discovering anomalies in evidential knowledge by logic programming, 578-590 [Zbl 1111.68608] \textit{Baumgartner, Peter; Burchardt, Aljoscha}, Logic programming infrastructure for inferences on FrameNet, 591-603 [Zbl 1111.68377] \textit{Ben-Naim, Jonathan; Benferhat, Salem; Papini, Odile; Würbel, Eric}, An answer set programming encoding of prioritized removed sets revision: Application to GIS, 604-616 [Zbl 1111.68762] \textit{Armando, Alessandro; Compagna, Luca; Lierler, Yuliya}, Automatic compilation of protocol insecurity problems into logic programming, 617-627 [Zbl 1111.68376] \textit{Cadoli, Marco; Mancini, Toni}, Exploiting functional dependencies in declarative problem specifications, 628-640 [Zbl 1111.68658] \textit{Tinelli, Cesare; Zarba, Calogero G.}, Combining decision procedures for sorted theories, 641-653 [Zbl 1111.68691] \textit{Hommersom, Arjen; Lucas, Peter; Balser, Michael}, Meta-level verification of the quality of medical guidelines using interactive theorem proving, 654-666 [Zbl 1111.68654] \textit{Doherty, Patrick; Kertes, Steve; Magnusson, Martin; Szalas, Andrzej}, Towards a logical analysis of biochemical pathways, 667-679 [Zbl 1111.68671] \textit{Valverde, Agustín}, tabeql: a tableau based suite for equilibrium logic, 734-737 [Zbl 1111.68692] \textit{Ojeda-Aciego, M.; Valverde, A.}, tascpl: TAS solver for classical propositional logic, 738-741 [Zbl 1111.68655]