VSL 2014: VIENNA SUMMER OF LOGIC 2014
Rafael Peñaloza
Organization: TU Dresden
Web site: http://lat.inf.tu-dresden.de/~penaloza/
Pages in this Program
All Proceedings Papers
DL 2014 Proceedings
DL 2014 Proceedings: Papers with Abstracts
DL on Friday, July 18th
DL on Saturday, July 19th
DL on Sunday, July 20th
DL on Thursday, July 17th
DL Program
DL Program Committee
IJCAR 2014 LNCS proceedings
IJCAR 2014 LNCS proceedings: Papers with Abstracts
IJCAR on Tuesday, July 22nd
IJCAR Program
KR 2014 Proceedings
KR 2014 Proceedings: Papers with Abstracts
KR on Monday, July 21st
KR on Wednesday, July 23rd
KR Program
KR Program Committee
Paper: Answering Instance Queries Relaxed by Concept Similarity
Paper: Bayesian Description Logics
Paper: Brave and Cautious Reasoning in EL
Paper: Certain Answers in a Rough World
Paper: DeaLing with Ontologies using CODs
Paper: Decidable Gödel Description Logics without the Finitely-Valued Model Property
Paper: Gödel Description Logics with General Models
Paper: Gödel FL_0 with Greatest Fixed-Point Semantics
Paper: Many-valued Horn Logic is Hard
Paper: Mary, What's Like All Cats?
Paper: The Bayesian Description Logic BEL
Paper: Towards Parallel Repair: An Ontology Decomposition-based Approach
Program
Program for Friday, July 18th
Program for Monday, July 21st
Program for Saturday, July 19th
Program for Sunday, July 20th
Program for Thursday, July 17th
Program for Tuesday, July 22nd
Program for Wednesday, July 23rd
PRUV 2014 Proceedings
PRUV 2014 Proceedings: Papers with Abstracts
PRUV Call for Papers
PRUV on Wednesday, July 23rd
PRUV Program
PRUV Program Committee
Disclaimer | Powered by EasyChair Smart Program