Table of Contents

• Representing and Reasoning with PreferencesFrancesca Rossi. 1 [doi]
• Engineering of Logics for the Content-Based Representation of InformationFranz Baader. 2-3 [doi]
• Formal Methods in RoboticsBernhard Nebel. 4 [doi]
• Games for Cognitive AgentsMehdi Dastani, Leendert W. N. van der Torre. 5-17 [doi]
• Knowledge-Theoretic Properties of Strategic VotingSamir Chopra, Eric Pacuit, Rohit Parikh. 18-30 [doi]
• The CIFF Proof Procedure for Abductive Logic Programming with ConstraintsUlrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni. 31-43 [doi]
• Hierarchical Decision Making by Autonomous AgentsStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. 44-56 [doi]
• Verifying Communicating Agents by Model Checking in a Temporal Action LogicLaura Giordano, Alberto Martelli, Camilla Schwind. 57-69 [doi]
• Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to AgencyStefan Wölfl. 70-81 [doi]
• Practical Reasoning for Uncertain AgentsNivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek. 82-94 [doi]
• Modelling Communicating Agents in Timed Reasoning LogicsNatasha Alechina, Brian Logan, Mark Whitsey. 95-107 [doi]
• On the Relation Between ID-Logic and Answer Set ProgrammingMaarten Mariën, David Gilis, Marc Denecker. 108-120 [doi]
• An Implementation of Statistical Default LogicGregory R. Wheeler, Carlos Viegas Damásio. 121-133 [doi]
• Capturing Parallel Circumscription with Disjunctive Logic ProgramsTomi Janhunen, Emilia Oikarinen. 134-146 [doi]
• Towards a First Order Equilibrium Logic for Nonmonotonic ReasoningDavid Pearce, Agustín Valverde. 147-160 [doi]
• Characterizations for Relativized Notions of Equivalence in Answer Set ProgrammingStefan Woltran. 161-173 [doi]
• Equivalence of Logic Programs Under UpdatesKatsumi Inoue, Chiaki Sakama. 174-186 [doi]
• Cardinality Constraint ProgramsTommi Syrjänen. 187-199 [doi]
• Recursive Aggregates in Disjunctive Logic Programs: Semantics and ComplexityWolfgang Faber, Nicola Leone, Gerald Pfeifer. 200-212 [doi]
• A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic ApproachEnrico Marchioni, Lluis Godo. 213-225 [doi]
• A Logic with Conditional ProbabilitiesMiodrag Raskovic, Zoran Ognjanovic, Zoran Markovic. 226-238 [doi]
• Reasoning About Quantum SystemsPaulo Mateus, Amílcar Sernadas. 239-251 [doi]
• Sorted Multi-adjoint Logic Programs: Termination Results and ApplicationsCarlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego. 252-265 [doi]
• The Modal Logic Programming System MPrologLinh Anh Nguyen. 266-278 [doi]
• Soundness and Completeness of an Efficient Negation for PrologJuan José Moreno-Navarro, Susana Muñoz-Hernández. 279-293 [doi]
• Logic Programs with Functions and Default ValuesPedro Cabalar, David Lorenzo. 294-306 [doi]
• Parallel Encodings of Classical Planning as SatisfiabilityJussi Rintanen, Keijo Heljanko, Ilkka Niemelä. 307-319 [doi]
• Relational Markov GamesAlberto Finzi, Thomas Lukasiewicz. 320-333 [doi]
• On the Logic of Being Motivated to Achieve rho, Before delta Jan Broersen. 334-346 [doi]
• Representation and Complexity in Boolean GamesPaul E. Dunne, Wiebe van der Hoek. 347-359 [doi]
• Complexity in Value-Based Argument SystemsPaul E. Dunne, Trevor J. M. Bench-Capon. 360-371 [doi]
• A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded FragmentYevgeny Kazakov. 372-384 [doi]
• Transforming Fuzzy Description Logics into Classical Description LogicsUmberto Straccia. 385-399 [doi]
• Computing the Least Common Subsumer w.r.t. a Background TerminologyFranz Baader, Baris Sertkaya, Anni-Yasmin Turhan. 400-412 [doi]
• Explaining Subsumption by Optimal InterpolationStefan Schlobach. 413-425 [doi]
• Two Approaches to Merging Knowledge BasesJames P. Delgrande, Torsten Schaub. 426-438 [doi]
• An Algebraic Approach to Belief Contraction and Nonmonotonic EntailmentLee Flax. 439-451 [doi]
• Logical Connectives for Nonmonotonicity: A Choice Function-Based ApproachJérôme Mengin. 452-461 [doi]
• On Sceptical Versus Credulous Acceptance for Abstract Argument SystemsSylvie Doutre, Jérôme Mengin. 462-473 [doi]
• Line-Based Affine Reasoning in Euclidean PlanePhilippe Balbiani, Tinko Tinchev. 474-486 [doi]
• Measure Logics for Spatial ReasoningMehmet Giritli. 487-499 [doi]
• Only Knowing with Confidence Levels: Reductions and ComplexityEspen H. Lian, Tore Langholm, Arild Waaler. 500-512 [doi]
• Time Granularities and Ultimately Periodic AutomataDavide Bresolin, Angelo Montanari, Gabriele Puppis. 513-525 [doi]
• Polynomial Approximations of Full Propositional Logic via Limited BivalenceMarcelo Finger. 526-538 [doi]
• Some Techniques for Branch-Saturation in Free-Variable TableauxNicolas Peltier. 539-551 [doi]
• Semantic Knowledge PartitioningChristoph Wernhard. 552-564 [doi]
• Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic ProgramsLinh Anh Nguyen. 565-577 [doi]
• Discovering Anomalies in Evidential Knowledge by Logic ProgrammingFabrizio Angiulli, Gianluigi Greco, Luigi Palopoli. 578-590 [doi]
• Logic Programming Infrastructure for Inferences on FrameNetPeter Baumgartner, Aljoscha Burchardt. 591-603 [doi]
• An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GISJonathan Ben-Naim, Salem Benferhat, Odile Papini, Eric Würbel. 604-616 [doi]
• Automatic Compilation of Protocol Insecurity Problems into Logic ProgrammingAlessandro Armando, Luca Compagna, Yuliya Lierler. 617-627 [doi]
• Exploiting Functional Dependencies in Declarative Problem SpecificationsMarco Cadoli, Toni Mancini. 628-640 [doi]
• Combining Decision Procedures for Sorted TheoriesCesare Tinelli, Calogero G. Zarba. 641-653 [doi]
• Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem ProvingArjen Hommersom, Peter J. F. Lucas, Michael Balser. 654-666 [doi]
• Towards a Logical Analysis of Biochemical PathwaysPatrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas. 667-679 [doi]
• Abductive Logic Programming with CIFF: System DescriptionUlrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni. 680-684 [doi]
• The DALI Logic Programming Agent-Oriented LanguageStefania Costantini, Arianna Tocchio. 685-688 [doi]
• Qsmodels: ASP Planning in Interactive Gaming EnvironmentLuca Padovani, Alessandro Provetti. 689-692 [doi]
• A System with Template Answer Set ProgramsFrancesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro. 693-697 [doi]
• New DLV Features for Data IntegrationFrancesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer. 698-701 [doi]
• Profiling Answer Set Programming: The Visualization Component of the noMoRe SystemAndreas Bösel, Thomas Linke, Torsten Schaub. 702-705 [doi]
• The PLP SystemToshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta. 706-709 [doi]
• The MyYapDB Deductive Database SystemMichel Ferreira, Ricardo Rocha. 710-713 [doi]
• InterProlog: Towards a Declarative Embedding of Logic Programming in JavaMiguel Calejo. 714-717 [doi]
• IndLog - Induction in LogicRui Camacho. 718-721 [doi]
• OLEX - A Reasoning-Based Text ClassifierChiara Cumbo, Salvatore Iiritano, Pasquale Rullo. 722-725 [doi]
• Verdi: An Automated Tool for Web Sites VerificationMaría Alpuente, Demis Ballis, Moreno Falaschi. 726-729 [doi]
• SATMC: A SAT-Based Model Checker for Security ProtocolsAlessandro Armando, Luca Compagna. 730-733 [doi]
• tabeql: A Tableau Based Suite for Equilibrium LogicAgustín Valverde. 734-737 [doi]
• tascpl: TAS Solver for Classical Propositional LogicManuel Ojeda-Aciego, Agustín Valverde. 738-741 [doi]