FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PROGRAM
AUTHORS
KEYWORDS
SLIDES
VOLUMES
FLoC
|
LICS
|
ICLP
|
FSCD
|
NMR
|
KR
|
ITP
|
CP
|
SAT
|
CSF
|
DL
|
CAV
|
IJCAR
|
Olympic Games
|
SYNT
|
HoTT/UF
|
PC
|
TERMGRAPH
|
FoMLAS
|
ABR
|
PAAR
|
FOMEO
|
XLoKR
|
PERR
|
CHANGE
|
VeriProp
|
NSV
|
PLP
|
WST
|
IFIP-WG1.6
|
QBF
|
ThEdu
|
DECFOML
|
ModRef
|
ASPOCP
|
MC
|
LMML
|
GDE
|
WPTE
|
GuttmanFest
|
iPRA
|
FCS
|
BCORE
|
UNIF
|
Coq
|
WOLVERINE
|
PDAR
|
Isabelle
|
SMT
|
ASL
|
DatalogMTL
|
TLLA-LINEARITY
|
LFMTP
|
IWC
|
ARQNL
|
REAI
|
PCCR
|
VardiFest
|
WiL
|
FMBC
|
Mentoring Workshop
|
SC^2
|
LogTeach
|
POS
|
FRIDA
|
DSV
Alisa Kovtunova
Affiliation:
TU Dresden
Web page:
https://lat.inf.tu-dresden.de/~alisa/
Pages in this Program
All Proceedings Papers
DL on Sunday, August 7th
DL on Tuesday, August 9th
DL Proceedings
DL Proceedings: Papers with Abstracts
DL Program
Paper: Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
Paper: Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies
Program
Program for Sunday, August 7th
Program for Sunday, July 31st
Program for Tuesday, August 9th
Slides
Slides
Slides
XLoKR on Sunday, July 31st
XLoKR Program
Disclaimer
|
Powered by EasyChair Smart Program