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
Mantas Simkus
Organization:
Vienna University of Technology
Web site:
http://www.dbai.tuwien.ac.at/staff/simkus/
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 Monday, July 21st
KR Program
ORE 2014 Proceedings
ORE 2014 Proceedings: Papers with Abstracts
ORE on Sunday, July 13th
ORE Program
Paper: Expressive Identification Constraints to Capture Functional Dependencies in Description Logics
Paper: Nested Regular Path Queries in Description Logics
Paper: Planning Problems for Graph Structured Data in Description Logics
Paper: Shape and Content: Incorporating Domain Knowledge into Shape Analysis
Paper: Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability
Paper: Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners
Program
Program for Monday, July 21st
Program for Saturday, July 19th
Program for Sunday, July 13th
Program for Thursday, July 17th
Disclaimer
|
Powered by EasyChair Smart Program
