Jorge Lobo

Mercion Wilathgamuwage Don

Federico Olmedo

Semantic Web, 2024

The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

Embed2Rule Scalable Neuro-Symbolic Learning via Latent Space Weak-Labelling.

[BibT_eX]

[DOI]

Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

2023

FFNSL: Feed-Forward Neural-Symbolic Learner.

[BibT_eX]

[DOI]

Mach. Learn., February, 2023

Neuro-Symbolic Learning of Answer Set Programs from Raw Data.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

FLAP - A Federated Learning Framework for Attribute-based Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, 2023

2022

Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021

FF-NSL: Feed-Forward Neural-Symbolic Learner.

[BibT_eX]

[DOI]

CoRR, 2021

Online Symbolic Learning of Policies for Explainable Security.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Trust, 2021

A Security-Constrained Reinforcement Learning Framework for Software Defined Networks.

[BibT_eX]

[DOI]

Proceedings of the ICC 2021, 2021

Towards Neural-Symbolic Learning to support Human-Agent Operations.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Information Fusion, 2021

Convergence Verification of Declarative Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 36th Italian Conference on Computational Logic, 2021

Inductive Learning of Complex Knowledge from Raw Data.

[BibT_eX]

[DOI]

Proceedings of the Thinking Fast and Slow and Other Cognitive Theories in AI, 2021

2020

NSL: Hybrid Interpretable Learning From Noisy Raw Data.

[BibT_eX]

[DOI]

CoRR, 2020

On Security Policy Migrations.

[BibT_eX]

[DOI]

Alessandra Russo

Proceedings of the 25th ACM Symposium on Access Control Models and Technologies, 2020

Stable and Supported Semantics in Continuous Vector Spaces.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Polisma - A Framework for Learning Attribute-Based Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2020, 2020

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

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Relationship-based access control: More than a social network access control model.

[BibT_eX]

[DOI]

WIREs Data Mining Knowl. Discov., 2019

On the Scaling of Virtualized Network Functions.

[BibT_eX]

[DOI]

Helena Ramalhinho Lourenço

Windhya Rankothge

Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2019

Generative Policies for Coalition Systems - A Symbolic Learning Framework.

[BibT_eX]

[DOI]

Gregory H. Cirincione

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

Representing and Learning Grammars in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Optimal Placement of Security Resources for the Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the Internet of Things for Smart Urban Ecosystems., 2019

2018

A Comprehensive Study on Load Balancers for VNF chains Horizontal Scaling.

[BibT_eX]

[DOI]

CoRR, 2018

Redundancy as a Measure of Fault-Tolerance for the Internet of Things: A Review.

[BibT_eX]

[DOI]

Antonino Rullo

Edoardo Serra

