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
Thomas Eiter
Organization:
Vienna University of Technology
Pages in this Program
All Proceedings Papers
CAV on Monday, July 21st
CAV Program
CSF on Monday, July 21st
CSF Program
DL 2014 Proceedings
DL 2014 Proceedings: Papers with Abstracts
DL on Friday, July 18th
DL on Thursday, July 17th
DL Program
FLoC Program
ICLP 2014 VSL proceedings
ICLP 2014 VSL proceedings: Papers with Abstracts
ICLP on Monday, July 21st
ICLP Program
IJCAR on Monday, July 21st
IJCAR Program
KR 2014 Proceedings
KR 2014 Proceedings: Papers with Abstracts
KR on Monday, July 21st
KR Program
KR Program Committee
KR4HC on Monday, July 21st
KR4HC Program
NMR on Friday, July 18th
NMR Program
ORE 2014 Proceedings
ORE 2014 Proceedings: Papers with Abstracts
ORE on Sunday, July 13th
ORE Program
Paper: Contextualized Knowledge Repositories with Justifiable Exceptions
Paper: Towards Practical Deletion Repair of Inconsistent DL-programs
Paper: Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners
Paper: Vienna Summer of Logic Preface
Program
Program for Friday, July 18th
Program for Monday, July 21st
Program for Sunday, July 13th
Program for Thursday, July 17th
VSL Program
Disclaimer
|
Powered by EasyChair Smart Program
