Search

The present book contains a collection of the best papers presented at the 5th International Conference on Interacción Persona Ordenador (IPO) (which is Human Computer Interaction in Spanish), which took place in th th Lleida on May 5 -7, 2004. This conference was co-organised by the Universitat of Lleida and the Universitat Oberta de Catalunya. Each year this conference is promoted by the Asociación para la Interacción Persona Ordenador (AIPO), the Spanish Human Computer Interaction Association, in collaboration with the local group of ACM- SIGCHI (CHISPA). In its fifth edition this conference has become a multidisciplinary forum for the discussion and dissemination of novelty research in Human Computer Interaction. The main goals of Interacción 2004 were: To expand the conference scope with internationally recognised invited speakers. The plenary talks were presented by Alan Dix, Yvonne Rogers, Geritt van der Veer, and Angel Puerta. To open the participation to Spanish speaker worldwide in order to be a point of reference of this discipline not only in Spain but also in the wider Spanish speaking community. This goal was reached through a very diverse program which included panels and posters sessions, where many different aspect of the Human Computer Interaction (HCI) were presented. All through the program, research from outside Spain was reflected through the contributions from people of other countries.

This book constitutes the refereed proceedings of the International Workshop on Altmetrics for Research Outputs Measurements and Scholarly Information Management, AROSIM 2018, held in Singapore, in January 2018. The 7 revised full papers presented together with two keynote papers and one introduction paper were carefully reviewed and selected from 20 submissions. The workshop will investigate how social media based metrics along with traditional and non-traditional metrics can advance the state-of-the-art in measuring research outputs.

This book contains the revised and extended versions of selected papers from the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, held in Lisbon, Portugal, during February 22–24, 2023. The 23 full papers included in this book were carefully reviewed and selected from 306 submissions. The conference was organized in 2 tracks as follows: One track focuses on Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general. The other track focuses mainly on Artificial Intelligence, Knowledge Representation, Planning, Learning, Scheduling, Perception Reactive AI Systems, and Evolutionary Computing and other topics related to Intelligent Systems and Computational Intelligence.

This book contains a selection of the best papers of the 32nd Benelux Conference on Artificial Intelligence, BNAIC/Benelearn 2020, held in Leiden, The Netherlands, in November 2020. Due to the COVID-19 pandemic the conference was held online. The 12 papers presented in this volume were carefully reviewed and selected from 41 regular submissions. They address various aspects of artificial intelligence such as natural language processing, agent technology, game theory, problem solving, machine learning, human-agent interaction, AI and education, and data analysis.The chapter 11 is published open access under a CC BY license (Creative Commons Attribution 4.0 International License) Chapter “Gaining Insight into Determinants of Physical Activity Using Bayesian Network Learning” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com..

This book constitutes the refereed proceedings of the 16th International Conference on Learning and Intelligent Optimization, LION 16, which took place in Milos Island, Greece, in June 2022.The 36 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 60 submissions. LION deals with automatic solver configuration, parallel methods, intelligent optimization, nature-inspired algorithms, hard combinatorial optimization problems, DC learning, computational intelligence, and others. The contributions were organized in topical sections as follows: Invited Papers; Contributed Papers.

This book constitutes the refereed proceedings of the 4th International Symposium on Mobile Internet Security, MobiSec 2019, held in Taichung, Taiwan, in October 2019.The 13 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers are organized in the topical sections: mobile internet security; mobile application and security; vehicular network security; deep learning applications.

This book constitutes selected papers from the refereed proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, which was held online during February 4–6, 2021.A total of 72 full and 99 short papers were carefully reviewed and selected for the conference from a total of 298 submissions; 17 selected full papers are included in this book. They were organized in topical sections named agents and artificial intelligence.

The present book includes extended and revised versions of papers presented during the 2018 International Computer Symposium (ICS 2018), held in Yunlin, Republic of China (Taiwan), on December 20-22, 2018.The 86 papers presented were carefully reviewed and selected from 263 submissions from 11 countries. The variety of the topics include machine learning, sensor devices and platforms, sensor networks, robotics, embedded systems, networks, operating systems, software system structures, database design and models, multimedia and multimodal retrieval, object detection, image processing, image compression, mobile and wireless security.

