Abstract is missing.
- Frontmatter, Conference Organisation & Table of Contents [doi]
- Building and Operating Products at Google-scaleOllie Cook. 1 [doi]
- Artificial Intelligence and Human ThinkingRobert Kowalski. 2 [doi]
- Combining Markov Decision Processes with Linear Optimal ControllersEkaterina Abramova, Aldo Faisal, Daniel Kuhn. 3-9 [doi]
- Neural-Symbolic Cognitive Agents: Architecture and TheoryLeo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer. 10-16 [doi]
- Time-Bounded Verification of CTMCs against MTL specificationsMarco Diciolla. 17-23 [doi]
- MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling toolMarcel C. Guenther, Jeremy T. Bradley. 24-30 [doi]
- Argumentation and Temporal PersistenceEvgenios Hadjisoteriou, Antonis C. Kakas. 31-38 [doi]
- Facial Action Recognition using sparse appearance descriptors and their pyramid representationsBihan Jiang, Michel Valstar, Maja Pantic. 39-45 [doi]
- A note on a dichotomy for the classes W[P](C)Björn Lellmann. 46-51 [doi]
- Agent Oriented Programming: from Revolution to EvolutionAlex Muscar. 52-58 [doi]
- Conditional Labelling for Abstract ArgumentationAlan Perotti, Guido Boella, Dov M. Gabbay, Leon van der Torre, Serena Villata. 59-65 [doi]
- A Persuasive Dialogue Game for Coalition FormationLuke Riley. 66-72 [doi]
- Model-based Self-Adaptive Components: A preliminary approachPedro Rodrigues, Emil Lupu. 73-72 [doi]
- Safe, Flexible Recursive Types for Featherweight JavaReuben N. S. Rowe. 80-86 [doi]
- Measuring minimal change in argument premise revisionMark Snaith, Chris Reed. 87-93 [doi]
- Applying Algebraic Specifications on Digital Right Management SystemsNikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos. 94-100 [doi]
- Reduction of variability in split-merge systemsIryna Tsimashenka, William J. Knottenbelt. 101-107 [doi]
- Real-Time Detection of Process Change using Process MiningPhil Weber, Behzad Bordbar, Peter Tino. 108-114 [doi]