Proceedings of the Policy-Based Autonomic Data Governance [extended papers from the Second International Workshop on Policy-based Autonomic Data Governance, 2018

An Overview of A Load Balancer Architecture for VNF chains Horizontal Scaling.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Network and Service Management, 2018

Verification of Fixed-Topology Declarative Distributed Systems with External Data.

[BibT_eX]

[DOI]

Diego Calvanese

Marco Montali

Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

2017

Optimizing Resource Allocation for Virtualized Network Functions in a Cloud Center Using Genetic Algorithms.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2017

Data Modelling for the Evaluation of Virtualized Network Functions Resource Allocation Algorithms.

[BibT_eX]

[DOI]

CoRR, 2017

A Datalog Framework for Modeling Relationship-based Access Control Policies.

[BibT_eX]

[DOI]

Edelmira Pasarella

Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, 2017

Shortfall-Based Optimal Security Provisioning for Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

Shortfall-Based Optimal Placement of Security Resources for Mobile IoT Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2017, 2017

2016

Declarative Framework for Specification, Simulation and Analysis of Distributed Applications.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2016

Introduction to Stochastic Computing using a Remote Lab with Reconfigurable Logic.

[BibT_eX]

[DOI]

Int. J. Online Eng., 2016

2015

Enforcement of Autonomous Authorizations in Collaborative Distributed Query Evaluation.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2015

Experimental results on the use of genetic algorithms for scaling virtualized network functions.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks, 2015

Detecting distributed signature-based intrusion: The case of multi-path routing attacks.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

Towards making network function virtualization a cloud computing service.

[BibT_eX]

[DOI]

Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2015

Towards Collaborative Query Planning in Multi-party Database Networks.

[BibT_eX]

[DOI]

Mingyi Zhao

Peng Liu

Proceedings of the Data and Applications Security and Privacy XXIX, 2015

Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework.

[BibT_eX]

[DOI]

Edelmira Pasarella

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

An Operational Framework to Reason about Policies Behavior in Trust Management System.

[BibT_eX]

[DOI]

Edelmira Pasarella

Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

2013

A declarative approach to distributed computing: Specification, execution and analysis.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

A Similarity Measure for Comparing XACML Policies.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2013

Network and Service Management for Cloud Computing and Data Centers: A Report on CNSM 2012.

[BibT_eX]

[DOI]

Philippe Owezarski

Deep Medhi

J. Netw. Syst. Manag., 2013

2012

Dynamic graph query primitives for SDN-based cloudnetwork management.

[BibT_eX]

[DOI]

Ramya Raghavendra

Kang-Won Lee

Proceedings of the first workshop on Hot topics in software defined networks, 2012

Practical risk aggregation in RBAC models.

[BibT_eX]

[DOI]

Suresh Chari

Ian M. Molloy

Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 2012

Firewall Configuration Policies for the Specification and Implementation of Private Zones.

[BibT_eX]

[DOI]

Massimo Marchi

Alessandro Provetti

Proceedings of the 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, 2012

Learning Stochastic Models of Information Flow.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th International Conference on Data Engineering (ICDE 2012), 2012

Risk-based security decisions under uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

Distributed state machines: A declarative framework for the management of distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Network and Service Management, 2012

Declarative Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

Policy-Aware Service Composition in Sensor Networks.

[BibT_eX]

[DOI]

Boleslaw K. Szymanski

Petros Zerfos

Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012

2011

Fine-grained integration of access control policies.

[BibT_eX]

[DOI]

Comput. Secur., 2011

Policy refinement of network services for MANETs.

[BibT_eX]

[DOI]

Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, 2011

Policy refinement: Decomposition and operationalization for dynamic domains.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Network and Service Management, 2011

Refinement of History-Based Policies.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

Adversaries' Holy Grail: access control analytics.

[BibT_eX]

[DOI]

Ian M. Molloy

Suresh Chari

Proceedings of the First Workshop on Building Analysis Datasets and Gathering Experience Returns for Security, 2011

2010

Privacy-aware role-based access control.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2010

Mining Roles with Multiple Objectives.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2010

EXAM: a comprehensive environment for the analysis of access control policies.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2010

Towards an integrated approach to role engineering.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM Workshop on Assurable and Usable Security Configuration, 2010

Mining roles with noisy data.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM Symposium on Access Control Models and Technologies, 2010

A Negotiation Framework for Negotiation of Coalition Policies.

[BibT_eX]

[DOI]

Proceedings of the POLICY 2010, 2010

Decomposition techniques for policy refinement.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Network and Service Management, 2010

Risk-based access control systems built on fuzzy inferences.

[BibT_eX]

[DOI]

Qun Ni

Proceedings of the 5th ACM Symposium on Information, 2010

2009

Privacy-Aware Role-Based Access Control.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2009

Policy framework for security and privacy management.

[BibT_eX]

[DOI]

Ponnurangam Kumaraguru

Robert W. Reeder

IBM J. Res. Dev., 2009

Analysis of privacy and security policies.

[BibT_eX]

[DOI]

IBM J. Res. Dev., 2009

Security policy refinement using data integration: a position paper.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, 2009

An algebra for fine-grained integration of XACML policies.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, 2009

Automating role-based provisioning by learning from examples.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, 2009

Evaluating role mining algorithms.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, 2009

Access control policy combining: theory meets practice.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, 2009

Usability meets access control: challenges and research opportunities.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, 2009

Visualization for Access Control Policy Analysis Results Using Multi-level Grids.

[BibT_eX]

[DOI]

Proceedings of the POLICY 2009, 2009

Extending the CIM-SPL policy language with RBAC for distributed management systems in the WBEM infrastructure.

[BibT_eX]

[DOI]

Li Pan

Seraphin B. Calo

Proceedings of the Integrated Network Management, 2009

D-algebra for composing access control policy decisions.

[BibT_eX]

[DOI]

Qun Ni

Proceedings of the 2009 ACM Symposium on Information, 2009

Expressive policy analysis with enhanced system dynamicity.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Information, 2009

2008

An obligation model bridging access control policies and privacy policies.

[BibT_eX]

[DOI]

Qun Ni

Proceedings of the 13th ACM Symposium on Access Control Models and Technologies, 2008

Mining roles with semantic meanings.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM Symposium on Access Control Models and Technologies, 2008

Policy decomposition for collaborative access control.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM Symposium on Access Control Models and Technologies, 2008

An Algebra for Integration and Analysis of Ponder2 Policies.

[BibT_eX]

[DOI]

Hang Zhao

Steven M. Bellovin

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

EXAM: An Environment for Access Control Policy Analysis and Management.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

C<sup>2</sup>: The Case for a Network Configuration Checking Language.

[BibT_eX]

[DOI]

Alberto E. Schaeffer Filho

Vasileios Pappas

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

The Coalition Policy Management Portal for Policy Authoring, Verification, and Deployment.

[BibT_eX]

[DOI]

Emil Lupu

Morris Sloman

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

Authorization and Obligation Policies in Dynamic Systems.

[BibT_eX]

[DOI]

Michael Gelfond

Alberto E. Schaeffer Filho

Proceedings of the Logic Programming, 24th International Conference, 2008

A Role-Based Infrastructure for the Management of Dynamic Communities.

[BibT_eX]

[DOI]

Proceedings of the Resilient Networks and Services, 2008

2007

On the Correctness Criteria of Fine-Grained Access Control in Relational Databases.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Privacy-aware role based access control.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

An approach to evaluate policy similarity.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

Policy-Based Computing: From Systems and Applications to Theory.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Issues in Designing a Policy Language for Distributed Management of IT Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the Integrated Network Management, 2007

Conditional Privacy-Aware Role Based Access Control.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2007

2006

A Basis for Comparing Characteristics of Policy Systems.

[BibT_eX]

[DOI]

Seraphin B. Calo

Proceedings of the 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 2006

2005

Policy-based management of networked computing systems.

[BibT_eX]

[DOI]

Dakshi Agrawal

Kang-Won Lee

IEEE Commun. Mag., 2005

Policy Ratification.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005

2003

Conflict Resolution Using Logic Programming.

[BibT_eX]

[DOI]

Jan Chomicki

Shamim A. Naqvi

IEEE Trans. Knowl. Data Eng., 2003

Realizing network Control Policies using Distributed Action Plans.

[BibT_eX]

[DOI]

J. Netw. Syst. Manag., 2003

2001

Knowledge and the Action Description Language A.

[BibT_eX]

[DOI]

Gisela Mendez

Stuart R. Taylor

Theory Pract. Log. Program., 2001

Formalizing and Reasoning About the Requirements Specifications of Workflow Systems.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2001

Monitors for History-Based Policies.

[BibT_eX]

[DOI]

Jan Chomicki

Proceedings of the Policies for Distributed Systems and Networks, 2001

Reasoning about Policies using Logic Programs.

[BibT_eX]

[DOI]

Tran Cao Son

Proceedings of the Answer Set Programming, 2001

2000

Netmon: network management for the SARAS softswitch.

[BibT_eX]

[DOI]

Aashu Virmani

Proceedings of the Networked Planet: Management Beyond 2000, 2000

A Logic Programming Approach to Conflict Resolution in Policy Management.

[BibT_eX]

Jan Chomicki

Shamim A. Naqvi

Proceedings of the KR 2000, 2000

Policy Evaluation for Network Management.

[BibT_eX]

[DOI]

Randeep Bhatia

Proceedings of the Proceedings IEEE INFOCOM 2000, 2000

Formalizing (and Reasoning About) the Specifications of Workflows.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Systems, 7th International Conference, 2000

Distributed action plans in an agent based network management system.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Autonomous Agents, 2000

1999

Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation.

[BibT_eX]

Jürgen Dix

Ann. Math. Artif. Intell., 1999

A Policy-based Network Management System.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence, 1999

A Policy Description Language.

[BibT_eX]

[DOI]

Randeep Bhatia

Shamim A. Naqvi

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1997

Minimal and Consistent Evolution of Knowledge Bases.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1997

Qualifying Answers According to User Needs and Preferences.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1997

Abductive Consequence Relations.

[BibT_eX]

[DOI]

Carlos Uzcátegui

Artif. Intell., 1997

Defeasible Specifications in Action Theories.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Formal Characterizations of Active Databases: Part II.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

Adding Knowledge to the Action Description Language A.

[BibT_eX]

[DOI]

Gisela Mendez

Stuart R. Taylor

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996

Semantics for Update Rule Programs and Implementations in a Relational Database Management System.

[BibT_eX]

[DOI]

Louiqa Raschid

ACM Trans. Database Syst., 1996

A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic.

[BibT_eX]

[DOI]

John Jeffrey

Tadao Murata

IEEE Trans. Knowl. Data Eng., 1996

Abductive Change Operators.

[BibT_eX]

[DOI]

Carlos Uzcátegui

Fundam. Informaticae, 1996

Computation of Best Bounds of Probabilities from Uncertain Data.

[BibT_eX]

[DOI]

Comput. Intell., 1996

Formal Characterization of Active Databases.

[BibT_eX]

[DOI]

Proceedings of the Logic in Databases, 1996

Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge Bases.

[BibT_eX]

[DOI]

Naveen Grover

Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996

1995

An Extended Petri Net Model for Normal Logic Programs.

[BibT_eX]

[DOI]

Teruhiro Shimura

Tadao Murata

IEEE Trans. Knowl. Data Eng., 1995

Dynamic Maintenance of the Transitive Closure in Disjunctive Graphs.

[BibT_eX]

[DOI]

Qi Yang

Clement T. Yu

Ann. Math. Artif. Intell., 1995

An Experimental Distributed Deductive Database System.

[BibT_eX]

[DOI]

Claudio Robles

Proceedings of the Deductive and Object-Oriented Databases, 1995

1994

A Semantics for a Class of Non-Deterministic and Causal Production System Programs.

[BibT_eX]

[DOI]

Louiqa Raschid

J. Autom. Reason., 1994

Qualified Answers That Reflect User Needs and Preferences.

[BibT_eX]

[DOI]

Proceedings of the VLDB'94, 1994

A Resolution-based Procedure for Default Theories with Extensions.

[BibT_eX]

[DOI]

Monica D. Barback

Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

Assigning Function to CDS Through Qualified Query Answering: Beyond Alignment and Motifs.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Intelligent Systems for Molecular Biology, 1994

1993

Processing Negation and Disjunction in Logic Programs Through Integrity Constraints.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 1993

View Updates in Stratified Disjunctive Databases.

[BibT_eX]

[DOI]

J. Autom. Reason., 1993

Disjunctive LP + Integrity Constraints = Stable Model Semantics.

[BibT_eX]

[DOI]

José Alberto Fernández

V. S. Subrahmanian

Ann. Math. Artif. Intell., 1993

A Proof Procedure for Default Theories with Extensions.

[BibT_eX]

Monica D. Barback

Proceedings of the Logic Programming, 1993

Using Semantic Information for Processing Negation and Disjunction in Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

1992

Relating Minimal Models and Pre-Requisite-Free Normal Defaults.

[BibT_eX]

[DOI]

V. S. Subrahmanian

Inf. Process. Lett., 1992

Generalized Disjunctive Well-Founded Semantics for Logic Programs.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1992

A Petri Net Semantics for Logic Programs with Negation.

[BibT_eX]

[DOI]

Teruhiro Shimura

Tadao Murata

Proceedings of the SEKE'92, 1992

Minimizing Indefinite Information in Disjunctive Deductive Databases.

[BibT_eX]

[DOI]

Monica D. Barback

James J. Lu

Proceedings of the Database Theory, 1992

Foundations of disjunctive logic programming.

[BibT_eX]

Logic Programming, MIT Press, ISBN: 978-0-262-12165-1, 1992

1991

Semantics of Horn and Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1991

WF³: A Semantics for Negation in Normal Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Theory of Disjunctive Logic Programs.

[BibT_eX]

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

Circumscription and Disjunctive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

1990

On Constructive Negation for Disjunctive Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Generalized Well-founded Semantics for Logic Programs (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Weak Generalized Closed World Assumption.

[BibT_eX]

[DOI]

J. Autom. Reason., 1989

Skeptical Reasoning and Disjunctive Programs.

[BibT_eX]

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

Extending the Semantics of Logic Programs to Disjunctive Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1989

1988

Weak Completion Theory for Non-Horn Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1988

A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases.

[BibT_eX]