Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A B C D E G I K L M N P R S T U W

A
abduction	A Query Evaluation Method for ASP with Abduction
Administrative Discretion	Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
Ambiguity	Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
Answer Set Programming	Embedding s(CASP) in Prolog Summary on "Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic Programming" Modeling Administrative Discretion Using Goal-Directed Answer Set Programming First order logic and commonsense reasoning: a path less travelled
Applications	GDE of ASP: applications, potential and future directions
Argumentation and law	Automating Defeasible Reasoning in Law with Answer Set Programming
ASP	A Query Evaluation Method for ASP with Abduction An s(CASP) In-Browser Playground based on Ciao Prolog LTL Model Checking using Coinductive Answer Set programming Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy Tutorial: Automating Commonsense Reasoning GDE of ASP: applications, potential and future directions
Automating Commonsense Reasoning	Tutorial: Automating Commonsense Reasoning
B
Browser-based Applications	An s(CASP) In-Browser Playground based on Ciao Prolog
C
Ciao Prolog	An s(CASP) In-Browser Playground based on Ciao Prolog
Coinduction	LTL Model Checking using Coinductive Answer Set programming
Commonsense reasoning	First order logic and commonsense reasoning: a path less travelled
Computational Law	Automating Defeasible Reasoning in Law with Answer Set Programming
Controlled Natural Language	Integration of Logical English and s(CASP)
D
Default logic	First order logic and commonsense reasoning: a path less travelled
defeasible reasoning	Automating Defeasible Reasoning in Law with Answer Set Programming
Defeaters	Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy
E
Expert Systems	Blawx: Web-based user-friendly Rules as Code
Explainable AI	Integration of Logical English and s(CASP) Blawx: Web-based user-friendly Rules as Code
G
generalized stable model	A Query Evaluation Method for ASP with Abduction
Goal-Directed	Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
Goal-Directed Answer Set Programming	Unmanned Aerial Vehicle compliance checking using Goal-Directed Answer Set Programming
Goal-Directed evaluation	LTL Model Checking using Coinductive Answer Set programming Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy GDE of ASP: applications, potential and future directions
I
implicit deletion	A Query Evaluation Method for ASP with Abduction
K
Knowledge representation and reasoning	Unmanned Aerial Vehicle compliance checking using Goal-Directed Answer Set Programming Automating Defeasible Reasoning in Law with Answer Set Programming
L
Legal Rule Modelling	Integration of Logical English and s(CASP)
Legal Technology	Blawx: Web-based user-friendly Rules as Code
logic programming	Integration of Logical English and s(CASP)
M
multi-paradigm	Embedding s(CASP) in Prolog
N
neuro-symbolic AI	Summary on "Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic Programming"
P
Prolog	Embedding s(CASP) in Prolog Integration of Logical English and s(CASP) An s(CASP) In-Browser Playground based on Ciao Prolog
R
reinforcement learning	Summary on "Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic Programming"
Rules as Code	Blawx: Web-based user-friendly Rules as Code
S
s(CASP)	Embedding s(CASP) in Prolog Blawx: Web-based user-friendly Rules as Code An s(CASP) In-Browser Playground based on Ciao Prolog Tutorial: Automating Commonsense Reasoning
T
Text-based Games	Summary on "Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic Programming"
Top-down proof procedure	A Query Evaluation Method for ASP with Abduction
U
UAV Compliance Checking	Unmanned Aerial Vehicle compliance checking using Goal-Directed Answer Set Programming
W
Web Playground	An s(CASP) In-Browser Playground based on Ciao Prolog
WebAssembly	An s(CASP) In-Browser Playground based on Ciao Prolog