Abstract is missing.
- DNA Tiles, Wang Tiles and CombinatorsMarco Bellia, M. Eugenia Occhiuto. 1-14 [doi]
- Engineering MAS - A Device Integration Framework for Smart Home EnvironmentsJack Betts, Berndt Müller. 15-26 [doi]
- Experiments with Simulated Humanoid RobotsHans-Dieter Burkhard, Monika Domanska. 27-38 [doi]
- Searching for Concepts in Natural Language Part of Fire Service ReportsKamil Bak, Adam Krasuski, Marcin S. Szczuka. 39-48 [doi]
- A Rule Format for Rooted Branching BisimulationValentina Castiglioni, Ruggero Lanotte, Simone Tini. 49-60 [doi]
- A Rewriting Based Monitoring Algorithm for TPTLMing Chai, Holger Schlingloff. 61-72 [doi]
- Sound Recoveries of Structural Workflows with SynchronizationPiotr Chrzastowski-Wachtel, Pawel Golab, Bartosz Lewinski. 73-87 [doi]
- Floating Channels Between Communicating NetsLudwik Czaja. 88-98 [doi]
- The Mathematical Model for Interference Simulation and Optimization in 802.11n NetworksIwona Dolinska, Antoni Masiukiewicz, Grzegorz Rzadkowski. 99-110 [doi]
- A Domain View of Timed BehaviorsRoman S. Dubtsov, Elena S. Oshevskaya, Irina Virbitskaite. 111-121 [doi]
- A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific OnthologyNatalia Garanina, Elena Sidorova, Evgeny Bodin. 122-132 [doi]
- An Explicit Formula for Sorting and its Application to Sorting in LatticesJens Gerlach. 133-144 [doi]
- Rough Inclusion Functions and Similarity IndicesAnna Gomolinska, Marcin Wolski. 145-156 [doi]
- Efficient Rough Set Theory MergingAdam Grabowski. 157-168 [doi]
- Opacity TestingDamas P. Gruska. 169-180 [doi]
- Structural and Dynamic Restrictions of Elementary Object SystemsFrank Heitmann, Michael Köhler-Bußmeier. 181-192 [doi]
- Causal Structures for General Concurrent BehavioursRyszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski. 193-205 [doi]
- Interactive Complex GranulesAndrzej Jankowski, Andrzej Skowron, Roman W. Swiniarski. 206-218 [doi]
- Identification of Formal Fallacies in a Natural DialogueMagdalena Kacprzak, Anna Sawicka. 219-231 [doi]
- Discovery of Cancellation Regions within Process Mining TechniquesAnna Kalenkova, Irina A. Lomazova. 232-244 [doi]
- Genetic Algorithm with Path Relinking for the Orienteering Problem with Time WindowsJoanna Karbowska-Chilinska, Pawel Zabielski. 245-258 [doi]
- Parameter Synthesis for Timed Kripke StructuresMichal Knapik, Wojciech Penczek. 259-270 [doi]
- Voronoi Based Strategic Positioning for Robot SoccerHeinrich Mellmann, Steffen Kaden, Marcus Scheunemann, Hans-Dieter Burkhard. 271-282 [doi]
- Adaptive Grasping for a Small Humanoid Robot Utilizing Force- and Electric Current SensorsHeinrich Mellmann, Marcus Scheunemann, Oliver Stadie. 283-293 [doi]
- Towards a Jason Infrastructure for Soccer Playing AgentsDejan Mitrovic, Mirjana Ivanovic, Hans-Dieter Burkhard. 294-295 [doi]
- An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQLinh Anh Nguyen, Joanna Golinska-Pilarek. 296-308 [doi]
- SMT vs Genetic Algorithms: Concrete Planning in PlanICS FrameworkArtur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz. 309-321 [doi]
- Granular Mereotopology: A First SketchLech Polkowski, Maria Semeniuk-Polkowska. 322-331 [doi]
- SMT-Based Reachability Checking for Bounded Time Petri NetsAgata Pólrola, Piotr Cybula, Artur Meski. 332-341 [doi]
- A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query PlansPiotr Przymus, Krzysztof Kaczmarski, Krzysztof Stencel. 342-354 [doi]
- Analysis of Multilayer Neural Networks with Direct and Cross-Forward ConnectionStanislaw Placzek, Bijaya Adhikari. 355-370 [doi]
- Fractional Genetic Programming for a More Gradual EvolutionArtur Rataj. 371-382 [doi]
- From EBNF to PEGRoman R. Redziejowski. 383-388 [doi]
- Towards an Object-Oriented Programming Language for Physarum Polycephalum ComputingAndrew Schumann, Krzysztof Pancerz. 389-397 [doi]
- About New Version of RSDS SystemZbigniew Suraj, Piotr Grochowalski. 398-408 [doi]
- Generation of Labelled Transition Systems for Alvis Models using Haskell Model RepresentationMarcin Szpyrka, Piotr Matyasik, Michal Wypych. 409-420 [doi]
- Bisimulation-Based Concept Learning in Description LogicsThanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen. 421-433 [doi]
- Preprocessing for Network Reconstruction: Feasibility Test and Handling InfeasibilityAnnegret Katrin Wagler, Jan-Thierry Wegener. 434-447 [doi]
- A Holistic State Equation for Timed Petri NetsMatthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz. 448-456 [doi]
- Query Rewriting Based on Meta-Granular AggregationPiotr Wisniewski, Krzysztof Stencel. 457-468 [doi]
- Checking MTL Properties of Discrete Timed Automata via Bounded Model CheckingBozena Wozna-Szczesniak, Andrzej Zbrzezny. 469-477 [doi]
- On Boolean Encodings of Transition Relation for Parallel Compositions of Transition SystemsAndrzej Zbrzezny. 478-489 [doi]