This book contains the revised and extended versions of selected papers from the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020, held in Valletta, Malta, in February 2020. Overall, 45 full papers, 74 short papers, and 56 poster papers were carefully reviewed and selected from 276 initial submissions. 23 of the 45 full papers were selected to be included in this volume. These papers deal with topics such as agents and artificial intelligence.

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

This book constitutes extended selected papers from the 17th Conference on Advanced Information Technologies for Management, AITM 2019, and the 14th Conference on Information Systems Management, ISM 2019, held as part of the Federated Conference on Computer Science and Information Systems, FedCSIS, which took place in Leipzig, Germany, in September 2019. The total of 7 full and 6 short papers presented in this volume were carefully reviewed and selected from a total of 45 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on and future directions of information technology for management in business and public organizations. They were organized in topical sections named: information technology assessment for future development; methods and models for designing information technology, and aspects of implementing information technology.

This book presents selected papers of 12 Workshops held in conjunction with the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, in Macao, China, in August 2019.The workshops included in this volume are: AI4KM 2019: 7th International Workshop on Artificial Intelligence for Knowledge Management and Innovation.FinNLP 2019: First International Workshop on Financial Technology and Natural Language Processing.OR 2019: 32nd International Workshop on Qualitative Reasoning.SURL 2019: Second International Workshop on Scaling-Up Reinforcement Learning.First International Workshop on Bringing Semantic Knowledge into Vision and Text Understanding.EASyHAT 2019: First International Workshop on Evaluation of Adaptive Systems for Human-Autonomy Teaming.ACAN 2019: 12th International Workshop on Agent-based Complex Automated Negotiations.First International Workshop on Deep Learning for Human Activity Recognition.HAI 2019:Second International Workshop on Humanizing AI.International Workshop on Language Sense on Computer.AISafety 2019: International Workshop on Artificial Intelligence Safety.DeLBP 2019: 4th International Workshop on Declarative Learning Based Programming.

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.

This book constitutes thoroughly revised and selected papers from the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, held in Funchal, Madeira, Portugal, in January 2018. The 22 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 101 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as innovative methods for MDD-based development and testing of web-based applications and user interfaces, support for development of Domain-Specific Languages (DSLs), MDD-based application development on multiprocessor platforms, advances in MDD tooling, formal semantics and behaviour modelling, and MDD-based product-line engineering.

This book contains revised selected papers from the 18th International Conference on Membrane Computing, CMC 2017, held in Bradford, UK, in July 2017. The 18 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They deal with membrane computing (P systems theory), an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. The volume also contains 2 invited talks.

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium “From Data to Models and Back'; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems​.

This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017. The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

