PADL 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (66)

A Supun AbeysingheAbeysinghe, Supun Purdue UniversityUnited States Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures
Weronika T. AdrianAdrian, Weronika T. Committee Member in Program Committee within the PADL-track
Mario AlvianoAlviano, Mario University of CalabriaItaly Session Chair of Answer Set Programming II (part of PADL) Marketplace Logistic via Answer Set Programming Rethinking Answer Set Programming Templates
Danilo AmendolaAmendola, Danilo Oliveru - Smartly Engineering Marketplace Logistic via Answer Set Programming
Joaquín AriasArias, Joaquín Universidad Rey Juan CarlosSpain Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
B Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Asynchronous Reactive Programming with Modal Types in Haskell Committee Member in Program Committee within the PADL-track
Teodoro BaldazziBaldazzi, Teodoro Università degli Studi Roma Tre Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures
Marcello BalducciniBalduccini, Marcello Saint Joseph's University, USA Committee Member in Program Committee within the PADL-track
Kinjal BasuBasu, Kinjal IBM Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
Luigi BellomariniBellomarini, Luigi Banca d'Italia Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures
Alessandro BruniBruni, Alessandro IT University of Copenhagen Declarative Languages for Safe AI
C Francesco CalimeriCalimeri, Francesco University of Calabria Forgetting Techniques for Optimizing ASP-based Stream Reasoning
Manuel CarroCarro, Manuel IMDEA Software Institute and T.U. of Madrid (UPM)Spain Committee Member in Program Committee within the PADL-track
Emmanuel ChaillouxChailloux, Emmanuel UPMC, France Hardware implementation of OCaml using a synchronous functional language
Francesco ChiarielloChiariello, Francesco University of Naples Federico II A direct ASP encoding for Declare
Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands Committee Member in Program Committee within the PADL-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the PADL-track
Stefania CostantiniCostantini, Stefania Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila Committee Member in Program Committee within the PADL-track
D Hasra DodampegamaDodampegama, Hasra University of Birmingham Explanation and Knowledge Acquisition in Ad Hoc Teamwork
E Esra ErdemErdem, Esra Sabanci University, TurkeyTurkey Committee Member in Program Committee within the PADL-track
F Claudia FaggianFaggian, Claudia Université de Paris & CNRS Declarative Languages for Safe AI
Marco FavoritoFavorito, Marco Banca d'Italia Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures
Valeria FiondaFionda, Valeria University of Calabria A direct ASP encoding for Declare
Matthew FlattFlatt, Matthew University of UtahUnited States Committee Member in Program Committee within the PADL-track
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Committee Member in Program Committee within the PADL-track
G Martin GebserGebser, Martin University of Klagenfurt, AustriaAustria Session Chair of Declarative Programming for AI (part of PADL) Session Chair of Types and Effects (part of PADL) Co-chair in Programme Chairs within the PADL-track
Gopal GuptaGupta, Gopal University of Texas at Dallas Session Chair of Answer Set Programming I (part of PADL) FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explainability Declarative Languages for Safe AI Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs Committee Member in Program Committee within the PADL-track
H Emil HoulborgHoulborg, Emil IT University of Copenhagen Asynchronous Reactive Programming with Modal Types in Haskell
I Giovambattista IanniIanni, Giovambattista University of Calabria, ItalyItaly Rethinking Answer Set Programming Templates Forgetting Techniques for Optimizing ASP-based Stream Reasoning
Antonio IeloIelo, Antonio University of Calabria A direct ASP encoding for Declare
Daniela InclezanInclezan, Daniela Miami UniversityUnited States Committee Member in Program Committee within the PADL-track
J Tomi JanhunenJanhunen, Tomi Tampere UniversityFinland Committee Member in Program Committee within the PADL-track
K Younesse KaddarKaddar, Younesse University of OxfordUnited Kingdom Declarative Languages for Safe AI
Wen KokkeKokke, Wen University of Edinburgh Declarative Languages for Safe AI
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom Session Chair of Panel Discussion (part of PADL) Whats and Whys of Neural Network Verification (A Declarative Programming Perspective)
L Martin LesterLester, Martin University of ReadingUnited Kingdom Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using Bounded Integer Arithmetic
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Committee Member in Program Committee within the PADL-track
M Alexandra MendesMendes, Alexandra Faculty of Engineering, University of Porto & INESC TECPortugal Committee Member in Program Committee within the PADL-track
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology Committee Member in Program Committee within the PADL-track
O Emilia OikarinenOikarinen, Emilia University of HelsinkiFinland Committee Member in Program Committee within the PADL-track
P Francesco PacenzaPacenza, Francesco Department of Mathematics and Computer Science, University of CalabriaItaly Rethinking Answer Set Programming Templates Forgetting Techniques for Optimizing ASP-based Stream Reasoning
Parth PadalkarPadalkar, Parth THE UNIVERSITY OF TEXAS AT DALLAS Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
Simona PerriPerri, Simona University of Calabria, Italy Forgetting Techniques for Optimizing ASP-based Stream Reasoning
Enrico PontelliPontelli, Enrico New Mexico State University Committee Member in Program Committee within the PADL-track
R Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States Committee Member in Program Committee within the PADL-track
Abhiramon RajasekharanRajasekharan, Abhiramon The University of Texas at Dallas Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
Luis Angel Rodriguez ReinersReiners, Luis Angel Rodriguez University of CalabriaItaly Marketplace Logistic via Answer Set Programming
Francesco RiccaRicca, Francesco University of Calabria, ItalyItaly A direct ASP encoding for Declare
Tiark RompfRompf, Tiark Purdue UniversityUnited States Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures
Gregers Thomas Skat RørdamRørdam, Gregers Thomas Skat IT University of Copenhagen Asynchronous Reactive Programming with Modal Types in Haskell
S Emanuel SallingerSallinger, Emanuel TU Wien & University of Oxford Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures
Zeynep G. SaribaturSaribatur, Zeynep G. TU WienAustria Committee Member in Program Committee within the PADL-track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Committee Member in Program Committee within the PADL-track
Ilya SergeySergey, Ilya National University of SingaporeSingapore Co-chair in Programme Chairs within the PADL-track
Arnaud SpiwackSpiwack, Arnaud TweagFrance Session Chair of Language Design (part of PADL) Committee Member in Program Committee within the PADL-track
Mohan SridharanSridharan, Mohan University of Birmingham Explanation and Knowledge Acquisition in Ad Hoc Teamwork
Loïc SylvestreSylvestre, Loïc LIP6 - Sorbonne Université, Paris Hardware implementation of OCaml using a synchronous functional language
Jocelyn SérotSérot, Jocelyn Institut Pascal, Clermont-Ferrand Hardware implementation of OCaml using a synchronous functional language
T Anton TrunovTrunov, Anton TON FoundationUnited Arab Emirates Committee Member in Program Committee within the PADL-track
W Johannes WallnerWallner, Johannes Graz University of TechnologyAustria Committee Member in Program Committee within the PADL-track
Huaduo WangWang, Huaduo THE UNIVERSITY OF TEXAS AT DALLAS FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explainability Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks
Leo WhiteWhite, Leo Jane Street Committee Member in Program Committee within the PADL-track
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Modular Higher-Order Effects
Y Roland H. C. YapYap, Roland H. C. National University of Singapore, Singapore Committee Member in Program Committee within the PADL-track
Z Jessica ZangariZangari, Jessica Università della CalabriaItaly Session Chair of Knowledge Representation and Learning (part of PADL) Rethinking Answer Set Programming Templates Forgetting Techniques for Optimizing ASP-based Stream Reasoning Committee Member in Program Committee within the PADL-track
Yankai ZengZeng, Yankai The University of Texas at Dallas Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs