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
Boris Konev
Organization:
The University of Liverpool
Web site:
http://www.csc.liv.ac.uk/~konev/
Pages in this Program
All Proceedings Papers
DL 2014 Proceedings
DL 2014 Proceedings: Papers with Abstracts
DL on Sunday, July 20th
DL Program
DL Program Committee
IJCAR Program Committee
KR 2014 Proceedings
KR 2014 Proceedings: Papers with Abstracts
KR on Tuesday, July 22nd
KR on Wednesday, July 23rd
KR Program
PAAR 2014 Proceedings
PAAR 2014 Proceedings: Papers with Abstracts
PAAR Call for Papers
PAAR Program Committee
Paper: A SAT Attack on the Erdos Discrepancy Conjecture
Paper: Exact Learning of Lightweight Description Logic Ontologies
Paper: Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies
Paper: Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference
Program
Program for Sunday, July 20th
Program for Tuesday, July 22nd
Program for Wednesday, July 16th
Program for Wednesday, July 23rd
SAT 2014 LNCS Proceedings
SAT 2014 LNCS Proceedings: Papers with Abstracts
SAT on Wednesday, July 16th
SAT Program
Disclaimer
|
Powered by EasyChair Smart Program
