| Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings. | 0 | 0.34 | 2022 |
| Detect, Understand, Act: A Neuro-symbolic Hierarchical Reinforcement Learning Framework | 0 | 0.34 | 2022 |
| Detect, Understand, Act: A Neuro-Symbolic Hierarchical Reinforcement Learning Framework (Extended Abstract) | 0 | 0.34 | 2022 |
| Detect, Understand, Act: A Neuro-Symbolic Hierarchical Reinforcement Learning Framework (Extended Abstract). | 0 | 0.34 | 2022 |
| Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data | 0 | 0.34 | 2022 |
| Scalable Non-observational Predicate Learning in ASP. | 0 | 0.34 | 2021 |
| Online Symbolic Learning of Policies for Explainable Security | 0 | 0.34 | 2021 |
| Fastlas: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria | 0 | 0.34 | 2020 |
| Stable and Supported Semantics in Continuous Vector Spaces. | 0 | 0.34 | 2020 |
| Model-based software quality assurance tools and techniques presented at FASE 2018 | 0 | 0.34 | 2020 |
| Induction Of Subgoal Automata For Reinforcement Learning | 0 | 0.34 | 2020 |
| Radon: Rational Decomposition And Orchestration For Serverless Computing | 2 | 0.40 | 2020 |
| Learning Invariants through Soft Unification | 0 | 0.34 | 2020 |
| Introduction to the 36th International Conference on Logic Programming Special Issue II. | 0 | 0.34 | 2020 |
| Introduction to the 36th International Conference on Logic Programming Special Issue I. | 0 | 0.34 | 2020 |
| Towards Structure Learning under the Credal Semantics. | 0 | 0.34 | 2020 |
| Learning Neural Search Policies for Classical Planning | 0 | 0.34 | 2020 |
| Topical Neural Theorem Prover that Induces Rules. | 0 | 0.34 | 2020 |
| Policy Based Ensembles For Applying Ml On Big Data | 0 | 0.34 | 2019 |
| Representing and Learning Grammars in Answer Set Programming | 0 | 0.34 | 2019 |
| Using an ASG Based Generative Policy to Model Human Rules | 0 | 0.34 | 2019 |
| A Comparison Between Statistical and Symbolic Learning Approaches for Generative Policy Models. | 0 | 0.34 | 2019 |
| Inductive Learning of Answer Set Programs from Noisy Examples. | 0 | 0.34 | 2018 |
| Learning Commonsense Knowledge Through Interactive Dialogue. | 1 | 0.35 | 2018 |
| Agenp: An Asgrammar-Based Generative Policy Framework | 0 | 0.34 | 2018 |
| Learning Classical Planning Strategies with Policy Gradient. | 0 | 0.34 | 2018 |
| The complexity and generality of learning answer set programs. | 2 | 0.41 | 2018 |
| Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs. | 0 | 0.34 | 2017 |
| Learning to share: engineering adaptive decision-support for online social networks. | 0 | 0.34 | 2017 |
| Community-Based Self Generation Of Policies And Processes For Assets: Concepts And Research Directions | 0 | 0.34 | 2017 |
| Probabilistic Abductive Logic Programming using Dirichlet Priors. | 0 | 0.34 | 2016 |
| An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming. | 0 | 0.34 | 2016 |
| Logic-based learning in software engineering. | 0 | 0.34 | 2016 |
| Risk-driven revision of requirements models. | 4 | 0.38 | 2016 |
| Learning Weak Constraints in Answer Set Programming. | 6 | 0.46 | 2015 |
| An Approach for Collective Adaptation in Socio-Technical Systems | 4 | 0.55 | 2015 |
| Automated support for diagnosis and repair | 4 | 0.40 | 2015 |
| Integrating Privacy and Safety Criteria into Planning Tasks | 0 | 0.34 | 2015 |
| Automated Inference of Rules with Exception from Past Legal Cases Using ASP | 3 | 0.53 | 2015 |
| Inductive Learning of Answer Set Programs. | 3 | 0.46 | 2014 |
| When did your smartphone bother you last? | 2 | 0.38 | 2014 |
| Learning to recognise disruptive smartphone notifications | 7 | 0.54 | 2014 |
| Computational alignment of goals and scenarios for complex systems | 1 | 0.35 | 2013 |
| Elaborating Requirements Using Model Checking and Inductive Learning | 13 | 0.55 | 2013 |
| Supporting incremental behaviour model elaboration | 6 | 0.44 | 2013 |
| On Minimality and Integrity Constraints in Probabilistic Abduction. | 1 | 0.35 | 2013 |
| Reasoning about Triggered Scenarios in Logic Programming. | 1 | 0.35 | 2013 |
| Learning revised models for planning in adaptive systems | 27 | 0.77 | 2013 |
| Declarative distributed computing | 3 | 0.43 | 2012 |
| Handling change in normative specifications | 2 | 0.37 | 2012 |
