CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Rezultaty
Domain analysis of cognitive capability needed by the testbeds addressing the uses of the ROS community and addressing the robot dependability domain
Theory of Awareness (odnośnik otworzy się w nowym oknie)Formalization of the theory of awareness. This deliverable will be re-released in M48.
Social Testbed Concept and Requirements Specification (odnośnik otworzy się w nowym oknie)Definition of the experimental concept for the social testbed including measurements of functional performance and qualitative and quantitative KPIs
Theory of Understanding (odnośnik otworzy się w nowym oknie)Formalization of the theory of understanding This deliverable will be rereleased at the end of the project in M48
Specification of the CoreSense Architecture (odnośnik otworzy się w nowym oknie)System specifications and detailed design of the three architecture subsystems.
State of the Art and Needs for a Theory of Understanding and Awareness (odnośnik otworzy się w nowym oknie)State of the art and analysis of needs for the project developments in understanding and awareness
Analysis of Ontologies and of Ontological Formalisms (odnośnik otworzy się w nowym oknie)Analysis of extant ontologies of relevance and of suitable ontological formalisms for the needs of the project
Conceptual Analysis and Architecture Requirements Specification (odnośnik otworzy się w nowym oknie)Conceptual analysis and requirements specifications of the three architecture subsystems
Website and social media channels (odnośnik otworzy się w nowym oknie)Systems set up M3 and final report on status and performance M48
CoreSense open-source community (odnośnik otworzy się w nowym oknie)Report on the eastablishment and promotion of an open-source robotics community to use and test our technologies. Systems set up [M24] and final report on status and performance [M48].
Manufacturing Testbed Concept and Requirements Specification (odnośnik otworzy się w nowym oknie)Definition of the test concept scope of operations nonroutine tasks and the production machines involved for the manufacturing testbed
Communication Toolkit (odnośnik otworzy się w nowym oknie)Graphical resources and templates for external communication of project activities
Inspection Testbed Concept and Requirements Specification (odnośnik otworzy się w nowym oknie)Analysis of the domain concept definition and requirements for the inspection testbed
CoreSense/ROS Development Guidelines (odnośnik otworzy się w nowym oknie)Code development guidelines and support for developers using ROS
State of the Art Analysis of Model-driven, Model-based Robotic Systems (odnośnik otworzy się w nowym oknie)Report of the state of the art and related technologies analysis of robotic systems toolchains based on models
Specification of the System Life Cycle (odnośnik otworzy się w nowym oknie)Cognitive robot system engineering life cycle concept and applicability
Specification of the Toolchain (odnośnik otworzy się w nowym oknie)Architecture concept of the toolchain Description of the core modules Description of the concept of extensibility of the toolchain through associated plugins
Dissemination, Communication and Exploitation Plan (odnośnik otworzy się w nowym oknie)Details on the dissemination communication and exploitation strategies and periodic reporting on them This deliverable will be rereleased with updates on activities at M24 M36 and M48
Data management plan according to HE rules The plan will be periodically reviewed and updated if necessary in M24 M36 and M48
Deliver a data dictionary browser, reusing the Sigma ontology browser, suitable for coordinating data integration efforts across CoreSense.
CoreSense Toolchain (odnośnik otworzy się w nowym oknie)Main modules of the Toolchain publicly available, both, as open-source code on a version system (GitHub) and as public release. The publicly available repository will provide documentation for Toolchain developers and for end-users. The manual and guideline for the extensibility of the tooling will also be made available. As is the case of the cognitive modules, this task will use a continuous release model. This deliverable will be re-released at the end of the project.
Higher-order logic based ontology (odnośnik otworzy się w nowym oknie)Deliver a higher-order logic ontology with expressions in the THF and SUO-KIF languages, suitable for reasoning under the Vampire/Deepire ATP system and supporting a data dictionary for overall project integration.
ROS Platform Instrumentation (odnośnik otworzy się w nowym oknie)Instrumented version of the ROS2 platform with software sensors/actuators for self-management.
CoreSense Ontologies (odnośnik otworzy się w nowym oknie)This deliverable contains the ontologies –ISO, UAO, CSO– captured in an ontological formalism(s). This deliverable will be re-released in M48.
Competency questions (odnośnik otworzy się w nowym oknie)Deliver a set of competency questions, modeled after [Pease 2021], suitable for processing under ATP, to demonstrate the operational reasoning capabilities of the ontology. The questions will be expressed both in English and Higher Order Logic (THF and SUO-KIF), and show detailed proofs of solutions in TPTP3 format.
Automated theorem proving (odnośnik otworzy się w nowym oknie)Deliver an automated reasoning system, as an extension to Vampire/Deepire, that can reason over the CoreSense HOL ontology and is optimized for it. This will include machine learning extensions and optimized strategies for higher-order Vampire, as well as extensions for reasoning with the closed world assumption and various modal logic and temporal logic operators.
Software implementation of the physics-aware modeling module: in M24, we deliver the proof-of-concept version.
Publikacje
Autorzy:
Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdu, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov
Opublikowane w:
2025
Wydawca:
Arxiv
DOI:
10.48550/ARXIV.2506.03030
Autorzy:
Sara Cooper, Raquel Ros, Séverin Lemaignan, Ferran Gebellí, Lorenzo Ferrini, Luka Juri?ić
Opublikowane w:
2025
Wydawca:
ACM
DOI:
10.5555/3721488.3721763
Autorzy:
Gauthier, Thibault; Brown, Chad E.
Opublikowane w:
15th International Conference on Interactive Theorem Proving (ITP 2024), 2024
Wydawca:
Dagstuhl Research Online Publications
DOI:
10.48550/ARXIV.2404.01761
Autorzy:
Ferran Gebellí, Lavinia Hriscu, Raquel Ros, Séverin Lemaignan, Alberto Sanfeliu, Anaís Garrell
Opublikowane w:
2025
Wydawca:
ACM
DOI:
10.5555/3721488.3721668
Autorzy:
Ricardo Sanz, Manuel Rodríguez, Martín Molina, Esther Aguado, Virgilio Gómez
Opublikowane w:
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
Wydawca:
SCITEPRESS - Science and Technology Publications
DOI:
10.5220/0012595100003636
Autorzy:
Aguado, Esther; Gómez, Virgilio; Hernando, Miguel; Rossi, Claudio; Sanz, Ricardo
Opublikowane w:
Robot 2023: Sixth Iberian Robotics Conference, 2024
Wydawca:
Springer
DOI:
10.48550/ARXIV.2303.01152
Autorzy:
Guillermo GP-Lenza, Carmen DR.Pita-Romero, Miguel Fernandez-Cortizas, Pascual Campoy
Opublikowane w:
2024 7th Iberian Robotics Conference (ROBOT), 2024
Wydawca:
IEEE
DOI:
10.1109/ROBOT61475.2024.10796896
Autorzy:
Alberto García, Francisco Martín, José Miguel Guerrero, Francisco J. Rodríguez, Vicente Matellán
Opublikowane w:
2023 IEEE International Conference on Robotics and Automation (ICRA), 2023
Wydawca:
IEEE
DOI:
10.1109/ICRA48891.2023.10160957
Autorzy:
Miguel Fernandez-Cortizas, Hriday Bavle, David Perez-Saura, Jose Luis Sanchez-Lopez, Pascual Campoy, Holger Voos
Opublikowane w:
IEEE Robotics and Automation Letters, Numer 9, 2024, ISSN 2377-3766
Wydawca:
Institute of Electrical and Electronics Engineers (IEEE)
DOI:
10.1109/LRA.2024.3399997
Autorzy:
Irene González Fernández; Juan Diego Peña Narváez; José Miguel Guerrero Hernández; Rodrigo Pérez Rodríguez; Alejandro González Cantón; Francisco Javier Rodríguez Lera
Opublikowane w:
Data in Brief, 2024, ISSN 2352-3409
Wydawca:
ScienceDirect
DOI:
10.1016/J.DIB.2024.111086
Autorzy:
Steve Macenski; Shrijit Singh; Francisco Martín; Jonatan Ginés
Opublikowane w:
Autonomous Robots, 2023, ISSN 0929-5593
Wydawca:
Kluwer Academic Publishers
DOI:
10.48550/ARXIV.2305.20026
Autorzy:
Marco Andrés Luna; Martin Molina; Rodrigo Da‐Silva‐Gomez; Javier Melero‐Deza; Pedro Arias‐Perez; Pascual Campoy
Opublikowane w:
Journal of Field Robotics, 2023, ISSN 1556-4967
Wydawca:
Wiley
DOI:
10.1002/ROB.22342
Autorzy:
Esther Aguado; Esther Aguado; Virgilio Gomez; Virgilio Gomez; Miguel Hernando; Claudio Rossi; Ricardo Sanz; Ricardo Sanz
Opublikowane w:
Frontiers in Robotics and AI, 2024, ISSN 2296-9144
Wydawca:
Frontiers
DOI:
10.3389/FROBT.2024.1377897
Autorzy:
Martin Vastl; Jonáš Kulhánek; Jiří Kubalík; Erik Derner; Robert Babuška
Opublikowane w:
IEEE Access, 2024, ISSN 2169-3536
Wydawca:
Institute of Electrical and Electronics Engineers Inc.
DOI:
10.48550/ARXIV.2205.15764
Autorzy:
Rafael Perez-Segui; Pedro Arias-Perez; Javier Melero-Deza; Miguel Fernandez-Cortizas; David Perez-Saura; Pascual Campoy
Opublikowane w:
Aerospace, 2023, ISSN 2226-4310
Wydawca:
MDPI
DOI:
10.3390/AEROSPACE10090814
Autorzy:
Juan Diego Peña-Narvaez, Francisco Martín, José Miguel Guerrero, Rodrigo Pérez-Rodríguez
Opublikowane w:
Frontiers in Neurorobotics, Numer 17, 2023, ISSN 1662-5218
Wydawca:
Frontiers Media SA
DOI:
10.3389/FNBOT.2023.1290584
Autorzy:
Francisco Martín Rico, José Miguel Guerrero Hernández, Rodrigo Pérez‐Rodríguez, Juan Diego Peña‐Narvaez, Alberto García Gómez‐Jacinto
Opublikowane w:
Journal of Field Robotics, Numer 41, 2025, ISSN 1556-4959
Wydawca:
Wiley
DOI:
10.1002/ROB.22353
Autorzy:
Nadia Hammoudeh García, Yuzhang Chen, David Lieb, Andreas Wortmann
Opublikowane w:
International Journal of Advanced Robotic Systems, Numer 22, 2025, ISSN 1729-8806
Wydawca:
SAGE Publications
DOI:
10.1177/17298806251363648
Autorzy:
Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubův, Cezary Kaliszyk, Martin Suda, Josef Urban
Opublikowane w:
Lecture Notes in Computer Science, Logics and Type Systems in Theory and Practice, 2024
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-61716-4_4
Autorzy:
S. Katyaraa , S. Sharmab , P. Damacharlac , C.Garcia -Santiagoa , L. Dhiranid ,B. S. Chowdhrye
Opublikowane w:
2024
Wydawca:
arxiv
DOI:
10.48550/ARXIV.2409.10784
Autorzy:
Miguel Fernandez-Cortizas, David Perez-Saura, Ricardo Sanz, Martin Molina, Pascual Campoy
Opublikowane w:
Springer Proceedings in Advanced Robotics, European Robotics Forum 2024, 2024
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-76424-0_17
Autorzy:
Esther Aguado, Virgilio Gómez, Miguel Hernando, Claudio Rossi, Ricardo Sanz
Opublikowane w:
Lecture Notes in Networks and Systems, Robot 2023: Sixth Iberian Robotics Conference, 2024
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-58676-7_4
Autorzy:
Ahmed Bhayat, Martin Suda
Opublikowane w:
Lecture Notes in Computer Science, Automated Reasoning, 2025
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-63498-7_5
Autorzy:
Sunny Katyara, Suchita Sharma, Praveen Damacharla, Carlos Garcia Santiago, Francis O'Farrell, Philip Long
Opublikowane w:
Cornel university, 2024
Wydawca:
arxiv
DOI:
10.48550/ARXIV.2409.08166
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników