C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Christopher C. Alexander
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Answer Set Programming
Causal Theories
Constraint Logic Programming
Stable Model Semantics
Top Venues
AMSec@CCS
PADL
CoRR
ICLP Workshops
</>
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)
Michael R. Durling
,
Abha Moitra
,
Kit Y. Siu
,
Baoluo Meng
,
John W. Carbone
,
Christopher C. Alexander
,
Krystel K. Castillo-Villar
,
Gabriela F. Ciocarlie
Model-Based Security Analysis in Additive Manufacturing Systems.
AMSec@CCS
(2022)