A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases. - Jorge Lobo 001; Jack Minker (Expert Database Conf., 1988)

Weak Completion Theory for Non-Horn Programs. - Jorge Lobo 001; Jack Minker; Arcot Rajasekar (ICLP/SLP, 1988)

Extending the Semantics of Logic Programs to Disjunctive Logic Programs. - Jorge Lobo 001; Jack Minker; Arcot Rajasekar (ICLP, 1989)

Skeptical Reasoning and Disjunctive Programs. - Arcot Rajasekar; Jorge Lobo 001; Jack Minker (KR, 1989)

Weak Generalized Closed World Assumption. - Arcot Rajasekar; Jorge Lobo 001; Jack Minker (J. Autom. Reason., 1989)

Generalized Well-founded Semantics for Logic Programs (Extended Abstract). - Chitta Baral; Jorge Lobo 001; Jack Minker (CADE, 1990)

On Constructive Negation for Disjunctive Logic Programs. - Jorge Lobo 001 (NACLP, 1990)

Circumscription and Disjunctive Logic Programming. - Jack Minker; Jorge Lobo 001; Arcot Rajasekar (Artificial and Mathematical Theory of Computation, 1991)

Theory of Disjunctive Logic Programs. - Jack Minker; Arcot Rajasekar; Jorge Lobo 001 (Computational Logic - Essays in Honor of Alan Robinson, 1991)

WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. - Chitta Baral; Jorge Lobo 001; Jack Minker (ISMIS, 1991)

Semantics of Horn and Disjunctive Logic Programs. - Jorge Lobo 001; Arcot Rajasekar; Jack Minker (Theor. Comput. Sci., 1991)

Foundations of disjunctive logic programming. - Jorge Lobo 001; Jack Minker; Arcot Rajasekar (MIT Press, 1992)

Minimizing Indefinite Information in Disjunctive Deductive Databases. - Monica D. Barback; Jorge Lobo 001; James J. Lu (ICDT, 1992)

A Petri Net Semantics for Logic Programs with Negation. - Teruhiro Shimura; Jorge Lobo 001; Tadao Murata (SEKE, 1992)

Generalized Disjunctive Well-Founded Semantics for Logic Programs. - Chitta Baral; Jorge Lobo 001; Jack Minker (Ann. Math. Artif. Intell., 1992)

Relating Minimal Models and Pre-Requisite-Free Normal Defaults. - Jorge Lobo 001; V. S. Subrahmanian (Inf. Process. Lett., 1992)

Using Semantic Information for Processing Negation and Disjunction in Logic Programs. - Terry Gaasterland; Jorge Lobo 001 (ISMIS, 1993)

A Proof Procedure for Default Theories with Extensions. - Monica D. Barback; Jorge Lobo 001 (ILPS, 1993)

Disjunctive LP + Integrity Constraints = Stable Model Semantics. - José Alberto Fernández; Jorge Lobo 001; Jack Minker; V. S. Subrahmanian (Ann. Math. Artif. Intell., 1993)

View Updates in Stratified Disjunctive Databases. - John Grant; John F. Horty; Jorge Lobo 001; Jack Minker (J. Autom. Reason., 1993)

Processing Negation and Disjunction in Logic Programs Through Integrity Constraints. - Terry Gaasterland; Jorge Lobo 001 (J. Intell. Inf. Syst., 1993)

Assigning Function to CDS Through Qualified Query Answering: Beyond Alignment and Motifs. - Terry Gaasterland; Natalia Maltsev; Jorge Lobo 001; Guo-Hua Chen (ISMB, 1994)

A Resolution-based Procedure for Default Theories with Extensions. - Monica D. Barback; Jorge Lobo 001 (NMELP, 1994)

Qualified Answers That Reflect User Needs and Preferences. - Terry Gaasterland; Jorge Lobo 001 (VLDB, 1994)

A Semantics for a Class of Non-Deterministic and Causal Production System Programs. - Louiqa Raschid; Jorge Lobo 001 (J. Autom. Reason., 1994)

