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
Franz Baader
Affiliation:
TU Dresden
Web page:
http://lat.inf.tu-dresden.de/~baader/index-en.html
Pages in this Program
Accepted Papers
All Proceedings Papers
DL on Monday, August 8th
DL on Tuesday, August 9th
DL Proceedings
DL Proceedings: Papers with Abstracts
DL Program
IJCAR 2022 Proceedings of IJCAR 2022
IJCAR 2022 Proceedings of IJCAR 2022: Papers with Abstracts
IJCAR on Monday, August 8th
IJCAR Program
KR on Friday, August 5th
KR Program
Paper: Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract)
Paper: Evonne: Interactive Proof Visualization for Description Logics (System Description)
Paper: Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)
Program
Program for Friday, August 12th
Program for Friday, August 5th
Program for Monday, August 8th
Program for Tuesday, August 9th
Slides
Slides
Slides
Slides
UNIF on Friday, August 12th
UNIF Program
Disclaimer
|
Powered by EasyChair Smart Program