VSL 2014: VIENNA SUMMER OF LOGIC 2014
VSL FOREWORD
VSL
PROGRAM
VOLUMES
VSL
|
FLoC
|
CAV
|
CSF
|
CSL-LICS
|
ICLP
|
IJCAR
|
ITP
|
RTA-TLCA
|
SAT
|
LC
|
LATD
|
KR
|
DL
|
NMR
|
2FC
|
ACL2
|
ADDCT
|
AISS
|
APPA
|
ARQNL
|
ARW-DT
|
ASA
|
ASPOCP
|
Automatheo
|
CHR
|
CICLOPS-WLPE
|
CLC
|
Coq
|
CSPSAT
|
DCM
|
DTP
|
EC2
|
FCS-FCC
|
FRIDA
|
FWFM
|
GeTFun
|
GSB
|
HCVS
|
HOL
|
HOPA
|
HOR
|
HSB
|
IFIP-WG16
|
INFINITY
|
iPRA
|
ITRS
|
IWC
|
Isabelle
|
KInAR
|
KR4HC
|
LaSh
|
LCC
|
LFMTP
|
LG
|
Linearity
|
LOLA
|
LSB
|
NCPROOFS
|
NLCS
|
NLSR
|
NSV
|
ORE
|
PAAR
|
ParSearchOpt
|
PAS
|
PC
|
PCCR
|
PLP
|
POS
|
PRUV
|
PSC
|
QBF
|
QED
|
QUANTIFY
|
RCRA
|
REORDER
|
RS
|
SMT
|
SD
|
SSV
|
STAST
|
SYNT
|
TermGraph
|
UITP
|
UNIF
|
Vampire
|
VEMDP
|
VERIFY
|
VeriSure
|
VPT
|
VSTTE
|
WING
|
WIR
|
WPTE
|
WST
|
WWV
Michel Ludwig
Organization:
Institut für Theoretische Informatik, TU Dresden
Web site:
http://lat.inf.tu-dresden.de/~michel/
Pages in this Program
All Proceedings Papers
DL 2014 Proceedings
DL 2014 Proceedings: Papers with Abstracts
DL on Saturday, July 19th
DL on Thursday, July 17th
DL Program
KR 2014 Proceedings
KR 2014 Proceedings: Papers with Abstracts
KR on Wednesday, July 23rd
KR Program
ORE 2014 Proceedings
ORE 2014 Proceedings: Papers with Abstracts
ORE on Sunday, July 13th
ORE Program
Paper: Brave and Cautious Reasoning in EL
Paper: Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs
Paper: Evaluation of Extraction Techniques for Ontology Excerpts
Paper: Just: a Tool for Computing Justifications w.r.t. ELH Ontologies
Paper: Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference
Program
Program for Saturday, July 19th
Program for Sunday, July 13th
Program for Thursday, July 17th
Program for Wednesday, July 23rd
Disclaimer
|
Powered by EasyChair Smart Program