An Experimental Distributed Deductive Database System. - Claudio Robles; Jorge Lobo 001; Terry Gaasterland (DOOD, 1995)

Dynamic Maintenance of the Transitive Closure in Disjunctive Graphs. - Jorge Lobo 001; Qi Yang 011; Clement T. Yu (Ann. Math. Artif. Intell., 1995)

An Extended Petri Net Model for Normal Logic Programs. - Teruhiro Shimura; Jorge Lobo 001; Tadao Murata (IEEE Trans. Knowl. Data Eng., 1995)

Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge Bases. - Goce Trajcevski; Jorge Lobo 001; Naveen Grover (ICTAI, 1996)

Formal Characterization of Active Databases. - Chitta Baral; Jorge Lobo 001 (Logic in Databases, 1996)

Computation of Best Bounds of Probabilities from Uncertain Data. - Chengjie Luo; Clement T. Yu; Jorge Lobo 001; Gaoming Wang; Tracy Pham (Comput. Intell., 1996)

Abductive Change Operators. - Jorge Lobo 001; Carlos Uzcátegui (Fundam. Informaticae, 1996)

A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. - John Jeffrey; Jorge Lobo 001; Tadao Murata (IEEE Trans. Knowl. Data Eng., 1996)

Semantics for Update Rule Programs and Implementations in a Relational Database Management System. - Louiqa Raschid; Jorge Lobo 001 (ACM Trans. Database Syst., 1996)

Adding Knowledge to the Action Description Language A. - Jorge Lobo 001; Gisela Mendez; Stuart R. Taylor (AAAI/IAAI, 1997)

From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial. - Chitta Baral; Jorge Lobo 001 (DOOD, 1997)

Formal Characterizations of Active Databases: Part II. - Chitta Baral; Jorge Lobo 001; Goce Trajcevski (DOOD, 1997)

Defeasible Specifications in Action Theories. - Chitta Baral; Jorge Lobo 001 (IJCAI, 1997)

Abductive Consequence Relations. - Jorge Lobo 001; Carlos Uzcátegui (Artif. Intell., 1997)

Qualifying Answers According to User Needs and Preferences. - Terry Gaasterland; Jorge Lobo 001 (Fundam. Informaticae, 1997)

Minimal and Consistent Evolution of Knowledge Bases. - Jorge Lobo 001; Goce Trajcevski (J. Appl. Non Class. Logics, 1997)

A Policy Description Language. - Jorge Lobo 001; Randeep Bhatia; Shamim A. Naqvi (AAAI/IAAI, 1999)

A Policy-based Network Management System. - Randeep Bhatia; Madhur Kohli; Jorge Lobo 001; Aashu Virmani (IC-AI, 1999)

Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation. - Jürgen Dix; Jorge Lobo 001 (Ann. Math. Artif. Intell., 1999)

Distributed action plans in an agent based network management system. - Madhur Kohli; Jorge Lobo 001 (Agents, 2000)

Formalizing (and Reasoning About) the Specifications of Workflows. - Goce Trajcevski; Chitta Baral; Jorge Lobo 001 (CoopIS, 2000)

Policy Evaluation for Network Management. - Randeep Bhatia; Jorge Lobo 001; Madhur Kohli (INFOCOM, 2000)

A Logic Programming Approach to Conflict Resolution in Policy Management. - Jan Chomicki; Jorge Lobo 001; Shamim A. Naqvi (KR, 2000)

Netmon: network management for the SARAS softswitch. - Aashu Virmani; Jorge Lobo 001; Madhur Kohli (NOMS, 2000)

Reasoning about Policies using Logic Programs. - Tran Cao Son; Jorge Lobo 001 (Answer Set Programming, 2001)

Monitors for History-Based Policies. - Jan Chomicki; Jorge Lobo 001 (POLICY, 2001)

Formalizing and Reasoning About the Requirements Specifications of Workflow Systems. - Goce Trajcevski; Chitta Baral; Jorge Lobo 001 (Int. J. Cooperative Inf. Syst., 2001)

