( en | de | ru )

 

Disambiguation of "Hall, Brendan"

Author of the publication

copydeleteadd this publication to your clipboard
Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming.

, , , , and . ICLP Workshops, volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Brendan Herbst

Brendan Lovett

Brendan Erler

Brendan Creutz

Brendan Theunissen

 

Other publications of authors with the same name

Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming., , , , and . ICLP Workshops, volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Insights into the Sensitivity of the BRAIN (Braided Ring Availability Integrity Network) - On Platform Robustness in Extended Operation., and . DSN, page 154-163. IEEE Computer Society, (2007)Starting and Resolving a Partitioned BRAIN., and . ISORC, page 415-421. IEEE Computer Society, (2008)Formalizing Informal Logic and Natural Language Deductivism., , , , , , , , , and 2 other author(s). ICLP Workshops, volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming., , , , and . CoRR, (2022)Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)., , , , , , , and . ICLP Workshops, volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems., , , , , and . DSN, page 346-355. IEEE Computer Society, (2005)Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability., , , and . DSN, page 298-307. IEEE Computer Society, (2005)A CLEAR Adoption of EARS.. EARS@RE, page 14-15. IEEE, (2018)TTEthernet Dataflow Concept., , , , and . NCA, page 319-322. IEEE Computer Society, (2009)