Skip to content

The Bolzano Summer of Knowledge

2020 and 2021

  • Browse events 2021
  • Videos
  • BOSK 2021
    • FOIS 2021 video presentations
    • ICBO 2021 video presentations
    • ICCS 2021 video presentations
    • IEEE CBI 2021 video presentations
    • IFOW 2021 video presentations
    • OntoBESS 2021 video presentations
    • Transportation
    • Venues
  • BOSK 2020
    • Keynotes
    • Browse events 2020
    • EKAW 2020 video presentations
    • EROSS video presentations
    • FOUST 2020 video presentations
    • ICCS 2020 video presentations
    • SUM 2020 video presentations
    • TIME 2020 video presentations
  • Organisation
  • Registration

Invited Talk – Pedro Cablar – Temporal Modalities in Answer Set Programming

time2020
invitedtalk
168 views

You may also like

Stab-forests: Dynamic Data Structures forEfficient Temporal Query Processing. By Jelle Hellings
20:39
Stab-forests: Dynamic Data Structures forEfficient Temporal Query Processing. By Jelle Hellings
382 views
time2020
contributedtalk
Invited Talk - Clare Dixon - Verifying Autonomous Robots: Challenges and Reflections
1:07:27
Invited Talk – Clare Dixon – Verifying Autonomous Robots: Challenges and Reflections
185 views
time2020
invitedtalk
Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. By Michael Sioutis
22:11
Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. By Michael Sioutis
307 views
time2020
contributedtalk
The Horn Fragment of Branching Algebra. By Stefano Trevisani
13:02
The Horn Fragment of Branching Algebra. By Stefano Trevisani
290 views
time2020
contributedtalk
Integrating human expert knowledge and NLP tools for real-world applications - DIANA MAYNARD
36:58
Integrating human expert knowledge and NLP tools for real-world applications – DIANA MAYNARD
8 views
ekaw2020
invitedtalk
Fact Checking and Knowledge Graphs - Axel-Cyrille Ngonga Ngomo
56:15
Fact Checking and Knowledge Graphs – Axel-Cyrille Ngonga Ngomo
52 views
ekaw2020
invitedtalk
Preferences: Representing, Reasoning & Ethics - Toby Walsh
53:51
Preferences: Representing, Reasoning & Ethics – Toby Walsh
8 views
ekaw2020
invitedtalk
One-pass Context-based Tableaux Systems for CTL and ECTL. By Alexander Bolotov
27:02
One-pass Context-based Tableaux Systems for CTL and ECTL. By Alexander Bolotov
373 views
time2020
contributedtalk
«1…567
Page 7 of 7

Post navigation

Previous PostPrevious Negotiating Temporal Commitments inCross-Organizational Business Processes. By Marco Franceschetti
Next PostNext Window-slicing Techniques Extended to Spanning-event Streams. By Aurélie Suzanne

Organised by

unibz logo krdb logo

Sponsored by

artint journal logo iaoa logo
iaoa logo
Proudly powered by WordPress