My presentation, "#KnoBAB: Making #Logic Fast" on bridging #DataScience data processing algorithms with #AI, is accepted to the #AAAI23 Spring Symposia, #SSS. This presentation advocates for the representation of #LTLf as #Algebraic operators for accessing finite traces on #RDBMS.

Link to the fast LTLf solver: https://github.com/datagram-db/knobab

See you in #SanFrancisco!

RT @AalokPat
Q: How can many robots plan to *safely and smoothly* move around each other?
A: They collaborate and negotiate paths!
Find out at my talk at #AAAI23 on Tuesday 14th Feb!
Link to paper/poster/video: https://aalpatya.github.io/gbpplanner
@AjdDavison @rmurai0610

RT @AalokPat
Q: How can many robots plan to *safely and smoothly* move around each other?
A: They collaborate and negotiate paths!
Find out at my talk at #AAAI23 on Tuesday 14th Feb!
Link to paper/poster/video: https://aalpatya.github.io/gbpplanner
@AjdDavison @rmurai0610

Entropy regularization is useful for exploration... But it turns out it's also useful for population estimation!

@BennyChugg
will be giving a talk on our work "Entropy Regularization for Population Estimation" at #AAAI23 today at 12:45 PST.

Paper: https://arxiv.org/abs/2208.11747

The first author Sebastiaan De Peuter does not follow twitter but is certainly wotrh talking with - I am proud of this paper, on Collaborative AI for design problems and sequential decision making more generally. @FCAI_fi #TuringAIFellows @idsai_uom
---
RT @FCAI_fi
Sunday Feb. 12 at #AAAI23 in Washington: AI assistance + automation for solving sequential decision problems.

Paper: Zero-Shot Assistance in Sequential Decision Problems (@sami…
https://twitter.com/FCAI_fi/status/1623780021847355392

First in person conference several years and great to be back in D.C. Pop over to our booth if you are at #AAAI23

Friends, I'll be in Washington, DC attending #AAAI23 in the coming days. Let me know if you're also attending the conference and if you'd like to meet!

Excited to go to #AAAI23 next week to present our work on FOLL-E, our tool for teaching first-order logic to children. Fun, intuitive and free from finicky syntax and scary maths! Come check us out at the #EAAI23 track! 🙂

I am extremely happy that our work with Osman Mian and Jilles Vreeken on discovering #causal networks over multiple environments while simultaneously detecting local interventions was accepted at #AAAI23.

I'm excited to announce we've got a paper in #AAAI23! It's about subjectivity in machine learning, and how it plays out in personalized aesthetic quality assessment.

Paper: https://samgoree.github.io/assets/IAQA_and_feminist_aesthetics.pdf
Blog post: https://samgoree.github.io/2022/12/02/correct_for_whom.html

To appear at AAAI 2023 #AAAI23 #AAAI2023, Fairness Concepts for Indivisible Items with Externalities. Haris Aziz, Warut Suksompong, Zhaohong Sun, Toby Walsh. See you in DC! https://arxiv.org/abs/2110.09066