VSL 2014: VIENNA SUMMER OF LOGIC 2014

KR ON WEDNESDAY, JULY 23RD: TALK VIEW

Days:
previous day
next day
all days

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
09:00-10:15
Knowledge Representation Meets Computer Vision: From Pixels to Symbolic Activity Descriptions
Tony Cohn
10:45-11:15
Stable Model Semantics for Guarded Existential Rules and Description Logics
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
11:15-11:45
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical
Michel Ludwig, Boris Konev
11:45-12:15
Nominal Schemas in Description Logics: Complexities Clarified
Markus Krötzsch, Sebastian Rudolph
12:15-12:45
Decidable Gödel Description Logics without the Finitely-Valued Model Property
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
10:45-11:15
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations
Fangzhen Lin
11:15-11:45
How To Progress Beliefs in Continuous Domains
Vaishak Belle, Hector Levesque
11:45-12:15
Transforming Situation Calculus Action Theories for Optimised Reasoning
Christopher Ewin, Adrian Pearce, Stavros Vassos
12:15-12:45
Forgetting in Action
David Rajaratnam, Hector Levesque, Maurice Pagnucco, Michael Thielscher
14:30-15:00
Certain Answers as Objects and Knowledge
Leonid Libkin
15:00-15:30
Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs
Peter Schüller
15:30-16:00
Simultaneous Learning and Prediction
Loizos Michael
14:30-15:00
Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture
Mehul Bhatt, Carl Schultz, Madhura Thosar
15:00-15:30
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge
Matthias Thimm
15:30-16:00
SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical
Andrea Marrella, Massimo Mecella, Sebastian Sardina
16:30-17:00
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals
Jorge Baier, Brent Mombourquette, Sheila McIlraith
17:00-17:30
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
Fangzhen Lin
17:30-18:00
Satisfiability of Alternating-time Temporal Epistemic Logic through Tableaux
Francesco Belardinelli
16:30-17:00
Linear Programs for Measuring Inconsistency in Probabilistic Logics
Nico Potyka
17:00-17:30
Reasoning with Uncertain Inputs in Possibilistic Networks
Salem Benferhat, Karim Tabia
17:30-18:00
Relational Logistic Regression
S.M. Kazemi, D. Buchman, K. Kersting, S. Natarajan, D. Poole
18:30-19:45
Situation Calculus: The Last 15 Years
Sheila McIlraith
19:45-20:00 KR Awards
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program