- RoboCup-athome - lists.robocup.org

[@Home2022] First Call for Participation (Deadline extended)
by Mauricio Matamoros 29 Nov '21

29 Nov '21

Online version: https://athome.robocup.org/2022-cfp1-all/ ========================================================================= *First Call for Participation* RoboCup@Home 2022 (DSPL · OPL · SSPL) Summer 2022 (Bangkok, Thailand) https://athome.robocup.org/ https://github.com/RoboCupAtHome/RuleBook RoboCup is an international scientific initiative with the goal to advance the state of the art of intelligent robots through competitions (RoboCup@Home, RoboCup Soccer, RoboCup Rescue, RoboCup@Work and RoboCup Junior). The RoboCup@Home league aims to develop service and assistive robot technology with high relevance for future personal domestic applications. It is the largest international annual competition for autonomous service robots and is part of the RoboCup initiative. A set of benchmark tests is used to evaluate the robots’ abilities and performance in a realistic home environment setting. Focus lies on the following domains but is not limited to: Human-Robot-Interaction and Cooperation, Navigation and Mapping in dynamic environments, Computer Vision and Object Recognition under natural light conditions, Object Manipulation, Adaptive Behaviors, Behavior Integration, Ambient Intelligence, Standardization and System Integration. This page describes the preregistration and qualification procedure for RoboCup@Home 2022. Important dates: Oct. 31, 2021 Publication of the Call for Participation *Dec. 12, 2021* *EXTENDED Deadline for submission of qualification material.* *(Team Description Paper, Team Video, Team Website).* Jan. 10, 2022 Qualification announcement Jan. 30, 2022 Deadline for Participation Confirmation The qualification procedure consists of the following steps: Step 1) Qualification Material Submission (mandatory) The team ***MUST*** send an email to the Organizing Committee (oc[at] robocupathome.org) to participate in the qualification process for the RoboCup@Home 2022 event. Please fill in the following information: Team Name: League: [ DSPL | OPL | SSPL ] Country: Affiliation: Team Leader Name: Contact information (E-mail): Rank in local tournaments: Link to a team video: Link to a team web site devoted to their efforts: Team Description Paper (TDP) attached to the email based on the official template. The e-mail subject should be: [@Home2022-Qualification] (YourTeamName) Considerations: - Only one platform can be specified per team. - Only one team leader can be specified per team. - Only one team video url can be specified per team. - Only one contact email can be specified per team. - All the publications and software to be evaluated for qualification ***MUST*** be in the team’s website. - The email must be encoded in UTF-8 using only the ISO-8859-1 character set. ***** Deadline EXTENDED: Sunday, Dec. 12, 2021 23:59 GMT ****** Step 2) Participation confirmation (mandatory) All qualified teams ***MUST*** send an email to the Organizing Committee (oc[at]robocupathome.org) to confirm (or cancel) their participation in the RoboCup@Home 2022 event. Confirming attendance implies that the team has sufficient resources to register, and commits to attend to the event. To confirm participation, please fill in the following information: Team Name: League: [ DSPL | OPL | SSPL ] Country: Hereby [Team Name] of [Country] [confirms | forfeits] participation in the the RoboCup@Home [League]. The e-mail subject should be: [@Home2022-Confirmation] (YourTeamName) *Remark: *Qualified teams who miss the participation confirmation will be disqualified automatically and the participation slots freed for the Second Call for Participation. ***** Deadline: Sunday, Jan. 30, 2022 23:59 GMT ****** Step 3) Robot Acquisition (Standard Platform Leagues): Qualified Teams must contact the supplier as soon as the Qualification Notification arrives to start the acquisition procedure. Teams selected to receive Standard-Platform robots have to make an agreement with the supplier in compliance with the supplier’s instructions. The suppliers are not allowed to sell, export, lease and/or ship their products to natural or legal persons and to entities and countries which are subject to international sanctions or prohibitions. Since Selection Committee cannot answer this issue, please ask the supplier directly. *Remark:* Failing to acquire a Standard-Platform will void the qualification of the SSPL/DSPL. It won’t not possible for SSPL/DSPL to change to OPL. Instructions for the Qualification Material Instructions for the Team Video: In order to proof a running hardware, each team has to provide a qualification video. As a minimum requirement for qualification, the video must show the robot(s) successfully solving a task involving the integration of at least 5 different abilities, such as: environmental reasoning, high-level task planning, human-robot interaction, localization, manipulation, object recognition, people recognition, etc. *Remarks:* - The shown task execution must look continuous, smooth, and robust. - When speeding-up video, the speed factor must be indicated. - The language spoken and shown in the video must be English. When using any other languages, translations must be included. - We strongly suggest upload videos to Youtube. - Videos sent will be uploaded/displayed in the league’s youtube channel http://www.youtube.com/channel/UChkdCpT0xrFMMt-_N8wSVew/playlists” <http://www.youtube.com/channel/UChkdCpT0xrFMMt-_N8wSVew/playlists> - *Standard Platforms Only:* Teams are allowed to use any robot in their Team Video. However, the use of the standard robot is advised. *HINT:* It is strongly advised to show your robot(s) smoothly and accurately solving any of the Stage II tests of the 2018, 2019, and 2020 rulebooks. *Copyright note:*When sending videos for qualification, teams implicitly grant permission to RoboCup @Home and the RoboCup Federation to copy, modify, distribute, upload, publish, and use the multimedia material to promote the event and the league at convenience. Instructions for the TDP The TDP is an 8-pages long scientific paper, detailing information on the technical and scientific approach of the team’s research, while including also the following: - TDP - Group’s research focus and interests. - Innovative technology and scientific contribution - Please specify when your research is being used by other teams or research groups - Please specify when you are using software from other teams - Brief, general description of the system when solving a [domestic] task (applicability in the real world) - The impact of your research must be clearly visible - Maximum length is *8 pages* (including figures and citations) - Annex - Photo(s) of the robot - Brief, compact list of the 3rd party robot’s software (e.g. include MoveIt/YOLO) - Brief, compact description of all external computing devices, if any - Brief, compact description of the robot’s hardware (OPL Only) - Please mark with an asterisk home-made software solutions - Annex should be appended after the References - There is no page limit for annex, but a maximum of one page is strongly encouraged - TDP length is *****8 pages + annex***** (any submissions over this length will be disqualified). - *DSPL and SSPL:* The robot depicted in the TDP or Team Video must be the league’s standard one. For the TDP, please use the Springer LNAI format <http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0> used in the RoboCup Symposium submissions and limit yourself to 8 pages without altering margins or spacing (including references but excluding the annex). You may download a template for the TDP from here <https://github.com/RoboCupAtHome/TDPTemplate>. *Remark: *The language for the TDP, its graphics, tables, images, and all additional content must be English. Content in other languages must be translated. *Copyright note:*All TDPs sent for qualification may be made publicly available in the RoboCup @Home Wiki for further reference. On submitting, teams implicitly grant permission to RoboCup @Home and the RoboCup Federation to copy, distribute, upload, publish, and use the manuscript to promote the event and the league at convenience. ***** Exceeding the number of pages will automatically void your application *****. Instructions for the Web site While the TDP goes into detail about the technical and scientific approach of the team’s research, the website should be designed for a broader audience, including: - Photos of the robot(s) - Videos of the robot(s) - Description of the approaches and information on scientific achievements - Relevant publications (last 5 years, preferably available to download) - Link to repositories with software for the community - Team members - Previous participation in RoboCup - Participation and rankings in local RoboCup tournaments *Remark: *No IP addresses will be accepted as website. *Remark: *Only documented active software repositories are considered as contributions to the league. It must be clear and straightforward to other teams how to use your software. Qualification and evaluation criteria: In this first Call for Participation, up to 8 teams per league can be assigned a participation slot. In order to qualify, a team must meet the minimum selection requirements approved by the Executive Committee. However, meeting the minimum requirements won’t automatically grant a participation slot. Only the top 8 teams meeting the selection criterion will qualify for participation. Rejections are strongly advised to improve their qualification materials and apply in the second CFP. Qualification materials will be judged by the following criteria: - Team description paper (clarity, scientific contributions, re-usability by the league, applicability in real world) - Performance in local tournaments and previous competitions. - Qualification Video (number of demonstrated abilities, integration, difficulty of the task, applicability in real world) - Website (multimedia, publications from last 5 years, downloadable content, open-source software and other contributions) - Relevant Scientific contribution/publications (downloadable papers and open-source software) - Novelty of approach (what you do is new for @Home) We encourage teams to produce self-explicative videos for a general audience where complex tasks are solved. For Team Description Papers focus on the scientific contribution and avoid brief descriptions of the overall system. With kind regards, and looking forward to see your team in Bangkok, The 2022 RoboCup@Home Organizing and Technical Committees

