The following pages link to Krysia Broda (Q324689):
Displaying 34 items.
- (Q197050) (redirect page) (← links)
- Probabilistic abductive logic programming using Dirichlet priors (Q324690) (← links)
- The complexity and generality of learning answer set programs (Q1647512) (← links)
- (Q2701982) (← links)
- (Q2753602) (← links)
- On Minimality and Integrity Constraints in Probabilistic Abduction (Q2870171) (← links)
- Multi-agent Confidential Abductive Reasoning (Q2909157) (← links)
- Inductive Learning of Answer Set Programs (Q2938503) (← links)
- Learning Through Hypothesis Refinement Using Answer Set Programming (Q2943878) (← links)
- The Dynamics of Multi-Agent Reinforcement Learning (Q2999162) (← links)
- Distributed Abductive Reasoning with Constraints (Q2999244) (← links)
- Speculative constraint processing for hierarchical agents (Q3000378) (← links)
- (Q3007249) (← links)
- On the Implementation of Speculative Constraint Processing (Q3055681) (← links)
- Automated Inference of Rules with Exception from Past Legal Cases Using ASP (Q3449193) (← links)
- Speculative Abductive Reasoning for Hierarchical Agent Systems (Q3582735) (← links)
- Induction on Failure: Learning Connected Horn Theories (Q3643116) (← links)
- Labelled natural deduction for substructural logics (Q4255972) (← links)
- (Q4263007) (← links)
- (Q4301154) (← links)
- Labelled Natural Deduction for Conditional Logics of Normality (Q4545014) (← links)
- (Q4549486) (← links)
- Learning weak constraints in answer set programming (Q4592994) (← links)
- Iterative Learning of Answer Set Programs from Context Dependent Examples (Q4593062) (← links)
- A Hybrid Abductive Inductive Proof Procedure (Q4664020) (← links)
- (Q4707763) (← links)
- (Q4806970) (← links)
- (Q4946231) (← links)
- Logic Programming (Q5313182) (← links)
- Pandora: A Reasoning Toolbox using Natural Deduction Style (Q5427794) (← links)
- Induction and Exploitation of Subgoal Automata for Reinforcement Learning (Q5856492) (← links)
- Inductive Logic Programming (Q5897187) (← links)
- Symbolic knowledge extraction from trained neural networks: A sound approach (Q5940782) (← links)
- Reactive Answer Set Programming (Q6063885) (← links)