Knowledge and the Action Description Language A. - Jorge Lobo 001; Gisela Mendez; Stuart R. Taylor (Theory Pract. Log. Program., 2001)

Realizing network Control Policies using Distributed Action Plans. - Madhur Kohli; Jorge Lobo 001 (J. Netw. Syst. Manag., 2003)

Conflict Resolution Using Logic Programming. - Jan Chomicki; Jorge Lobo 001; Shamim A. Naqvi (IEEE Trans. Knowl. Data Eng., 2003)

Policy Ratification. - Dakshi Agrawal; James Giles; Kang-Won Lee; Jorge Lobo 001 (POLICY, 2005)

Policy-based management of networked computing systems. - Dakshi Agrawal; Kang-Won Lee; Jorge Lobo 001 (IEEE Commun. Mag., 2005)

A Basis for Comparing Characteristics of Policy Systems. - Seraphin B. Calo; Jorge Lobo 001 (POLICY, 2006)

Conditional Privacy-Aware Role Based Access Control. - Qun Ni; Dan Lin 001; Elisa Bertino; Jorge Lobo 001 (ESORICS, 2007)

Issues in Designing a Policy Language for Distributed Management of IT Infrastructures. - Dakshi Agrawal; Seraphin B. Calo; Kang-Won Lee; Jorge Lobo 001 (Integrated Network Management, 2007)

Policy-Based Computing: From Systems and Applications to Theory. - Jorge Lobo 001 (LPNMR, 2007)

An approach to evaluate policy similarity. - Dan Lin 001; Prathima Rao; Elisa Bertino; Jorge Lobo 001 (SACMAT, 2007)

Privacy-aware role based access control. - Qun Ni; Alberto Trombetta; Elisa Bertino; Jorge Lobo 001 (SACMAT, 2007)

On the Correctness Criteria of Fine-Grained Access Control in Relational Databases. - Qihua Wang; Ting Yu 001; Ninghui Li; Jorge Lobo 001; Elisa Bertino; Keith Irwin; Ji-Won Byun (VLDB, 2007)

A Role-Based Infrastructure for the Management of Dynamic Communities. - Alberto E. Schaeffer Filho; Emil Lupu; Morris Sloman; Sye Loong Keoh; Jorge Lobo 001; Seraphin B. Calo (AIMS, 2008)

Authorization and Obligation Policies in Dynamic Systems. - Michael Gelfond; Jorge Lobo 001 (ICLP, 2008)

The Coalition Policy Management Portal for Policy Authoring, Verification, and Deployment. - Carolyn Brodie; David George; Clare-Marie Karat; John Karat; Jorge Lobo 001; Mandis Beigi; Xiping Wang; Seraphin B. Calo; Dinesh C. Verma; Alberto E. Schaeffer Filho; Emil Lupu; Morris Sloman (POLICY, 2008)

C2: The Case for a Network Configuration Checking Language. - Jorge Lobo 001; Vasileios Pappas (POLICY, 2008)

EXAM: An Environment for Access Control Policy Analysis and Management. - Prathima Rao; Dan Lin 001; Elisa Bertino; Ninghui Li; Jorge Lobo 001 (POLICY, 2008)

An Algebra for Integration and Analysis of Ponder2 Policies. - Hang Zhao; Jorge Lobo 001; Steven M. Bellovin (POLICY, 2008)

Policy decomposition for collaborative access control. - Dan Lin 001; Prathima Rao; Elisa Bertino; Ninghui Li; Jorge Lobo 001 (SACMAT, 2008)

Mining roles with semantic meanings. - Ian M. Molloy; Hong Chen; Tiancheng Li; Qihua Wang; Ninghui Li; Elisa Bertino; Seraphin B. Calo; Jorge Lobo 001 (SACMAT, 2008)

An obligation model bridging access control policies and privacy policies. - Qun Ni; Elisa Bertino; Jorge Lobo 001 (SACMAT, 2008)

