Hacker NewsThe Cassowary Linear Arithmetic Constraint Solving Algorithm [pdf] (2002)
https://constraints.cs.washington.edu/solvers/cassowary-tochi.pdf
#HackerNews #Cassowary #Algorithm #LinearConstraints #PDF #ConstraintSolving #2002Research
Constraint Programming 20232/ Second tutorial: Machine Learning for Solvers
Speaker: Vijay Ganesh
#ConstraintProgramming
#MachineLearning
#ConstraintSolving
#Tutorial
#CP2023conf
1/ We're happy to announce this year's tutorials: https://cp2023.a4cp.org/tutorials.html
Many thanks to Emir Demirović for being our Tutorials Chair this year!
First tutorial: Explainable Constraint Solving - A Hands-On Tutorial
Speakers: Ignace Bleukx, Dimos Tsouros, and Tias Guns
#CP2023conf
#ConstraintProgramming
#ArtificialIntelligence
#AcademicMastodon
#AcademicChatter
#ExplainableArtificialIntelligence
#XAI
#ConstraintSolving
#Tutorial
Ulrich JunkerHi, let me give you a short #introduction to my research interests. I am Ulrich or Uli ( for those who know me longer). I got interested in #ArtificialIntelligence during my study of #ComputerScience back to the 1980ies. At that time, researchers wanted to build #AI systems that use a world model to make decisions. This poses challenges for #KnowledgeRepresentation, #ConstraintSolving, #ExplanationGeneration, #PreferenceModeling, and #DefeasibleReasoning. They keep me inquiring and studying!