1 0

AtHome2022 - First Call for Participation
by Mauricio Matamoros 01 Nov '21

01 Nov '21

Online version: https://athome.robocup.org/2022-cfp1-all/ ==================================================================== First Call for Participation RoboCup@Home 2022 (DSPL · OPL · SSPL) Summer 2022 (Bangkok, Thailand) RoboCup is an international scientific initiative with the goal to advance the state of the art of intelligent robots through competitions (RoboCup@Home, RoboCup Soccer, RoboCup Rescue, RoboCup@Work and RoboCup Junior). The RoboCup@Home league aims to develop service and assistive robot technology with high relevance for future personal domestic applications. It is the largest international annual competition for autonomous service robots and is part of the RoboCup initiative. A set of benchmark tests is used to evaluate the robots’ abilities and performance in a realistic home environment setting. Focus lies on the following domains but is not limited to: Human-Robot-Interaction and Cooperation, Navigation and Mapping in dynamic environments, Computer Vision and Object Recognition under natural light conditions, Object Manipulation, Adaptive Behaviors, Behavior Integration, Ambient Intelligence, Standardization and System Integration. This page describes the preregistration and qualification procedure for RoboCup@Home 2022. Important dates: Oct. 31, 2021 Publication of the Call for Participation Nov. 28, 2021 Deadline for submission of qualification material. (Team Description Paper, Team Video, Team Website). Jan. 10, 2022 Qualification announcement Jan. 30, 2022 Deadline for Participation Confirmation The qualification procedure consists of the following steps: ****Step 1) Qualification Material Submission (mandatory)**** The team ***MUST*** send an email to the Organizing Committee (oc [at]robocupathome.org) to participate in the qualification process for the RoboCup@Home 2022 event. Please fill in the following information: Team Name: League: [ DSPL | OPL | SSPL ] Country: Affiliation: Team Leader Name: Contact information (E-mail): Rank in local tournaments: Link to a team video: Link to a team web site devoted to their efforts: Team Description Paper (TDP) attached to the email based on the official template. The e-mail subject should be: [@Home2022-Qualification](YourTeamName) Considerations: · Only one platform can be specified per team. Only one team leader · can be specified per team. · Only one team video url can be specified per team. · Only one contact email can be specified per team. · All the publications and software to be evaluated for qualification ***MUST*** be in the team’s website. · The email must be encoded in UTF-8 using only the ISO-8859-1 character set. **** Deadline: Sunday, Nov. 28, 2021 23:59 GMT ***** ****Step 2) Participation confirmation (mandatory)**** All qualified teams ***MUST*** send an email to the Organizing Committee (oc[at]robocupathome.org) to confirm (or cancel) their participation in the RoboCup@Home 2022 event. Confirming attendance implies that the team has sufficient resources to register, and commits to attend to the event. To confirm participation, please fill in the following information: Team Name: League: [ DSPL | OPL | SSPL ] Country: Hereby [Team Name] of [Country] [confirms | forfeits] participation in the the RoboCup@Home [League]. The e-mail subject should be: [@Home2022-Confirmation] (YourTeamName) Remark: Qualified teams who miss the participation confirmation will be disqualified automatically and the participation slots freed for the Second Call for Participation. **** Deadline: Sunday, Jan. 30, 2022 23:59 GMT ***** ****Step 3) Robot Acquisition (Standard Platform Leagues):**** Qualified Teams must contact the supplier as soon as the Qualification Notification arrives to start the acquisition procedure. Teams selected to receive Standard-Platform robots have to make an agreement with the supplier in compliance with the supplier’s instructions. The suppliers are not allowed to sell, export, lease and/or ship their products to natural or legal persons and to entities and countries which are subject to international sanctions or prohibitions. Since Selection Committee cannot answer this issue, please ask the supplier directly. Remark: Failing to acquire a Standard-Platform will void the qualification of the SSPL/DSPL. It won’t not possible for SSPL/DSPL to change to OPL. ****Instructions for the Qualification Material**** ***Instructions for the Team Video:*** In order to proof a running hardware, each team has to provide a qualification video. As a minimum requirement for qualification, the video must show the robot(s) successfully solving a task involving the integration of at least 5 different abilities, such as: environmental reasoning, high-level task planning, human-robot interaction, localization, manipulation, object recognition, people recognition, etc. Remarks: · The shown task execution must look continuous, smooth, and robust. · When speeding-up video, the speed factor must be indicated. · The language spoken and shown in the video must be English. · When using any other languages, translations must be included. · We strongly suggest upload videos to Youtube. · Videos sent will be uploaded/displayed in the league’s youtube channel http://www.youtube.com/channel/UChkdCpT0xrFMMt-_N8wSVew/playlists” · Standard Platforms Only: Teams are allowed to use any robot in their Team Video. However, the use of the standard robot is advised. HINT: It is strongly advised to show your robot(s) smoothly and accurately solving any of the Stage II tests of the 2018, 2019, and 2020 rulebooks. Copyright note:When sending videos for qualification, teams implicitly grant permission to RoboCup @Home and the RoboCup Federation to copy, modify, distribute, upload, publish, and use the multimedia material to promote the event and the league at convenience. ***Instructions for the TDP*** The TDP is an 8-pages long scientific paper, detailing information on the technical and scientific approach of the team’s research, while including also the following: · TDP · Group’s research focus and interests. · Innovative technology and scientific contribution · Please specify when your research is being used by other teams or research groups · Please specify when you are using software from other teams · Brief, general description of the system when solving a [domestic] task (applicability in the real world) · The impact of your research must be clearly visible · Maximum length is 8 pages (including figures and citations) · Annex · Photo(s) of the robot · Brief, compact list of the 3rd party robot’s software (e.g. include MoveIt/YOLO) · Brief, compact description of all external computing devices, if any · Brief, compact description of the robot’s hardware (OPL Only) · Please mark with an asterisk home-made software solutions Annex should be appended after the References · There is no page limit for annex, but a maximum of one page is strongly encouraged · TDP length is ****8 pages + annex**** (any submissions over this length will be disqualified). · DSPL and SSPL: The robot depicted in the TDP or Team Video must be the league’s standard one. For the TDP, please use the Springer LNAI format used in the RoboCup Symposium submissions and limit yourself to 8 pages without altering margins or spacing (including references but excluding the annex). You may download a template for the TDP from here. Remark: The language for the TDP, its graphics, tables, images, and all additional content must be English. Content in other languages must be translated. Copyright note: All TDPs sent for qualification may be made publicly available in the RoboCup @Home Wiki for further reference. On submitting, teams implicitly grant permission to RoboCup @Home and the RoboCup Federation to copy, distribute, upload, publish, and use the manuscript to promote the event and the league at convenience. ***** Exceeding the number of pages will automatically void your application *****. ***Instructions for the Web site*** While the TDP goes into detail about the technical and scientific approach of the team’s research, the website should be designed for a broader audience, including: · Photos of the robot(s) · Videos of the robot(s) · Description of the approaches and information on scientific achievements · Relevant publications (last 5 years, preferably available to download) · Link to repositories with software for the community · Team members · Previous participation in RoboCups · Participation and rankings in local RoboCup tournaments Remark: No IP addresses will be accepted as website. Remark: Only documented active software repositories are considered as contributions to the league. It must be clear and straightforward to other teams how to use your software. ***Qualification and evaluation criteria:*** In this first Call for Participation, up to 8 teams per league can be assigned a participation slot. In order to qualify, a team must meet the minimum selection requirements approved by the Executive Committee. However, meeting the minimum requirements won’t automatically grant a participation slot. Only the top 8 teams meeting the selection criterion will qualify for participation. Rejections are strongly advised to improve their qualification materials and apply in the second CFP. Qualification materials will be judged by the following criteria: · Team description paper (clarity, scientific contributions, re-usability by the league, applicability in real world) · Performance in local tournaments and previous competitions. · Qualification Video (number of demonstrated abilities, integration, difficulty of the task, applicability in real world) · Website (multimedia, publications from last 5 years, downloadable content, open-source software and other contributions) · Relevant Scientific contribution/publications (downloadable papers and open-source software) · Novelty of approach (what you do is new for @Home) We encourage teams to produce self-explicative videos for a general audience where complex tasks are solved. For Team Description Papers focus on the scientific contribution and avoid brief descriptions of the overall system. With kind regards, and looking forward to see your team in Bangkok, The 2022 RoboCup@Home Organizing and Technical Committees

