Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.
Brendan HallSarat Chandra VaranasiJan FiedorJoaquín AriasKinjal BasuFang LiDevesh BhattKevin DriscollElmer SalazarGopal GuptaPublished in: HCVS@ETAPS (2021)
Keyphrases
- goal directed
- answer set programming
- event calculus
- high level
- prior knowledge
- domain specific knowledge
- conceptual model
- knowledge representation
- reasoning tasks
- logic programming
- knowledge base
- answer set programs
- logic programs
- domain knowledge
- answer sets
- qualitative and quantitative
- orders of magnitude
- query language
- databases