Krysia Broda

FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria

Mark Law, Alessandra Russo, Elisa Bertino et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2020 · 49 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +21

Mapping UML models incorporating OCL constraints into object-Z

David G. Roe, Krysia Broda, Alessandra Russo · 2003 · 48 citations · Full text

Engineering, Object-oriented Modeling, Object-oriented Designs +20

The complexity and generality of learning answer set programs

Mark Law, Alessandra Russo, Krysia Broda · Artificial Intelligence · 2018 · 42 citations · Full text

Knowledge Representation, Cautious Induction, Engineering +13

Policy Conflict Analysis Using Free Variable Tableaux for Access Control in Web Services Environments

Hiroaki Kamoda, Masaki Yamaoka, Shigeyuki Matsuda et al. · 2005 · 38 citations

Web Service Specification, Engineering, Service Security +19

Predicate Invention in Inductive Logic Programming

Duangtida Athakravi, Krysia Broda, Alessandra Russo · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 24 citations · Full text

Computational Logic, Engineering, Automated Reasoning +13