activity
20092023
most citedLearning Implicitly with Noisy Data in Linear Arithmetic

5 citations · 31 across the 19 of their papers we have counts for

collaborators
Showing cs.AIShow all

11 papers · 1 filter

cs.AI2023

Learnability with PAC Semantics for Multi-agent Beliefs

Ionela G. Mocanu, Vaishak Belle, Brendan Juba

The tension between deduction and induction is perhaps the most fundamental issue in areas such as philosophy, cognition and artificial intelligence. In an influential paper, Valia…

cs.AI2022★ 1 cited

An Example of the SAM+ Algorithm for Learning Action Models for Stochastic Worlds

Brendan Juba, Roni Stern

In this technical report, we provide a complete example of running the SAM+ algorithm, an algorithm for learning stochastic planning action models, on a simplified PPDDL version of…

cs.AI2021

Safe Learning of Lifted Action Models

Brendan Juba, Hai S. Le, Roni Stern

Creating a domain model, even for classical, domain-independent planning, is a notoriously hard knowledge-engineering task. A natural approach to solve this problem is to learn a d…

cs.AI2021★ 4 cited

Probabilistic Generating Circuits

Honghua Zhang, Brendan Juba, Guy Van den Broeck

Generating functions, which are widely used in combinatorics and probability theory, encode function values into the coefficients of a polynomial. In this paper, we explore their u…

cs.AI2020★ 5 cited

Learning Implicitly with Noisy Data in Linear Arithmetic

Alexander P. Rader, Ionela G. Mocanu, Vaishak Belle +1

Robust learning in expressive languages with real-world data continues to be a challenging task. Numerous conventional methods appeal to heuristics without any assurances of robust…

cs.AI2019

Query-driven PAC-Learning for Reasoning

Brendan Juba

We consider the problem of learning rules from a data set that support a proof of a given query, under Valiant's PAC-Semantics. We show how any backward proof search algorithm that…