1 0

KR 2021: Final Call for Participation (Online event, free registration until Friday, October 15)
by Thanh Dinh 13 Oct '21

13 Oct '21

FINAL CALL FOR PARTICIPATION 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) November 3-12, 2021 - Virtual https://kr2021.kbsg.rwth-aachen.de/ *** Registration is free but mandatory (deadline: October 15, 2021) *** Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR, a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. CONFERENCE FORMAT AND REGISTRATION KR 2021 will be organized as a virtual conference and welcomes all researchers interested in KR to participate! We are happy to announce that participation is *free*. The deadline for registering is October 15, 2021. Information about how to register for the main conference and associated events can be found at: https://kr2021.kbsg.rwth-aachen.de/page/registration There will be also be a limited-capacity *live gathering* in Rome to watch the conference and exchange with other participants. For details, consult: https://kr2021.kbsg.rwth-aachen.de/page/live_gathering_in_rome The list of papers accepted at the main conference and the Doctoral Consortium can also be found on the conference webpage. INVITED TALKS Martin Grohe (RWTH Aachen University, Germany) > The Logic of Graph Neural Networks Jochen Renz (Australian National University, Australia) > Spatial and Physical Reasoning: From Angry Birds to Open World AI Uli Sattler (University of Manchester, UK) > Description Logic and OWL: A Tale of Discoveries, Design Choices, Challenges, and Lessons Learnt (Great Moments in KR) Joshua Tenenbaum (MIT, USA) > Reverse Engineering Human Cognitive Development: What Do We Start With, and How Do We Learn The Rest? Francesca Toni (Imperial College, UK) > The Interactionist View of Reasoning for Explainable AI TRACKS & SPECIAL SESSIONS * Applications and Systems Track * Recent Published Research Track * Special Session: KR and Machine Learning * Special Session: KR and Robotics * Special Session: Diversity and Inclusion WORKSHOPS * Explainable Logic-Based Knowledge Representation (XLoKR) * Computational Machine Ethics (CME) * Knowledge Representation for Hybrid and Compositional AI (KRHCAI) * Ontology Uses and Contribution to Artificial Intelligence (OnUCAI) * Second-Order Quantifier Elimination and Related Topics (SOQE) * Semantics-Powered Health Data Analytics (SEPDA) TUTORIALS * Answer Set Programming: From Theory to Practice by Roland Kaminski, Javier Romero, Torsten Schaub & Philipp Wanko * Belief Revision and Judgment Aggregation in Ontologies by Jake Chandler and Richard Booth * Completeness, Recall, and Negation in Open-World Knowledge Bases by Simon Razniewski, Hiba Arnaout, Shrestha Ghosh & Fabian M. Suchanek * Complex Event Recognition and Forecasting by Elias Alevizos and Alexander Artikis * KR&R Meets Cyber-Physical Systems: Formalization, Behavior, Trustworthiness by Marcello Balduccini, Edward Griffor & Tran Cao Son * Planning with multi-agent, flexible, temporal, epistemic & contingent (MAFTEC) aspects by Aurélie Beynier, Frédéric Maris & Francois Schwarzentruber * Proof-Theoretic Approaches to Logical Argumentation by Ofer Arieli & Christian Strasser * Solving equations in modal and description logics by Philippe Balbiani CO-LOCATED EVENTS * NMR 2021 (20th International Workshop on Non-Monotonic Reasoning) CONFERENCE CHAIRS General: * Esra Erdem (Sabanci University, Turkey) Program: * Meghyn Bienvenu (CNRS & University of Bordeaux, France) * Gerhard Lakemeyer (RWTH Aachen University, Germany) Applications and Systems Track: * Martin Gebser (University of Klagenfurt, Austria) * Ulrike Sattler (University of Manchester, UK) Recently Published Research Track: * Vladimir Lifschitz (University of Texas at Austin, USA) * Pierre Marquis (Artois University & Institut Universitaire de France, France) Special Session on KR & Machine Learning: * Vaishak Belle (University of Edinburgh, UK) * Luc de Raedt (KU Leuven, Belgium) Special Session on KR & Robotics: * Alessandro Saffioti (University of Örebro, Sweden) * Mary-Anne Williams (University of Technology Sydney, Australia) Workshop and Tutorials: * Markus Kroetzsch (TU Dresden, Germany) * Yongmei Liu (Sun Yat-sen University, China) Doctoral Consortium: * Jens Classen (Simon Fraser University) * Magdalena Ortiz (TU Vienna, Austria) Local Organization: * Giuseppe De Giacomo (Sapienza University, Italy) * Son Tran (New Mexico State University, USA) * Long Tran-Thanh (University of Warwick, UK) * Thanh Van Dinh (East Asia University of Technology, Vietnam) Virtual Conference Arrangements: * Stefan Borgwardt (TU Dresden, Germany) * Marco Console (Sapienza University Italy) * Long Tran-Thanh (University of Warwick, UK) Sponsorship: * Kuldeep S. Meel (NUS, Singapore) * Zeynep G. Saribatur (TU Wien, Austria) Publicity: * Thanh Van Dinh (East Asia University of Technology, Vietnam) * Paolo Felli (Free University of Bozen-Bolzano, Italy) Diversity and Inclusion: * Magdalena Ortiz (TU Vienna, Austria) * Maria Vanina Martinez (Universidad de Buenos Aires, Argentina) * Marco Maratea (University of Genova, Italy)

