The following pages link to Alessandra Russo (Q324688):
Displaying 45 items.
- Probabilistic abductive logic programming using Dirichlet priors (Q324690) (← links)
- (Q833726) (redirect page) (← links)
- Using abduction and induction for operational requirements elaboration (Q833728) (← links)
- Deriving non-zeno behaviour models from goal models using ILP (Q973050) (← links)
- Grafting modalities onto substructural implication systems (Q1370459) (← links)
- The complexity and generality of learning answer set programs (Q1647512) (← links)
- Detect, understand, act: a neuro-symbolic hierarchical reinforcement learning framework (Q2163206) (← links)
- On Minimality and Integrity Constraints in Probabilistic Abduction (Q2870171) (← links)
- INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH (Q2883075) (← links)
- Declarative Distributed Computing (Q2900541) (← links)
- An Inductive Approach for Modal Transition System Refinement (Q2909149) (← 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)
- Refinement of History-Based Policies (Q3001926) (← links)
- (Q3007249) (← links)
- On the Implementation of Speculative Constraint Processing (Q3055681) (← links)
- Normative design using inductive learning (Q3087460) (← links)
- Probabilistic Rule Learning in Nonmonotonic Domains (Q3092307) (← links)
- Automated Inference of Rules with Exception from Past Legal Cases Using ASP (Q3449193) (← links)
- Revision, Acceptability and Context (Q3576991) (← links)
- BELIEF REVISION IN NON-CLASSICAL LOGICS (Q3580673) (← 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)
- (Q4385436) (← 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)
- (Q4809153) (← links)
- (Q4895423) (← links)
- (Q4946231) (← links)
- Advances in Artificial Intelligence – SBIA 2004 (Q5311236) (← links)
- Logic Programming (Q5313182) (← links)
- A declarative approach to distributed computing: Specification, execution and analysis (Q5398312) (← links)
- Extracting Requirements from Scenarios with ILP (Q5426036) (← links)
- Induction and Exploitation of Subgoal Automata for Reinforcement Learning (Q5856492) (← links)
- Inductive Logic Programming (Q5897187) (← links)
- FFNSL: Feed-forward neural-symbolic learner (Q6097158) (← links)
- Logic-based learning of answer set programs (Q6535987) (← links)