This book constitutes the revised selected papers of the workshops of the 11th International Conference on Service-Oriented Computing (ICSOC 2013), held in Berlin, Germany, in December 2013. The conference hosted the following five workshops: 3rd International Workshop on Cloud Computing and Scientific Applications (CCSA'13); 1st International Workshop on Cloud Service Brokerage (CSB'13); 1st International Workshop on Pervasive Analytical Service Clouds for the Enterprise and Beyond (PASCEB'13); 9th International Workshop on Semantic Web Enabled Software Engineering (SWESE'13); 9th International Workshop on Engineering Service-Oriented Applications (WESOA'13); and a PhD Symposium, with best papers also being included in this book. The 54 papers included in this volume were carefully reviewed and selected from numerous submissions. They address various topics in the service-oriented computing domain and its emerging applications.

This book constitutes the refereed proceedings of the 5th Language and Technology Conference: Challenges for Computer Science and Linguistics, LTC 2011, held in Poznan, Poland, in November 2011. The 44 revised and in many cases substantially extended papers presented in this volume were carefully reviewed and selected from 111 submissions. The focus of the papers is on the following topics: speech, parsing, computational semantics, text analysis, text annotation, language resources: general issues, language resources: ontologies and Wordnets and machine translation.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, MobiQuitous 2013, held in Tokyo, Japan, in December 2013. The 67 revised full papers presented were carefully reviewed and selected from 141 submissions. The papers and 2 invited talks cover a wide range of topics such as mobile applications, social networks, networking, data management and services.

This book constitutes the revised selected papers of the workshops of the 13th International Conference of Web-based Learning, ICWL 2014, held in Tallinn, Estonia, in August 2014. This volume comprises papers of six workshops: 1. The Seventh International Workshop on Social and Personal Computing for Web-Supported Learning Communities (SPeL 2014) 2. The First International Workshop on Peer-Review, Peer-Assessment, and Self-Assessment in Education (PRASAE 2014) 3. International Workshop on Mobile and Personalized Learning (IWMPL 2014) 4. The First International Workshop on Open Badges in Education (OBIE 2014) 5. The Fourth International Symposium on Knowledge Management & E-Learning (KMEL 2014) 6. The Future of e-Textbooks Workshop (FeT 2014).

This book constitutes the thoroughly refereed post-conference proceedings of the International Conference for Smart Health, ICSH 2015, held in Phoenix, AZ, USA, in November 2015. The 33 papers presented together were carefully reviewed and selected from 43 submissions. The conference focused on topics and issues including medical monitoring and information extraction, clinical and medical data mining, health data analysis and management, big data and smart health, and healthcare intelligent systems and clinical practice.

This book constitutes the thoroughly refereed, selected papers on Cyber Security and Privacy EU Forum 2013, held in Belgium, in April 2013. The 14 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on cloud computing, security and privacy management, security and privacy technology, security and privacy policy.

This book constitutes the refereed proceedings of the National Annual Conference on High Performance Computing, HPC 2012, held in Zhangjiajie, China, in October 2012. The 14 revised full papers presented were carefully reviewed and selected from 260 submissions. The papers address issues such as parallel architecture, GPU computing, resource scheduling, parallel algorithm, and performance evaluation.

The 18 full and 13 short papers presented were carefully reviewed and selected from 255 submissions. There were organized in topical sections named: Image Processing, Pattern Analysis and Machine Vision; Information and Data Convergence; Disruptive Technologies for Future; E-Governance and Smart World

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and selected from 23 submissions. The papers are grouped in topical sections on protocols for diagnosis and clinical trials; modeling workflows; model checking workflows and control systems; interoperability; formal modeling of organs and devices; and safety, security, and privacy of medical records.

The two-volume set CCIS 827 and 828 constitutes the thoroughly refereed proceedings of the Third International Conference on Next Generation Computing Technologies, NGCT 2017, held in Dehradun, India, in October 2017. The 135 full papers presented were carefully reviewed and selected from 948 submissions. There were organized in topical sections named: Smart and Innovative Trends in Communication Protocols and Standards; Smart and Innovative Trends in Computational Intelligence and Data Science; Smart and Innovative Trends in Image Processing and Machine Vision; Smart Innovative Trends in Natural Language Processing for Indian Languages; Smart Innovative Trends in Security and Privacy.

The two-volume set CCIS 827 and 828 constitutes the thoroughly refereed proceedings of the Third International Conference on Next Generation Computing Technologies, NGCT 2017, held in Dehradun, India, in October 2017. The 135 full papers presented were carefully reviewed and selected from 948 submissions. There were organized in topical sections named: Smart and Innovative Trends in Communication Protocols and Standards; Smart and Innovative Trends in Computational Intelligence and Data Science; Smart and Innovative Trends in Image Processing and Machine Vision; Smart Innovative Trends in Natural Language Processing for Indian Languages; Smart Innovative Trends in Security and Privacy.

This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, in Paris, France, in July 2014. The 14 revised full papers (including 2 invited talks) were carefully reviewed and selected from 29 submissions and cover topics such as scheduling methods and algorithms, services and applications, fundamental models for resource management in the cloud.

This book constitutes the revised selected papers of the 9th Italian Workshop on Advances in Artificial Life and Evolutionary Computation held in Vietri sul Mare, Italy, in May 2014, in conjunction with the 24th Italian Workshop on Neural Networks, WIRN 2014.The 16 papers presented have been thoroughly reviewed and selected from 40 submissions. They cover the following topics: artificial neural networks; fuzzy inference systems; rough set; approximate reasoning; and optimization methods such as evolutionary computation, swarm intelligence, particle swarm optimization.

This book constitutes the refereed proceedings of the 8th International Conference, VISIGRAPP 2013 consisting of the Joint Conferences on Computer Vision (VISAPP), the International Conference on Computer Graphics, GRAPP 2013, and the International Conference on Information Visualization IVAPP 2013, held in Barcelona, Spain, in February 2013. The 15 revised full papers presented were carefully reviewed and selected from 445 submissions. The papers are organized in topical sections on theory and applications in computer vision, image analysis, computer graphics, and information visualization.

This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 19th International Conference on Parallel Computing, Euro-Par 2013, held in Aachen, Germany in August 2013. The 99 papers presented were carefully reviewed and selected from 145 submissions. The papers include seven workshops that have been co-located with Euro-Par in the previous years: - Big Data Cloud (Second Workshop on Big Data Management in Clouds) - Hetero Par (11th Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms) - HiBB (Fourth Workshop on High Performance Bioinformatics and Biomedicine) - OMHI (Second Workshop on On-chip Memory Hierarchies and Interconnects) - PROPER (Sixth Workshop on Productivity and Performance) - Resilience (Sixth Workshop on Resiliency in High Performance Computing with Clusters, Clouds, and Grids) - UCHPC (Sixth Workshop on Un Conventional High Performance Computing) as well as six newcomers: - DIHC (First Workshop on Dependability and Interoperability in Heterogeneous Clouds) - Fed ICI (First Workshop on Federative and Interoperable Cloud Infrastructures) - LSDVE (First Workshop on Large Scale Distributed Virtual Environments on Clouds and P2P) - MHPC (Workshop on Middleware for HPC and Big Data Systems) -PADABS ( First Workshop on Parallel and Distributed Agent Based Simulations) - ROME (First Workshop on Runtime and Operating Systems for the Many core Era) All these workshops focus on promotion and advancement of all aspects of parallel and distributed computing.

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2013, held in Macau, China, in August 2013. The 19 revised full papers presented together with 1 invited talk in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in following subjects: panel position statements, pathways, generation and certification, interoperability, patient safety, device safety, formal methods and HIV/AIDS and privacy.

This book constitutes the refereed proceedings of the 20th EUNICE/IFIP WG 6.2, 6.6 Workshop on Advances in Communication Networking, EUNICE 2014, held in Rennes, France, in September 2014. The 21 papers presented were carefully reviewed and selected from numerous submissions and present aspects in the field of information and communication technologies.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Parameterized and Exact Computation, IPEC 2014, in Wroclaw, Poland, in September 2014. The 27 revised full papers presented together with one invited paper were carefully reviewed and selected from 42 submissions. The topics addressed cover research in all aspects of parameterized/exact algorithms and complexity including but are not limited to new techniques for the design and analysis of parameterized and exact algorithms, fixed-parameter tractability results; parameterized complexity theory, relationship between parameterized complexity and traditional complexity classifications; applications of parameterized and exact exponential-time computation; and implementation issues of parameterized and exact exponential-time algorithms.

This book constitutes the thoroughly refereed proceedings of the 6th International Conference on Ad Hoc Networks, ADHOCNETS 2014, held in Rhodes, Greece, in August 2014. The 16 regular and invited papers presented were carefully selected and reviewed from numerous submissions and cover a wide range of applications, such as mobile ad hoc networks, sensor networks, vehicular networks, intelligent transportation systems, wireless sensor networks security.

The two-volume set LNAI 7629 and LNAI 7630 constitutes the refereed proceedings of the 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, held in San Luis Potosí, Mexico, in October/November 2012. The 80 revised papers presented were carefully reviewed and selected from 224 submissions. The first volume includes 40 papers representing the current main topics of interest for the AI community and their applications. The papers are organized in the following topical sections: machine learning and pattern recognition; computer vision and image processing; robotics; knowledge representation, reasoning, and scheduling; medical applications of artificial intelligence.

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012. The volume contains 13 revised selected presented at DALT 2012.The papers cover the following topics: declarative languages and technologies, computational logics, declarative approaches to engineering agent-based systems, models of business interactions among agents, and models of trust, commitments, and reputation for agents.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Security and Trust Management, STM 2012, held in Pisa, Italy, in September 2012 - in conjunction with the 17th European Symposium Research in Computer Security (ESORICS 2012). The 20 revised full papers were carefully reviewed and selected from 57 submissions. The papers are organized into topical sections on policy enforcement and monitoring; access control; trust, reputation, and privacy; distributed systems and physical security; authentication and security policies.

This book constitutes the refereed proceedings of the International Workshop on Augemented Environments for Computer-Assisted Interventions, held in conjunction with MICCAI 2012, in Nice, France in September 2012. The 16 revised full papers presented were carefully reviewed and selected from 22 submissions. The papers cover the topics of image registration and fusion, calibration, visualization and 3D perception, hardware and optical design, real-time implementation, as well as validation, clinical applications, and clinical evaluation.

This book constitutes the refereed proceedings of the International Workshop on Depth Image Analysis, held in conjunction with ICPR 2012 in Japan in November 2012. The 16 revised full papers presented at the workshop were carefully reviewed and selected from 27 submissions and are complemented with 3 invited papers that were also peer-reviewed. The papers are organized in topical sections on acquisition and modeling of depth data, processing and analysis of depth data, applications, and ICPR contest.

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Symposium on Graph Drawing, GD 2013, held in Bordeaux, France, in September 2013. The 42 revised full papers presented together with 12 revised short papers, 3 invited talks and 1 poster description were carefully reviewed and selected from 110 submissions. The papers are organized in topical sections on upward drawings, planarity, beyond planarity, geometric representations, 3D et al., universality, practical graph drawing, subgraphs, crossings, geometric graphs and geographic networks, angular restrictions, grids, curves and routes. The book also contains a short description of the graph drawing contest.

This book constitutes the thoroughly refereed post-proceedings of the 13th Agent-Oriented Software Engineering (AOSE) workshop, held at the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, in Valencia, Spain, in June 2012. This volume presents 9 thoroughly revised papers selected from 24 submissions as well as two invited articles by leading researchers in the field. The papers cover a broad range of topics related to software engineering of agent-based systems, with particular attention to the integration of concepts and techniques from multi-agent systems with recent programming languages, platforms, and established software engineering methodologies.

This book constitutes the refereed proceedings of the First International Workshop on Engineering Multi-Agent Systems, EMAS 2013, held in St. Paul, MN, USA, in May 2013. The 19 full papers were carefully reviewed and selected from 30 submissions. The focus of the papers is on following topics: agent-oriented software engineering, declarative agent languages and technologies, and programming multi-agent systems.

This book constitutes the thoroughly refereed post-proceedings of the 22nd International Conference on Inductive Logic Programming, ILP 2012, held in Dubrovnik, Croatia, in September 2012. The 18 revised full papers were carefully reviewed and selected from 41 submissions. The papers cover the following topics: propositionalization, logical foundations, implementations, probabilistic ILP, applications in robotics and biology, grammatical inference, spatial learning and graph-based learning.

This book constitutes the thoroughly refereed post-proceedings of the seven workshops and the PhD Symposium that were co-located with the 13th International Conference on Web Engineering, ICWE 2013, held in Aalborg, Denmark, in July 2013. The papers cover research in topics such as social data management; cloud service engineering; agile web development and quality management in web engineering.