1 0

KR 2021: Call for Participation (Deadline to register: October 15)
by Thanh Dinh 28 Sep '21

28 Sep '21

CALL FOR PARTICIPATION 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) November 3-12, 2021 - Virtual https://kr2021.kbsg.rwth-aachen.de/ *** Registration is free but mandatory (deadline: October 15, 2021) *** Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR, a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. CONFERENCE FORMAT AND REGISTRATION KR 2021 will be organized as a virtual conference and welcomes all researchers interested in KR to participate! We are happy to announce that participation is *free*. The deadline for registering is October 15, 2021. Information about how to register for the main conference and associated events can be found at: https://kr2021.kbsg.rwth-aachen.de/page/registration There will be also be a limited-capacity *live gathering* in Rome to watch the conference and exchange with other participants. For details, consult: https://kr2021.kbsg.rwth-aachen.de/page/live_gathering_in_rome The list of papers accepted at the main conference and the Doctoral Consortium can also be found on the conference webpage. INVITED SPEAKERS * Martin Grohe (RWTH Aachen University, Germany) * Jochen Renz (Australian National University, Australia) * Uli Sattler (University of Manchester, UK) * Joshua Tenenbaum (MIT, USA) * Francesca Toni (Imperial College, UK) TRACKS & SPECIAL SESSIONS * Applications and Systems Track * Recent Published Research Track * Special Session: KR and Machine Learning * Special Session: KR and Robotics * Special Session: Diversity and Inclusion WORKSHOPS * Explainable Logic-Based Knowledge Representation (XLoKR) * Computational Machine Ethics (CME) * Knowledge Representation for Hybrid and Compositional AI (KRHCAI) * Ontology Uses and Contribution to Artificial Intelligence (OnUCAI) * Second-Order Quantifier Elimination and Related Topics (SOQE) * Semantics-Powered Health Data Analytics (SEPDA) TUTORIALS * Answer Set Programming: From Theory to Practice by Roland Kaminski, Javier Romero, Torsten Schaub & Philipp Wanko * Belief Revision and Judgment Aggregation in Ontologies by Jake Chandler and Richard Booth * Completeness, Recall, and Negation in Open-World Knowledge Bases by Simon Razniewski, Hiba Arnaout, Shrestha Ghosh & Fabian M. Suchanek * Complex Event Recognition and Forecasting by Elias Alevizos and Alexander Artikis * KR&R Meets Cyber-Physical Systems: Formalization, Behavior, Trustworthiness by Marcello Balduccini, Edward Griffor & Tran Cao Son * Planning with multi-agent, flexible, temporal, epistemic & contingent (MAFTEC) aspects by Aurélie Beynier, Frédéric Maris & Francois Schwarzentruber * Proof-Theoretic Approaches to Logical Argumentation by Ofer Arieli & Christian Strasser * Solving equations in modal and description logics by Philippe Balbiani CO-LOCATED EVENTS * NMR 2021 (20th International Workshop on Non-Monotonic Reasoning) CONFERENCE CHAIRS General: * Esra Erdem (Sabanci University, Turkey) Program: * Meghyn Bienvenu (CNRS & University of Bordeaux, France) * Gerhard Lakemeyer (RWTH Aachen University, Germany) Applications and Systems Track: * Martin Gebser (University of Klagenfurt, Austria) * Ulrike Sattler (University of Manchester, UK) Recently Published Research Track: * Vladimir Lifschitz (University of Texas at Austin, USA) * Pierre Marquis (Artois University & Institut Universitaire de France, France) Special Session on KR & Machine Learning: * Vaishak Belle (University of Edinburgh, UK) * Luc de Raedt (KU Leuven, Belgium) Special Session on KR & Robotics: * Alessandro Saffioti (University of Örebro, Sweden) * Mary-Anne Williams (University of Technology Sydney, Australia) Workshop and Tutorials: * Markus Kroetzsch (TU Dresden, Germany) * Yongmei Liu (Sun Yat-sen University, China) Doctoral Consortium: * Jens Classen (Simon Fraser University) * Magdalena Ortiz (TU Vienna, Austria) Local Organization: * Giuseppe De Giacomo (Sapienza University, Italy) * Son Tran (New Mexico State University, USA) * Long Tran-Thanh (University of Warwick, UK) * Thanh Van Dinh (East Asia University of Technology, Vietnam) Virtual Conference Arrangements: * Stefan Borgwardt (TU Dresden, Germany) * Marco Console (Sapienza University Italy) * Long Tran-Thanh (University of Warwick, UK) Sponsorship: * Kuldeep S. Meel (NUS, Singapore) * Zeynep G. Saribatur (TU Wien, Austria) Publicity: * Thanh Van Dinh (East Asia University of Technology, Vietnam) * Paolo Felli (Free University of Bozen-Bolzano, Italy) Diversity and Inclusion: * Magdalena Ortiz (TU Vienna, Austria) * Maria Vanina Martinez (Universidad de Buenos Aires, Argentina) * Marco Maratea (University of Genova, Italy)

