LPAR-22: 22ND INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
Invited Speakers

LPAR-22 will feature the following invited talks:

 

Holger Hermanns, Saarland University, Germany

TITLE: TBA

ABSTRACT: 

TBA

 

Ben Goertzel, SingularityNET

TITLE: TBA

ABSTRACT: TBA

 

 

Orna Kupferman, Hebrew University, Israel

TITLE: Variations on the Classical Maximum-Flow Problem

ABSTRACT: 

The fundamental maximum-flow problem gets as input a flow network with a source vertex and a target vertex, and searches for a maximal flow from the source to the target. We consider several extensions to the problem, corresponding to rich settings in which the problem is applied. The extensions are well studied in the context of formal verification and the algorithmic problem of model checking, but are new to classical graph-theory problems, and in particular to the maximum-flow problem. The extensions we study include (1) labeled networks, where the edges of the network are labeled by letters from some alphabet, and flow is restricted to travel only along paths that satisfy a given specification, (2) network games, where the vertices of the network are partitioned among selfish players, each directing flow that arrives to vertices she owns, aiming to maximize the flow that reaches her target, and (3) hierarchical networks, which are succinctly represented, and where the goal is to find a maximum flow by reasoning about the succinct representation.

Based on joint work with Rachel Faran, Shibashis Guha, Tami Tamir, Gal Vardi, and Moshe Y. Vardi