Constraints Journal
AI, automated reasoning, combinatorial algorithms, constraint programming, databases, discrete mathematics, operations research, programming languages, satisfiability and computational logic.
https://link.springer.com/journal/10601
@ulrichjunker.bsky.social
Scientist in Artificial Intelligence and the Decision Sciences. https://uli-research.com/About_Me.html
@paolomorettin.bsky.social
Probabilistic + logical + algebraic reasoning/learning Assistant prof. @ University of Trento, Marie Skłodowska-Curie fellow https://paolomorettin.github.io/
@looselycorrect.bsky.social
Senior assistant prof at University of Trento. I dig Explainable AI, Neuro-Symbolic AI, Interactive ML, Constraints & Circuits. https://stefanoteso.github.io/ . I "maintain" https://github.com/stefanoteso/awesome-explanatory-supervision .
@sdumancic.bsky.social
Assistant Professor at TU Delft, working on program synthesis, probabilistic programming, and neuro-symbolic AI. https://sebdumancic.github.io/
@vincentderk.bsky.social
Postdoctoral researcher @ KU Leuven NeuroSymbolic AI & Knowledge Compilation
@robinmanhaeve.bsky.social
A post-doc researcher at DTAI, KU Leuven. I focus on neurosymbolic AI.
@lucderaedt.bsky.social
Professor of AI, DTAI, KU Leuven; Wallenberg Guestprofessor AASS, Örebro University; Director http://Leuven.AI, AAAI and EurAI Fellow, Former PC Chair IJCAI, ICML, ECAI and ECMLPKDD, ERC AdG 2015 and 2023
@hakankj.bsky.social
Swedish software developer (retired), Independent Researcher mostly in in Constraint Programming and Logic Programming, esp. Picat and Prolog. Also interested in probabilistic programming, inductive programming, math, AI. Homepage: http://hakank.org/
@ozgurakgun.bsky.social
Academic @ St Andrews CS. Interested in CP and a bunch of other things. Call me Oz if you cannot pronounce Özgür.
@thserra.bsky.social
Assistant professor at University of Iowa, formerly at Bucknell University, mathematical optimizer with an #orms PhD from Carnegie Mellon University, curious about scaling up constraint learning, proud father of two
@snijssen.bsky.social
Professor in Artificial Intelligence at KU Leuven and UCLouvain, Belgium.
@aldlatour.bsky.social
Computer Scientist. Assistant professor interested in Boolean satisfiability, counting, reasoning under uncertainty, formal verification. Feminist. Trekkie. Traveller. Go-to LaTeX expert in our research group.
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app