1 0

[CFP] AI LA Panel on “HRI in Healthcare”
by Ross Mead 27 Sep '21

27 Sep '21

Call for Participation: AI LA Panel on “HRI in Healthcare” *********************************************************************** AI LA Special Interest Group: Human-Robot Interaction in Healthcare September 27, 2021 @ 7pm-8pm Pacific (Virtual) https://ailacommunity.notion.site/Special-Interest-Group-Public-24345a418ce… *********************************************************************** *** FREE REGISTRATION *** https://us02web.zoom.us/meeting/register/tZMkfuigrjooGtc0MVCl7EWM5ogCPV8QjJ… *** OVERVIEW *** In this panel, we will discuss the AI-driven technological advances in human-robot interaction (HRI) and their applications in healthcare. Our panelists represent robotics companies paving the way for robots in our everyday lives. How will we unlock the potential of healthcare robots to improve our quality of life? *** PANELISTS *** * Mike Dooley, Co-founder and CEO at Labrador Systems * Jillian Greczek, Senior Software Engineer at Catalia Health * Dr. Stefan Scherer, CTO at Embodied * Moderator: Dr. Ross Mead, Founder and CEO at Semio, and Vice President at AI LA *** CONTACT *** For more information, contact the AI LA Executive Board: * Todd Terrazas, AI LA (todd(a)joinai.la) * Dr. Ross Mead, Semio (ross(a)semio.ai) *** ABOUT *** AI LA is a Los Angeles-based 501(c)(3) non-profit organization with a mission to catalyze innovation through education, conversation, and collaboration. Since 2016, we have facilitated community events related to AI and its applications to education, environmental sustainability, healthcare, life sciences, the ethical and fair use of technology, and more! Learn more at https://joinai.la! -- Ross Mead, PhD Founder and CEO ross(a)semio.ai +1 (618) 696-2600 <https://semio.ai>

1 0

International Semantic Intelligence Conference (ISIC 2022)
by SARIKA JAIN 17 Sep '21

17 Sep '21

Dear Sir/Madam International Semantic Intelligence Conference (ISIC 2022) May 17-19, 2022, Georgia Southern University (Armstrong Campus), Savannah, Georgia, United States Paper Submission: Oct 30, 2021 Web: https://www.ifis.uni-luebeck.de/~groppe/isic/ ********************************************************** ** Publication and Indexing ** All accepted and presented papers will be included in proceedings published in the Springer LNEE series (already approved). Selected papers (extended versions) will be reviewed for possible double publication in SCIE/SCOPUS/WoS indexed journals.. Indexing: ISIC Proceedings in Springer LNEE will be made available to the following indexing services: Scopus, Scimago Journal & Country Rank, and Google Scholar; and will also be submitted to dblp computer science bibliography for inclusion. ** Topics ** Artificial Intelligence and Machine Learning; Semantic Web Engineering; Ontology-based Data Access; Explainability and Interpretability; Natural Language Understanding; Multimodal and Multilingual Access; Machine to Machine Communications and Interoperability; Knowledge Extraction and Ontology Learning from the Web; Multimodal and Multilingual Approach to Computing; Computational Paradigms and Computational Intelligence; Intelligent Computing and Applications, Case Studies and Tools; Contributions of Semantic Web Technologies (SWT) to the Society; Cyber-Physical Systems; Knowledge representation and Engineering; Security Issues in Semantic Web; Applications, Opportunities, Challenges; Reasoning and Intelligent Processing (Semantic Search Paradigms, Semantic Web Mining, Semantic Sentiment Analysis, Semantic Web Services, Visualization, Query Answering, Semantic Information Access); Mapping Knowledge bases; Leveraging Artificial Intelligence in Global Epidemics; Human-Computer Interaction; Data Analytics; Social Networks; Distributed and Mobile Systems; Computational Linguistics; Large Scale and Complex Information Management; Any other related topic... ** Tracks ** The submissions are divided into three tracks, namely the Research Track, the Trends and Perspectives Track, and the Applications and Deployment Track. The contributors are advised to choose the track that best suits their work. 1. The Research Track: The Research Track incorporates papers that present novel work contributing significantly to the advancement of Semantic Intelligence. The submissions should list the research gaps and research contributions filling the said gaps. A section comparing the results of the research with existing benchmarks is highly desirable. 2. The Trends and Perspectives Track: The Trends and Perspectives Track explores the state of the art in the mentioned disciplines. 3. The Applications and Deployment Track: The Applications and Deployment Track accepts papers showcasing the latest advancements and applications of semantic intelligence. Once any technology or methodology originates from the research community, its challenges and benefits are explored by its concrete usage in a practical setting. The application of any research in real-world use cases sets the stage for its visibility. The Applications and Deployment Track is exactly for this purpose. This track seeks submission for applied semantic intelligence. The submissions should list the benefits; the presented application reaps from SITs. In addition to the real-world, the Applications and Deployment Track also welcomes Resources such as the vocabularies, datasets, evaluation benchmarks, and software. ** Submission Guidelines ** Submission link: https://easychair.org/conferences/?conf=isic2022. Submitted papers must follow the guidelines and templates provided by Springer: Springer LNEE Guidelines and Templates: https://www.springer.com/us/authors-editors/conference-proceedings/conferen…. Every paper will be assessed by the track chair and reviewed by at least three program committee members. The review process will be Single-Blind review. Submissions in all tracks must be in English with the following page length (pages of around 400 words each): * Full papers (12-16 pages including references) * Short papers (6-8 pages including references) ** Chairs ** General Chairs: - Sarika Jain, National Institute of Technology, Kurukshetra, Haryana, India - Sven Groppe, University of Lübeck, Germany Organizing Chairs: - Atef Mohamed (Shalan), Allen E. Paulson College of Engineering and Computing, Georgia Southern University, United States - Hossain Shahriar, Associate Professor, Institute for Cybersecurity Workforce Development, Marietta, GA 30060, United States ** Important Dates ** Workshop Proposals: Oct 10, 2021 Workshop Proposals Notifications: Oct 20, 2021 Full length Papers in all tracks of main conference: Oct 30, 2021 Paper notifications in all tracks of main conference: Dec 15, 2021 Workshop papers submission: Dec 30, 2022 Workshop papers notifications: Jan 20, 2022 Main Conference: May 17-19, 2022 ** Previous Editions ** ISIC 2021 has been held successfully in Hybrid mode at Delhi, India during Feb 25-27, 2020. The proceedings of ISIC 2021 are already indexed by Scopus, DBLP, and Google Scholar. ** Contact * If you have any questions, do not hesitate to contact any one of the following along with your contact details and the issue: Sarika Jain, National Institute of Technology, Kurukshetra, Haryana, India, jasarika(a)nitkkr.ac.in. Sven Groppe, University of Lübeck, Germany, groppe(a)ifis.uni-luebeck.de. Atef Mohamed (Shalan), Georgia Southern University, United States, amohamed(a)georgiasouthern.edu. Best Regards Conference Committee - ISIC 2022

1 0

LAST CALL - RoboCup Brazil Open
by Comunicação RoboCup 14 Sep '21

14 Sep '21

Hi teams, Last days to sign up for RoboCup Brazil Open! Do not leave to the last minute! The event will be online, streamed live on our youtube channels. Already registered? Did you check if everyone on the team is registered correctly? If you have any questions, please send it to us by email at organizacao(a)cbrobotica.org ! *Registrations are open for RoboCup Brazil Open* *The event will be virtual, with the same categories of RoboCup Federation* RoboCup Brazil launches the RoboCup Brazil Open, a virtual event with the same categories of the Robocup WorldWide. Registrations are now open for teams from all over the world. All the categories have been adapted and will happen in a fully remote format, using simulators, challenges and submission of articles written by the teams. Our goal is to disseminate the studies and technologies developed by universities in the field of robotics and IA. The event will happen in October 11th-15th, and will be broadcast through lives on the RoboCup Brazil Youtube channel. *Categories:* RoboCup Open Flying Robot Trial League Small Size Soccer Humanoid League Standard Plataform League (SPL) Simulation 2D Simulation 3D RoboCup at@Home IEEE Humanoid Robot Racing (HRR) IEEE Open IEEE Standard Educational Kit (SEK) IEEE Very Small Size Soccer RoboCup Junior Soccer Open RoboCup Junior Rescue Maze Primary RoboCup Junior Rescue Maze RoboCup Junior Rescue Simulation Primary RoboCup Junior Rescue Simulation Open * Registration* To participate, you and your team must register by september 15th, on the website: www.cbrobotica.org . The registration fee is US$ 50 per team. *RoboCup Brasil is a non-profit civil association, organized by volunteer professors and researchers. The association holds the Brazilian Robotics Olympiad, the Brazilian Robotics Competition and the National Robotics Show.-- Patrícia VergaraComunicação RoboCup Brasil(11) 9.8686-4993www.robocup.org.br <http://www.robocup.org.br>*

1 0

CFP: RoboCup Asia-Pacific 2021 (RCAP 2021)
by Asad Norouzi 03 Sep '21

03 Sep '21

