PADL 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (64)

A Joaquín AriasArias, Joaquín Universidad Rey Juan CarlosSpain Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
B Marcello BalducciniBalduccini, Marcello Saint Joseph's University, USA People, Ideas, and the Path Ahead
Kinjal BasuBasu, Kinjal The University of Texas at DallasUnited States Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
Pierpaolo BellusciBellusci, Pierpaolo University of CalabriaItaly Modelling the Outlier Detection Problem in QASP
Stefano BistarelliBistarelli, Stefano University of PerugiaItaly Timed Concurrent Language for Argumentation: an Interleaving Approach
Antonio BrogiBrogi, Antonio Università di PisaItaly Session Chair of Invited talk (part of PADL) Green Application Placement in the Cloud-IoT Continuum
Tobias BurghardtBurghardt, Tobias University of TübingenGermany Functional Programming on Top of SQL Engines
C Pedro CabalarCabalar, Pedro University of CorunnaSpain Committee Member in Programme Committee within the PADL-track
Francesco CalimeriCalimeri, Francesco University of CalabriaItaly Session Chair of Declarative Solutions (part of PADL) Smart Devices and Large Scale Reasoning via ASP: Tools and Applications Committee Member in Programme Committee within the PADL-track
Ali Can ArıcıCan Arıcı, Ali Ekol LogisticsTurkey Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding
Manuel CarroCarro, Manuel IMDEA Software Institute and T.U. of Madrid (UPM)Spain Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
James CheneyCheney, James University of Edinburgh; Alan Turing InstituteUnited Kingdom Session Chair of Invited talk (part of PADL) Program Co-Chair in Programme Chairs within the PADL-track
Maria Chiara MeoChiara Meo, Maria University “G. d’Annunzio” of Chieti-PescaraItaly Timed Concurrent Language for Argumentation: an Interleaving Approach
Pavan Kumar ChittimalliChittimalli, Pavan Kumar TCS ResearchIndia Committee Member in Programme Committee within the PADL-track
Jan ChristiansenChristiansen, Jan Flensburg University of Applied Sciences, Germany Committee Member in Programme Committee within the PADL-track
Lukas ChrpaChrpa, Lukas Czech Technical University in Prague Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
D Marina De VosDe Vos, Marina University of BathUnited Kingdom Committee Member in Programme Committee within the PADL-track
E Esra ErdemErdem, Esra Sabanci University, TurkeyTurkey Session Chair of Languages, Methods and Tools (part of PADL) Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding Committee Member in Programme Committee within the PADL-track
Martin ErwigErwig, Martin Oregon State UniversityUnited States Committee Member in Programme Committee within the PADL-track
Riley EvansEvans, Riley University of BristolUnited Kingdom CircuitFlow: : A Domain Specific Language for Dataflow Programming
F Wolfgang FaberFaber, Wolfgang University of KlagenfurtAustria Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
Stefano FortiForti, Stefano University of PisaItaly Green Application Placement in the Cloud-IoT Continuum
Samantha FrohlichFrohlich, Samantha University of BristolUnited Kingdom CircuitFlow: : A Domain Specific Language for Dataflow Programming
G Martin GebserGebser, Martin University of Klagenfurt, AustriaAustria Session Chair of Answer Set Programming (part of PADL) Decomposition-based job-shop scheduling with constrained clustering Committee Member in Programme Committee within the PADL-track
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States Committee Member in Programme Committee within the PADL-track
Torsten GrustGrust, Torsten University of TübingenGermany Functional Programming on Top of SQL Engines Committee Member in Programme Committee within the PADL-track
Gopal GuptaGupta, Gopal The University of Texas at DallasUnited States Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming Graph-based Interpretation of Normal Logic Programs Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
H İdil Helin ÖzenHelin Özen, İdil Ekol LogisticsTurkey Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding
Denis HirnHirn, Denis University of TübingenGermany Functional Programming on Top of SQL Engines
I Daniela InclezanInclezan, Daniela Miami UniversityUnited States Committee Member in Programme Committee within the PADL-track
J Tomi JanhunenJanhunen, Tomi Tampere UniversityFinland Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
Alan JeffreyJeffrey, Alan RobloxUnited States Session Chair of Functional and Logic Programming (part of PADL)
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Programme Committee within the PADL-track
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK Committee Member in Programme Committee within the PADL-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States Declarative Programming and Education
L Nicola LeoneLeone, Nicola University of Calabria, ItalyItaly Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
Fang LiLi, Fang The University of Texas at DallasUnited States Graph-based Interpretation of Normal Logic Programs Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
Andres LöhLöh, Andres Well-Typed LLPUnited Kingdom Committee Member in Programme Committee within the PADL-track
M Mohammed M. S. El-KholanyM. S. El-Kholany, Mohammed University of KlagenfurtAustria Decomposition-based job-shop scheduling with constrained clustering
Marco MarateaMaratea, Marco DIBRIS, University of GenovaItaly Committee Member in Programme Committee within the PADL-track
Giuseppe MazzottaMazzotta, Giuseppe University of CalabriaItaly Modelling the Outlier Detection Problem in QASP
Michael MorakMorak, Michael University of KlagenfurtAustria Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
P Lionel ParreauxParreaux, Lionel Hong Kong University of Science and Technology Committee Member in Programme Committee within the PADL-track
Volkan PatoğluPatoğlu, Volkan Sabanci UniversityTurkey Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding
Roly PereraPerera, Roly Alan Turing InstituteUnited Kingdom Committee Member in Programme Committee within the PADL-track
Simona PerriPerri, Simona University of Calabria, Italy Session Chair of Invited talk (part of PADL) Program Co-Chair in Programme Chairs within the PADL-track
Tomas PetricekPetricek, Tomas University of KentUnited Kingdom Committee Member in Programme Committee within the PADL-track
Enrico PontelliPontelli, Enrico Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decision Diagrams and GPUs
R Kristian RealeReale, Kristian Department of Mathematics and Computer Science University of Calabria - DLVSystem S.r.l.Italy Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
Fracesco RiccaRicca, Fracesco University of CalabriaItaly Modelling the Outlier Detection Problem in QASP
Francesco RiccaRicca, Francesco University of Calabria, ItalyItaly Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
S Orkunt SabuncuSabuncu, Orkunt TED UniversityTurkey Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding
Chiaki SakamaSakama, Chiaki Wakayama UniversityJapan Committee Member in Programme Committee within the PADL-track
Elmer SalazarSalazar, Elmer The University of Texas at DallasUnited States Graph-based Interpretation of Normal Logic Programs Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
Konstantin SchekotihinSchekotihin, Konstantin Alpen-Adria Universit�t KlagenfurtAustria Decomposition-based job-shop scheduling with constrained clustering Committee Member in Programme Committee within the PADL-track
Tran Cao SonSon, Tran Cao New Mexico State University Committee Member in Programme Committee within the PADL-track
T Nima TajelipirbazariTajelipirbazari, Nima TED UniversityTurkey Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding
Paul TarauTarau, Paul University of North TexasUnited States Committee Member in Programme Committee within the PADL-track
Fabio TardivoTardivo, Fabio New Mexico State UniversityUnited States Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decision Diagrams and GPUs
Carlo TaticchiTaticchi, Carlo University of PerugiaItaly Timed Concurrent Language for Argumentation: an Interleaving Approach
U Çağrı Uluç YıldırımoğluUluç Yıldırımoğlu, Çağrı Sabanci UniversityTurkey Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding
V Sarat Chandra VaranasiVaranasi, Sarat Chandra The University of Texas at DallasUnited States Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
W Meng WangWang, Meng University of BristolUnited Kingdom CircuitFlow: : A Domain Specific Language for Dataflow Programming
Z Lukasz ZiarekZiarek, Lukasz University at BuffaloUnited States Committee Member in Programme Committee within the PADL-track