Expressive policy analysis with enhanced system dynamicity. - Robert Craven; Jorge Lobo 001; Jiefei Ma; Alessandra Russo; Emil C. Lupu; Arosha K. Bandara (AsiaCCS, 2009)

D-algebra for composing access control policy decisions. - Qun Ni; Elisa Bertino; Jorge Lobo 001 (AsiaCCS, 2009)

Extending the CIM-SPL policy language with RBAC for distributed management systems in the WBEM infrastructure. - Li Pan 002; Jorge Lobo 001; Seraphin B. Calo (Integrated Network Management, 2009)

Visualization for Access Control Policy Analysis Results Using Multi-level Grids. - Prathima Rao; Gabriel Ghinita; Elisa Bertino; Jorge Lobo 001 (POLICY, 2009)

Usability meets access control: challenges and research opportunities. - Konstantin Beznosov; Philip Inglesant; Jorge Lobo 001; Rob Reeder; Mary Ellen Zurko (SACMAT, 2009)

Access control policy combining: theory meets practice. - Ninghui Li; Qihua Wang; Wahbeh H. Qardaji; Elisa Bertino; Prathima Rao; Jorge Lobo 001; Dan Lin 001 (SACMAT, 2009)

Evaluating role mining algorithms. - Ian M. Molloy; Ninghui Li; Tiancheng Li; Ziqing Mao; Qihua Wang; Jorge Lobo 001 (SACMAT, 2009)

Automating role-based provisioning by learning from examples. - Qun Ni; Jorge Lobo 001; Seraphin B. Calo; Pankaj Rohatgi; Elisa Bertino (SACMAT, 2009)

An algebra for fine-grained integration of XACML policies. - Prathima Rao; Dan Lin 001; Elisa Bertino; Ninghui Li; Jorge Lobo 001 (SACMAT, 2009)

Security policy refinement using data integration: a position paper. - Robert Craven; Jorge Lobo 001; Emil Lupu; Alessandra Russo; Morris Sloman (SafeConfig, 2009)

Analysis of privacy and security policies. - Elisa Bertino; Carolyn Brodie; Seraphin B. Calo; Lorrie Faith Cranor; Clare-Marie Karat; John Karat; Ninghui Li; Dan Lin 001; Jorge Lobo 001; Qun Ni; Prathima Rao; Xiping Wang (IBM J. Res. Dev., 2009)

Policy framework for security and privacy management. - John Karat; Clare-Marie Karat; Elisa Bertino; Ninghui Li; Qun Ni; Carolyn Brodie; Jorge Lobo 001; Seraphin B. Calo; Lorrie Faith Cranor; Ponnurangam Kumaraguru; Robert W. Reeder (IBM J. Res. Dev., 2009)

Privacy-Aware Role-Based Access Control. - Qun Ni; Elisa Bertino; Jorge Lobo 001; Seraphin B. Calo (IEEE Secur. Priv., 2009)

Risk-based access control systems built on fuzzy inferences. - Qun Ni; Elisa Bertino; Jorge Lobo 001 (AsiaCCS, 2010)

Decomposition techniques for policy refinement. - Robert Craven; Jorge Lobo 001; Emil C. Lupu; Alessandra Russo; Morris Sloman (CNSM, 2010)

A Negotiation Framework for Negotiation of Coalition Policies. - Mandis Beigi; Jorge Lobo 001; Keith Grueneberg; Seraphin B. Calo; John Karat (POLICY, 2010)

Mining roles with noisy data. - Ian M. Molloy; Ninghui Li; Yuan (Alan) Qi; Jorge Lobo 001; Luke Dickens (SACMAT, 2010)

Towards an integrated approach to role engineering. - Chris Giblin; Marcel Graf; Günter Karjoth; Andreas Wespi; Ian M. Molloy; Jorge Lobo 001; Seraphin B. Calo (SafeConfig, 2010)

