FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
ABR ON MONDAY, AUGUST 1ST

View: session overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:30 Session 34A

Tutorial: Assumption-Based Nonmonotonic Reasoning - Alexander Bochman

Chair:
Alexander Bochman
Location: Ullmann 104
Alexander Bochman
Tutorial: Assumption-Based Nonmonotonic Reasoning (Part 1)

ABSTRACT. The tutorial provides an introduction to Assumption-Based Reasoning (ABR) which is argued to constitute the core of nonmonotonic reasoning in AI. Webpage: https://sites.google.com/view/kr2022-abr/home

15:30-16:00Coffee Break
16:00-17:30 Session 37A

Tutorial: Assumption-Based Nonmonotonic Reasoning

Chair:
Alexander Bochman
Location: Ullmann 104
Alexander Bochman
Tutorial: Assumption-Based Nonmonotonic Reasoning (Part 2)

ABSTRACT. The tutorial is intended to provide a gentle introduction to Assumption-Based Reasoning (ABR) which will be argued to constitute the core of nonmonotonic reasoning in AI. Webpage https://sites.google.com/view/kr2022-abr/home

18:00-19:00 Session 42: A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
Chair:
Nachum Dershowitz
Location: Taub 1
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event