Filter
Systemanalys & systemkonstruktion
Filter
This book constitutes the refereed proceedings of the 24th Annual Conference Towards Autonomous Robotic Systems, TAROS 2023, held in Cambridge, UK, during September 13–15, 2023.The …
The volume LNAI 13054 constitutes the refereed proceedings of the 22th Annual Conference Towards Autonomous Robotic Systems, TAROS 2021, held in Lincoln, UK, in September 2021.*The …
The volume LNAI 13546 constitutes the refereed proceedings of the 23rd Annual Conference Towards Autonomous Robotic Systems, TAROS 2022, held in Culham, UK, in September 2022. The …
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.Since its conception as a discipline …
As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.The authors used this …
This volume presents the proceedings of a workshop on evolutionary models and strategies and another workshop on parallel processing, logic, organization, and …
This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers …
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Collaborative Robotics, ICR 2023, held in Baku, Azerbaijan, during October 25–29, …
This book constitutes the refereed proceedings of the 14th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2022, held Ho Chi Minh City, Vietnam in November …
This book constitutes the refereed proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017, held in Lyon, …