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
Steffen Hölldobler
Organization:
Technische Universitaet Dresden
Web site:
http://www.computational-logic.org/content/members/profs/hoelldobler.php?id=16
Pages in this Program
All Proceedings Papers
CAV on Monday, July 21st
CAV Program
CSF on Monday, July 21st
CSF 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 on Tuesday, July 22nd
KR Program
KR4HC on Monday, July 21st
KR4HC Program
Paper: An Abductive Reasoning Approach to the Belief-Bias Effect
Paper: Contextual Abductive Reasoning with Side-Effects
Program
Program for Monday, July 21st
Program for Tuesday, July 22nd
VSL Program
Disclaimer
|
Powered by EasyChair Smart Program
