Szabolcs Borgyos

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Answer Set Programming

Causal Theories

Constraint Logic Programming

Autonomous Robots

Top Venues

Publications

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos
UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper). PADL (2023)
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming. ICLP Workshops (2022)
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming. CoRR (2022)