{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T04:25:18Z","timestamp":1772598318555,"version":"3.50.1"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,24]],"date-time":"2023-09-24T00:00:00Z","timestamp":1695513600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,24]],"date-time":"2023-09-24T00:00:00Z","timestamp":1695513600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9,24]]},"DOI":"10.1109\/itsc57777.2023.10422083","type":"proceedings-article","created":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T23:32:39Z","timestamp":1707867159000},"page":"1506-1513","source":"Crossref","is-referenced-by-count":5,"title":["Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programs"],"prefix":"10.1109","author":[{"given":"Simon","family":"Kohaut","sequence":"first","affiliation":[{"name":"TU Darmstadt,Artificial Intelligence and Machine Learning Lab,Department of Computer Science,Darmstadt,Germany,64283"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benedict","family":"Flade","sequence":"additional","affiliation":[{"name":"Honda Research Institute Europe GmbH,Offenbach,Germany,63073"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Devendra Singh","family":"Dhami","sequence":"additional","affiliation":[{"name":"TU Darmstadt,Artificial Intelligence and Machine Learning Lab,Department of Computer Science,Darmstadt,Germany,64283"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian","family":"Eggert","sequence":"additional","affiliation":[{"name":"Honda Research Institute Europe GmbH,Offenbach,Germany,63073"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristian","family":"Kersting","sequence":"additional","affiliation":[{"name":"TU Darmstadt,Artificial Intelligence and Machine Learning Lab,Department of Computer Science,Darmstadt,Germany,64283"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ISMAR-Adjunct54149.2021.00034"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCC54389.2021.9674583"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CEC55065.2022.9870265"},{"key":"ref4","first-page":"2462","article-title":"Problog: A probabilistic prolog and its application in link discovery","volume":"7","author":"De Raedt","year":"2007","journal-title":"IJCAI"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-016-5558-8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.13657"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/504729.504754"},{"key":"ref8","volume-title":"A Blueprint for the Single European Sky","author":"Undertaking","year":"2023"},{"key":"ref9","author":"Undertaking","year":"2016","journal-title":"European ATM master plan: the roadmap for delivering high performing aviation for Europe: executive view: edition 2015"},{"key":"ref10","volume-title":"European Drones Outlook Study","author":"Undertaking","year":"2023"},{"key":"ref11","article-title":"Driving situation analysis with relational local dynamic maps (R-LDM)","volume-title":"Proc. Symp. Future Active Safety Technology","author":"Eggert","year":"2017"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s13177-018-0154-x"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.4236\/jtts.2015.52010"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569304"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CVPRW.2008.4563135"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2013.6629552"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsr.2019.03.009"},{"key":"ref18","author":"Prinzel","year":"2012","journal-title":"System and method for aiding pilot preview, rehearsal, review, and real-time visual acquisition of flight mission progress"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1093\/aje\/155.5.398"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.4271\/2002-01-1522"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.31256\/wp2018.2"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/79204.79210"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/C-CODE.2017.7918964"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44797-0_9"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000076"},{"key":"ref26","article-title":"Deepproblog: Neural probabilistic logic programming","volume":"31","author":"Manhaeve","year":"2018","journal-title":"advances in neural information processing systems"},{"key":"ref27","author":"Skryagin","year":"2021","journal-title":"SLASH: Embracing probabilistic circuits into neural answer set programming"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564415"}],"event":{"name":"2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)","location":"Bilbao, Spain","start":{"date-parts":[[2023,9,24]]},"end":{"date-parts":[[2023,9,28]]}},"container-title":["2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10420842\/10420843\/10422083.pdf?arnumber=10422083","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T11:31:30Z","timestamp":1709465490000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10422083\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,24]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/itsc57777.2023.10422083","relation":{},"subject":[],"published":{"date-parts":[[2023,9,24]]}}}