( en | de | ru )

 

Disambiguierung von "Felli, Paolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Team Formation via Automated Planning.

, , , , , und . COIN@AAMAS/IJCAI, Volume 9628 von Lecture Notes in Computer Science, Seite 282-299. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Laetitia Fellini

Learning and memory processes in mice: a behavioral, molecular and pharmacological study in wild-type and transgenic animals. Uni Bremen, (2009)

Giordano Paolo

Josef Felling

Alfred Fellig

Karin Fellinger

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesising Industry-Standard Manufacturing Process Controllers., , , , , und . AAMAS, Seite 1811-1813. ACM, (2017)Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)., , , , und . IJCAI, Seite 5722-5726. ijcai.org, (2022)Towards Team Formation via Automated Planning., , , , , und . COIN@AAMAS/IJCAI, Volume 9628 von Lecture Notes in Computer Science, Seite 282-299. Springer, (2015)Soundness of Data-Aware Processes with Arithmetic Conditions., , und . CAiSE, Volume 13295 von Lecture Notes in Computer Science, Seite 389-406. Springer, (2022)Unbounded Orchestrations of Transducers for Manufacturing., , , , , und . AAAI, Seite 2646-2653. AAAI Press, (2019)Two-Player Game Structures for Generalized Planning and Agent Composition., , , und . AAAI, Seite 297-302. AAAI Press, (2010)A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems., , und . PRIMA, Volume 12568 von Lecture Notes in Computer Science, Seite 259-280. Springer, (2020)Supervisory Control for Behavior Composition., , und . IEEE Trans. Automat. Contr., 62 (2): 986-991 (2017)SMT-based Safety Checking of Parameterized Multi-Agent Systems., , und . AAAI, Seite 6321-6330. AAAI Press, (2021)Verification of Description Logic Knowledge and Action Bases., , , , , und . ECAI, Volume 242 von Frontiers in Artificial Intelligence and Applications, Seite 103-108. IOS Press, (2012)