Auf Einladung von Prof. Dr. Dietmar Seipel findet der folgende Vortrag statt:
Montag, 31. Oktober 2022, 10:15 Uhr, SE III, Informatikgebäude, Am Hubland
Prof. Dr. Salvador Abreu
Universidade de Évora, Portugal
P-CCoLo: Persistent Contextual Constraint Logic
In this talk we introduce P-CCoLo, a Contextual Constraint Logic Programming language positioned as a mediator framework for the development of heterogeneous knowledge-based systems. The language is based on Contextual Logic and brings manageable scalability to logic programs with a flexible program composition scheme.
Salvador Abreu is Professor of Computer Science at the University of Evora (Portugal), founder and head of the Laboratory of Informatics, Systems and Parallelism (LISP, later NOVA LINCS), and external member at the CRI research laboratory of University Paris-1 (Pantheon Sorbonne). He was a JSPS (Japan Society for the Promotion of Science) Long Term invitation fellow, hosted at the University of Tokyo in 2015.
He held several leadership positions at the University of Evora (among which is president of the Scientific Council of the School of Science and Technology, head of the CS Department).
His work has focused on tools and applications of declarative programming, including the GNU Prolog system and several constraint-based meta-heuristic solvers focussing on the exploitation of non-standard computing architectures.