Pinned
Posts
Recent Publications
view all
Books
Videos
Top Publications
view all
News
Meet The Team
Gallery
Projects
Hobbies
Announcements
Is this
you?
Your research is more than your papers.
Your profile can be too.
Project • Talks • Books • Interests • Collaborators
Claim your profile to add what matters to you and
shape how your research is presented.
Maybe later
Claim your profile
Unclaimed Profile.
Prepared from publicly available research information.
Got it
Claim This Profile
Guido Tack
Researcher
Monash University
G
Inquisitive about how formal ideas can turn difficult problems into tractable ones. I seek elegant structures that help intelligent systems reason, plan, and make reliable decisions.
Constraint Satisfaction and Optimization
AI-based Problem Solving and Planning
Logic, programming, and type systems
scroll to explore