FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Alexander, Christopher	Unmanned Aerial Vehicle compliance checking using Goal-Directed Answer Set Programming
Arias, Joaquin	Modeling Administrative Discretion Using Goal-Directed Answer Set Programming An s(CASP) In-Browser Playground based on Ciao Prolog Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy LTL Model Checking using Coinductive Answer Set programming GDE of ASP: applications, potential and future directions
B
Basu, Kinjal	Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy Summary on "Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic Programming"
Billi, Marco	Integration of Logical English and s(CASP)
Borgyos, Szabolcs	Unmanned Aerial Vehicle compliance checking using Goal-Directed Answer Set Programming
C
Carro, Manuel	An s(CASP) In-Browser Playground based on Ciao Prolog
Contissa, Giuseppe	Integration of Logical English and s(CASP)
D
Davila, Jacinto	Integration of Logical English and s(CASP)
Draheim, Dirk	First order logic and commonsense reasoning: a path less travelled
G
García Pradales, Guillermo	An s(CASP) In-Browser Playground based on Ciao Prolog
Gupta, Gopal	Tutorial: Automating Commonsense Reasoning Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy LTL Model Checking using Coinductive Answer Set programming
H
Hall, Brendan	Unmanned Aerial Vehicle compliance checking using Goal-Directed Answer Set Programming
Hermenegildo, Manuel V.	An s(CASP) In-Browser Playground based on Ciao Prolog
J
Järv, Priit	First order logic and commonsense reasoning: a path less travelled
K
Kowalski, Robert	Integration of Logical English and s(CASP)
L
Lim, How Khang	Automating Defeasible Reasoning in Law with Answer Set Programming
M
Mahajan, Avishkar	Automating Defeasible Reasoning in Law with Answer Set Programming
Meng, Baoluo	Unmanned Aerial Vehicle compliance checking using Goal-Directed Answer Set Programming
Morales, Jose F.	An s(CASP) In-Browser Playground based on Ciao Prolog
Moreno-Rebato, Mar	Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
Morris, Jason	Blawx: Web-based user-friendly Rules as Code
O
Ossowski, Sascha	Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
P
Padalkar, Parth	Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy
Pisano, Giuseppe	Integration of Logical English and s(CASP)
R
Rodríguez, Jose Antonio	Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
S
Saeedloei, Neda	LTL Model Checking using Coinductive Answer Set programming
Salazar, Elmer	Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy LTL Model Checking using Coinductive Answer Set programming
Sartor, Galileo	Integration of Logical English and s(CASP)
Satoh, Ken	A Query Evaluation Method for ASP with Abduction
Strecker, Martin	Automating Defeasible Reasoning in Law with Answer Set Programming
T
Tammet, Tanel	First order logic and commonsense reasoning: a path less travelled
Tiihonen, Mikko	Embedding s(CASP) in Prolog
V
Varanasi, Sarat Chandra	Unmanned Aerial Vehicle compliance checking using Goal-Directed Answer Set Programming LTL Model Checking using Coinductive Answer Set programming
Verrev, Martin	First order logic and commonsense reasoning: a path less travelled
W
Wang, Huaduo	Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy
Wielemaker, Jan	Embedding s(CASP) in Prolog
Wong, Meng Weng	Automating Defeasible Reasoning in Law with Answer Set Programming

Disclaimer | Powered by EasyChair Smart Program