EXAM: a comprehensive environment for the analysis of access control policies. - Dan Lin 001; Prathima Rao; Elisa Bertino; Ninghui Li; Jorge Lobo 001 (Int. J. Inf. Sec., 2010)

Mining Roles with Multiple Objectives. - Ian M. Molloy; Hong Chen; Tiancheng Li; Qihua Wang; Ninghui Li; Elisa Bertino; Seraphin B. Calo; Jorge Lobo 001 (ACM Trans. Inf. Syst. Secur., 2010)

Privacy-aware role-based access control. - Qun Ni; Elisa Bertino; Jorge Lobo 001; Carolyn Brodie; Clare-Marie Karat; John Karat; Alberto Trombetta (ACM Trans. Inf. Syst. Secur., 2010)

Adversaries' Holy Grail: access control analytics. - Ian M. Molloy; Jorge Lobo 001; Suresh Chari (BADGERS@EuroSys, 2011)

Refinement of History-Based Policies. - Jorge Lobo 001; Jiefei Ma; Alessandra Russo; Emil Lupu; Seraphin B. Calo; Morris Sloman (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Policy refinement: Decomposition and operationalization for dynamic domains. - Robert Craven; Jorge Lobo 001; Emil Lupu; Alessandra Russo; Morris Sloman (CNSM, 2011)

Policy refinement of network services for MANETs. - Hang Zhao; Jorge Lobo 001; Arnab Roy 001; Steven M. Bellovin (Integrated Network Management, 2011)

Fine-grained integration of access control policies. - Prathima Rao; Dan Lin 001; Elisa Bertino; Ninghui Li; Jorge Lobo 001 (Comput. Secur., 2011)

Policy-Aware Service Composition in Sensor Networks. - Raheleh Dimaghani; Sahin Cem Geyik; Keith Grueneberg; Jorge Lobo 001; S. Yousaf Shah; Boleslaw K. Szymanski; Petros Zerfos (IEEE SCC, 2012)

Declarative Distributed Computing. - Jorge Lobo 001; Jiefei Ma; Alessandra Russo; Franck Le (Correct Reasoning, 2012)

Distributed state machines: A declarative framework for the management of distributed systems. - Jorge Lobo 001; David Wood; Dinesh C. Verma; Seraphin B. Calo (CNSM, 2012)

Risk-based security decisions under uncertainty. - Ian M. Molloy; Luke Dickens; Charles Morisset; Pau-Chen Cheng; Jorge Lobo 001; Alessandra Russo (CODASPY, 2012)

Learning Stochastic Models of Information Flow. - Luke Dickens; Ian M. Molloy; Jorge Lobo 001; Pau-Chen Cheng; Alessandra Russo (ICDE, 2012)

Firewall Configuration Policies for the Specification and Implementation of Private Zones. - Jorge Lobo 001; Massimo Marchi; Alessandro Provetti (POLICY, 2012)

Practical risk aggregation in RBAC models. - Suresh Chari; Jorge Lobo 001; Ian M. Molloy (SACMAT, 2012)

Dynamic graph query primitives for SDN-based cloudnetwork management. - Ramya Raghavendra; Jorge Lobo 001; Kang-Won Lee (HotSDN@SIGCOMM, 2012)

Network and Service Management for Cloud Computing and Data Centers: A Report on CNSM 2012. - Philippe Owezarski; Jorge Lobo 001; Deep Medhi (J. Netw. Syst. Manag., 2013)

A Similarity Measure for Comparing XACML Policies. - Dan Lin 001; Prathima Rao; Rodolfo Ferrini; Elisa Bertino; Jorge Lobo 001 (IEEE Trans. Knowl. Data Eng., 2013)

A declarative approach to distributed computing: Specification, execution and analysis. - Jiefei Ma; Franck Le; David Wood; Alessandra Russo; Jorge Lobo 001 (Theory Pract. Log. Program., 2013)

An Operational Framework to Reason about Policies Behavior in Trust Management System. - Edelmira Pasarella; Jorge Lobo 001 (AMW, 2014)

Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework. - Edelmira Pasarella; Jorge Lobo 001 (CSF, 2015)

Towards Collaborative Query Planning in Multi-party Database Networks. - Mingyi Zhao; Peng Liu 005; Jorge Lobo 001 (DBSec, 2015)

Towards making network function virtualization a cloud computing service. - Windhya Rankothge; Jiefei Ma; Franck Le; Alessandra Russo; Jorge Lobo 001 (IM, 2015)

Detecting distributed signature-based intrusion: The case of multi-path routing attacks. - Jiefei Ma; Franck Le; Alessandra Russo; Jorge Lobo 001 (INFOCOM, 2015)

Experimental results on the use of genetic algorithms for scaling virtualized network functions. - Windhya Rankothge; Franck Le; Alessandra Russo; Jorge Lobo 001 (NFV-SDN, 2015)

Enforcement of Autonomous Authorizations in Collaborative Distributed Query Evaluation. - Qiang Zeng 001; Mingyi Zhao; Peng Liu 005; Poonam Yadav; Seraphin B. Calo; Jorge Lobo 001 (IEEE Trans. Knowl. Data Eng., 2015)

Introduction to Stochastic Computing using a Remote Lab with Reconfigurable Logic. - Jorge Lobo 001 (Int. J. Online Eng., 2016)

Declarative Framework for Specification, Simulation and Analysis of Distributed Applications. - Jiefei Ma; Franck Le; Alessandra Russo; Jorge Lobo 001 (IEEE Trans. Knowl. Data Eng., 2016)

Shortfall-Based Optimal Placement of Security Resources for Mobile IoT Scenarios. - Antonino Rullo; Edoardo Serra; Elisa Bertino; Jorge Lobo 001 (ESORICS (2), 2017)

Shortfall-Based Optimal Security Provisioning for Internet of Things. - Antonino Rullo; Edoardo Serra; Elisa Bertino; Jorge Lobo 001 (ICDCS, 2017)

A Datalog Framework for Modeling Relationship-based Access Control Policies. - Edelmira Pasarella; Jorge Lobo 001 (SACMAT, 2017)

Data Modelling for the Evaluation of Virtualized Network Functions Resource Allocation Algorithms. - Windhya Rankothge; Franck Le; Alessandra Russo; Jorge Lobo 001 (CoRR, 2017)

Optimizing Resource Allocation for Virtualized Network Functions in a Cloud Center Using Genetic Algorithms. - Windhya Rankothge; Franck Le; Alessandra Russo; Jorge Lobo 001 (IEEE Trans. Netw. Serv. Manag., 2017)

Verification of Fixed-Topology Declarative Distributed Systems with External Data. - Diego Calvanese; Marco Montali; Jorge Lobo 001 (AMW, 2018)

An Overview of A Load Balancer Architecture for VNF chains Horizontal Scaling. - Jiefei Ma; Windhya Rankothge; Christian Makaya; Mariceli Morales; Franck Le; Jorge Lobo 001 (CNSM, 2018)

Redundancy as a Measure of Fault-Tolerance for the Internet of Things: A Review. - Antonino Rullo; Edoardo Serra; Jorge Lobo 001 (PADG@ESORICS, 2018)

A Comprehensive Study on Load Balancers for VNF chains Horizontal Scaling. - Jiefei Ma; Windhya Rankothge; Christian Makaya; Mariceli Morales; Franck Le; Jorge Lobo 001 (CoRR, 2018)

Optimal Placement of Security Resources for the Internet of Things. - Antonino Rullo; Edoardo Serra; Elisa Bertino; Jorge Lobo 001 (The Internet of Things for Smart Urban Ecosystems, 2019)

Representing and Learning Grammars in Answer Set Programming. - Mark Law; Alessandra Russo; Elisa Bertino; Krysia Broda; Jorge Lobo 001 (AAAI, 2019)

Generative Policies for Coalition Systems - A Symbolic Learning Framework. - Elisa Bertino; Graham White 002; Jorge Lobo 001; John Ingham; Gregory H. Cirincione; Alessandra Russo; Mark Law; Seraphin B. Calo; Irene Manotas; Dinesh C. Verma; Amani Abu Jabal; Daniel Cunnington; et al. (ICDCS, 2019)

On the Scaling of Virtualized Network Functions. - Jorge Lobo 001; Windhya Rankothge; Helena Ramalhinho Lourenço (IM, 2019)

Relationship-based access control: More than a social network access control model. - Jorge Lobo 001 (WIREs Data Mining Knowl. Discov., 2019)

FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria. - Mark Law; Alessandra Russo; Elisa Bertino; Krysia Broda; Jorge Lobo 001 (AAAI, 2020)

Polisma - A Framework for Learning Attribute-Based Access Control Policies. - Amani Abu Jabal; Elisa Bertino; Jorge Lobo 001; Mark Law; Alessandra Russo; Seraphin B. Calo; Dinesh C. Verma (ESORICS (1), 2020)

Stable and Supported Semantics in Continuous Vector Spaces. - Yaniv Aspis; Krysia Broda; Alessandra Russo; Jorge Lobo 001 (KR, 2020)

On Security Policy Migrations. - Jorge Lobo 001; Elisa Bertino; Alessandra Russo (SACMAT, 2020)

NSL: Hybrid Interpretable Learning From Noisy Raw Data. - Daniel Cunnington; Alessandra Russo; Mark Law; Jorge Lobo 001; Lance M. Kaplan (CoRR, 2020)

Inductive Learning of Complex Knowledge from Raw Data. - Daniel Cunnington; Mark Law; Jorge Lobo 001; Alessandra Russo (TFSOCTAI@AAAI Fall Symposium, 2021)

Convergence Verification of Declarative Distributed Systems. - Diego Calvanese; Francesco Di Cosmo; Jorge Lobo 001; Marco Montali (CILC, 2021)

Towards Neural-Symbolic Learning to support Human-Agent Operations. - Daniel Cunnington; Mark Law; Alessandra Russo; Jorge Lobo 001; Lance M. Kaplan (FUSION, 2021)

A Security-Constrained Reinforcement Learning Framework for Software Defined Networks. - Anand Mudgerikar; Elisa Bertino; Jorge Lobo 001; Dinesh C. Verma (ICC, 2021)

Online Symbolic Learning of Policies for Explainable Security. - Arthur Drozdov; Mark Law; Jorge Lobo 001; Alessandra Russo; Mercion Wilathgamuwage Don (TPS-ISA, 2021)

FF-NSL: Feed-Forward Neural-Symbolic Learner. - Daniel Cunnington; Mark Law; Alessandra Russo; Jorge Lobo 001 (CoRR, 2021)

Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings. - Yaniv Aspis; Krysia Broda; Jorge Lobo 001; Alessandra Russo (KR, 2022)

FLAP - A Federated Learning Framework for Attribute-based Access Control Policies. - Amani Abu Jabal; Elisa Bertino; Jorge Lobo 001; Dinesh C. Verma; Seraphin B. Calo; Alessandra Russo (CODASPY, 2023)

Neuro-Symbolic Learning of Answer Set Programs from Raw Data. - Daniel Cunnington; Mark Law; Jorge Lobo 001; Alessandra Russo (IJCAI, 2023)

FFNSL: Feed-Forward Neural-Symbolic Learner. - Daniel Cunnington; Mark Law; Jorge Lobo 001; Alessandra Russo (Mach. Learn., 2023)

Embed2Rule Scalable Neuro-Symbolic Learning via Latent Space Weak-Labelling. - Yaniv Aspis; Mohammad Albinhassan; Jorge Lobo 001; Alessandra Russo (NeSy (1), 2024)

The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning. - Daniel Cunnington; Mark Law; Jorge Lobo 001; Alessandra Russo (NeSy (1), 2024)

Differential privacy and SPARQL. - Carlos Buil-Aranda; Jorge Lobo 001; Federico Olmedo (Semantic Web, 2024)