*Apologies for duplicate messages* ============== Call for Participation =============== *RoboCup Asia-Pacific 2021 (RCAP 2021)* 25-29 November 2021 https://2021.robocupap.org/eng/participation.html RoboCup Asia-Pacific 2021 Aichi Japan (RCAP 2021) will be held at Aichi Sky Expo (Aichi International Convention & Exhibition Center), November 25-29, 2021. RCAP 2021 will be held in a hybrid ON-SITE and VIRTUAL format. Due to the current uncertainties of Covid-19, ON-SITE competitions will only open to participants from Japan. - ON-SITE Competitions: Participants from Japan. - VIRTUAL Competitions: Participants from all over the world. *LEAGUES:* Virtual Competitions are open to participants from all over the world, with most of the leagues of RoboCup 2021 Worldwide. For details of leagues, please refer to: https://2021.robocupap.org/eng/leagues.html *REGISTRATION:* All teams are required to pre-register through the online form: https://2021.robocupap.org/eng/registration.html *IMPORTANT DATES:* - Deadline for pre-registration (both online and virtual competitions): 30 September 2021 - Announcement of qualified teams: 14 October 2021 - Deadline for registration: 4 November 2021 *REGISTRATION FEES:* The registration fee is waived for all Japanese teams/members. The registration fee for teams to participate in virtual competitions (except teams from Japan): - Major Team Registration Fee: Waived - Major Staff/Students: USD60/person - Junior Team Registration Fee: Waived - Junior Students/Mentors: USD40/person *SYMPOSIUM:* https://2021.robocupap.org/eng/symposium.html *CONTACT:* For inquiries please contact us via the hereunder email addresses: - Aichi Local Organizing Committee (General Enquiries, On-site competitions): - rcap2021(a)intergroup.co.jp - RCAP Office (Registration fees and payments, Virtual competitions): - office(a)robocupap.org For more information please visit our official website at https://2021 .robocupap.org/eng/index.html We look forward to welcoming you to RCAP 2021 Aichi Japan! Best Regards, RoboCup Asia-Pacific (RCAP) Office, RoboCup Asia-Pacific 2021 (RCAP 2021) Organizing Committee ____________________________________

1 0

Call for KR 2021 Student Scholarship Applications
by Đinh Văn Thành 21 Aug '21

21 Aug '21

****************************************** Call for KR 2021 Student Scholarship Applications ****************************************** We are delighted to announce funding for KR 2021 student support. The purpose is to enable students to participate in the conference. To be eligible, you must be registered as a full-time student at a higher education institution (e.g. university). *You can submit your application at the following link:* ************** https://www.isurvey.soton.ac.uk/41031 ************** ** *Please submit your application by 6^th September 2021 via this form. We will notify you of our decision by 8^th September 2021.* In allocating awards, we will prioritise students who are listed as authors of a long or short paper accepted for KR 2021. Please note that attending the conference is a requirement for being supported. In addition, by participating in the student scholarship program, students are expected to support the conference as student volunteers: You may be asked to support the conference in various ways, e.g., to help with running a particular session. Due to NSF requirements, successful US applicants are also asked to participate in the Doctoral Consortium (DC) either as a presenter or as an attendee, with no obligation to have a paper accepted at the DC. US applicants are also asked to write a short report on their attendance at KR. If your application is successful, you will receive a code that you can then use upon registration as a conference fee waiver. Please wait to register for the conference until our notification. We will not reimburse already made payments. For any question, feel free to contact us at KR21virtual+registration(a)gmail.com <mailto:KR21virtual+registration@gmail.com> or contact Long Tran-Thanh directly at long.tran-thanh(a)warwick.ac.uk <mailto:long.tran-thanh@warwick.ac.uk>. Thank you, Tran Cao Son, New Mexico State University, US Long Tran-Thanh,University of Warwick, UK On the behalf of the KR 2021 organising committee.

1 0

RoboCup Brazil Open
by Comunicação RoboCup 23 Jul '21

23 Jul '21

Hi teams, *Registrations are open for RoboCup Brazil Open* *The event will be virtual, with the same categories of RoboCup Federation* RoboCup Brazil launches the RoboCup Brazil Open, a virtual event with the same categories of the Robocup WorldWide. Registrations are now open for teams from all over the world. All the categories have been adapted and will happen in a fully remote format, using simulators, challenges and submission of articles written by the teams. Our goal is to disseminate the studies and technologies developed by universities in the field of robotics and IA. The event will happen in October 11th-15th, and will be broadcast through lives on the RoboCup Brazil Youtube channel. In 2020, more than 700 students from Latin American attended the event. *Categories:* RoboCup Open Flying Robot Trial League Small Size Soccer Humanoid League Standard Plataform League (SPL) Simulation 2D Simulation 3D RoboCup at@Home IEEE Humanoid Robot Racing (HRR) IEEE Open IEEE Standard Educational Kit (SEK) IEEE Very Small Size Soccer RoboCup Junior Soccer Open RoboCup Junior Rescue Maze Primary RoboCup Junior Rescue Maze RoboCup Junior Rescue Simulation Primary RoboCup Junior Rescue Simulation Open * Registration* To participate, you and your team must register by August 30th, on the website: www.cbrobotica.org . The registration fee is US$ 50 per team. *RoboCup Brasil is a non-profit civil association, organized by volunteer professors and researchers. The association holds the Brazilian Robotics Olympiad, the Brazilian Robotics Competition and the National Robotics Show.* -- Patrícia Vergara Comunicação RoboCup Brasil +55 (11) 9.8686-4993 www.robocup.org.br

1 0