Jorge Lobo - RankMe

161 papers A* 12A 10B 13C 22Misc 1Journal 48Unranked 51

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Differential privacy and SPARQL. Semantic Web Carlos Buil-Aranda, Jorge Lobo, Federico Olmedo
2024	—	`conf`	Embed2Rule Scalable Neuro-Symbolic Learning via Latent Space Weak-Labelling. NeSy (1) Yaniv Aspis, Mohammad Albinhassan, Jorge Lobo, Alessandra Russo
2024	—	`conf`	The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning. NeSy (1) Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo
2024	J	`jnl`	The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning. CoRR Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo
2023	J	`jnl`	FFNSL: Feed-Forward Neural-Symbolic Learner. Mach. Learn. Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo
2023	—	`conf`	FLAP - A Federated Learning Framework for Attribute-based Access Control Policies. CODASPY Amani Abu Jabal, Elisa Bertino, Jorge Lobo, Dinesh C. Verma, Seraphin B. Calo, Alessandra Russo
2023	A*	`conf`	Neuro-Symbolic Learning of Answer Set Programs from Raw Data. IJCAI Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo
2022	A*	`conf`	Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings. KR Yaniv Aspis, Krysia Broda, Jorge Lobo, Alessandra Russo
2022	J	`jnl`	Inductive Learning of Complex Knowledge from Raw Data. CoRR Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo
2021	—	`conf`	A Security-Constrained Reinforcement Learning Framework for Software Defined Networks. ICC Anand Mudgerikar, Elisa Bertino, Jorge Lobo, Dinesh C. Verma
2021	—	`conf`	Convergence Verification of Declarative Distributed Systems. CILC Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, Marco Montali
2021	J	`jnl`	FF-NSL: Feed-Forward Neural-Symbolic Learner. CoRR Daniel Cunnington, Mark Law, Alessandra Russo, Jorge Lobo
2021	—	`conf`	Inductive Learning of Complex Knowledge from Raw Data. TFSOCTAI@AAAI Fall Symposium Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo
2021	—	`conf`	Online Symbolic Learning of Policies for Explainable Security. TPS-ISA Arthur Drozdov, Mark Law, Jorge Lobo, Alessandra Russo, Mercion Wilathgamuwage Don
2021	C	`ed.`	SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies, Virtual Event, Spain, June 16-18, 2021. SACMAT Jorge Lobo, Roberto Di Pietro, Omar Chowdhury, Hongxin Hu
2021	C	`conf`	Towards Neural-Symbolic Learning to support Human-Agent Operations. FUSION Daniel Cunnington, Mark Law, Alessandra Russo, Jorge Lobo, Lance M. Kaplan
2020	J	`jnl`	FLAP - A Federated Learning Framework for Attribute-based Access Control Policies. CoRR Amani Abu Jabal, Elisa Bertino, Jorge Lobo, Dinesh C. Verma, Seraphin B. Calo, Alessandra Russo
2020	A*	`conf`	FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria. AAAI Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo
2020	J	`jnl`	NSL: Hybrid Interpretable Learning From Noisy Raw Data. CoRR Daniel Cunnington, Alessandra Russo, Mark Law, Jorge Lobo, Lance M. Kaplan
2020	C	`conf`	On Security Policy Migrations. SACMAT Jorge Lobo, Elisa Bertino, Alessandra Russo
2020	—	`conf`	Polisma - A Framework for Learning Attribute-Based Access Control Policies. ESORICS (1) Amani Abu Jabal, Elisa Bertino, Jorge Lobo, Mark Law, Alessandra Russo, Seraphin B. Calo, Dinesh C. Verma
2020	C	`ed.`	Proceedings of the 25th ACM Symposium on Access Control Models and Technologies, SACMAT 2020, Barcelona, Spain, June 10-12, 2020. SACMAT Jorge Lobo, Scott D. Stoller, Peng Liu
2020	A*	`conf`	Stable and Supported Semantics in Continuous Vector Spaces. KR Yaniv Aspis, Krysia Broda, Alessandra Russo, Jorge Lobo
2019	A	`conf`	Generative Policies for Coalition Systems - A Symbolic Learning Framework. ICDCS Elisa Bertino, Graham White, Jorge Lobo, John Ingham, Gregory H. Cirincione, Alessandra Russo, Mark Law, Seraphin B. Calo, Irene Manotas, Dinesh C. Verma, Amani Abu Jabal, Daniel Cunnington, Geeth de Mel
2019	B	`conf`	On the Scaling of Virtualized Network Functions. IM Jorge Lobo, Windhya Rankothge, Helena Ramalhinho Lourenço
2019	—	`ch.`	Optimal Placement of Security Resources for the Internet of Things. The Internet of Things for Smart Urban Ecosystems Antonino Rullo, Edoardo Serra, Elisa Bertino, Jorge Lobo
2019	J	`jnl`	Relationship-based access control: More than a social network access control model. WIREs Data Mining Knowl. Discov. Jorge Lobo
2019	A*	`conf`	Representing and Learning Grammars in Answer Set Programming. AAAI Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo
2018	J	`jnl`	A Comprehensive Study on Load Balancers for VNF chains Horizontal Scaling. CoRR Jiefei Ma, Windhya Rankothge, Christian Makaya, Mariceli Morales, Franck Le, Jorge Lobo
2018	B	`conf`	An Overview of A Load Balancer Architecture for VNF chains Horizontal Scaling. CNSM Jiefei Ma, Windhya Rankothge, Christian Makaya, Mariceli Morales, Franck Le, Jorge Lobo
2018	C	`ed.`	Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, SACMAT 2018, Indianapolis, IN, USA, June 13-15, 2018 SACMAT Elisa Bertino, Dan Lin, Jorge Lobo
2018	—	`conf`	Redundancy as a Measure of Fault-Tolerance for the Internet of Things: A Review. PADG@ESORICS Antonino Rullo, Edoardo Serra, Jorge Lobo
2018	—	`conf`	Verification of Fixed-Topology Declarative Distributed Systems with External Data. AMW Diego Calvanese, Marco Montali, Jorge Lobo
2017	C	`conf`	A Datalog Framework for Modeling Relationship-based Access Control Policies. SACMAT Edelmira Pasarella, Jorge Lobo
2017	J	`jnl`	Data Modelling for the Evaluation of Virtualized Network Functions Resource Allocation Algorithms. CoRR Windhya Rankothge, Franck Le, Alessandra Russo, Jorge Lobo
2017	J	`jnl`	Optimizing Resource Allocation for Virtualized Network Functions in a Cloud Center Using Genetic Algorithms. IEEE Trans. Netw. Serv. Manag. Windhya Rankothge, Franck Le, Alessandra Russo, Jorge Lobo
2017	—	`conf`	Shortfall-Based Optimal Placement of Security Resources for Mobile IoT Scenarios. ESORICS (2) Antonino Rullo, Edoardo Serra, Elisa Bertino, Jorge Lobo
2017	A	`conf`	Shortfall-Based Optimal Security Provisioning for Internet of Things. ICDCS Antonino Rullo, Edoardo Serra, Elisa Bertino, Jorge Lobo
2016	J	`jnl`	Declarative Framework for Specification, Simulation and Analysis of Distributed Applications. IEEE Trans. Knowl. Data Eng. Jiefei Ma, Franck Le, Alessandra Russo, Jorge Lobo
2016	J	`jnl`	Introduction to Stochastic Computing using a Remote Lab with Reconfigurable Logic. Int. J. Online Eng. Jorge Lobo
2015	A*	`conf`	Detecting distributed signature-based intrusion: The case of multi-path routing attacks. INFOCOM Jiefei Ma, Franck Le, Alessandra Russo, Jorge Lobo
2015	J	`jnl`	Enforcement of Autonomous Authorizations in Collaborative Distributed Query Evaluation. IEEE Trans. Knowl. Data Eng. Qiang Zeng, Mingyi Zhao, Peng Liu, Poonam Yadav, Seraphin B. Calo, Jorge Lobo
2015	—	`conf`	Experimental results on the use of genetic algorithms for scaling virtualized network functions. NFV-SDN Windhya Rankothge, Franck Le, Alessandra Russo, Jorge Lobo
2015	A	`conf`	Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework. CSF Edelmira Pasarella, Jorge Lobo
2015	B	`conf`	Towards Collaborative Query Planning in Multi-party Database Networks. DBSec Mingyi Zhao, Peng Liu, Jorge Lobo
2015	B	`conf`	Towards making network function virtualization a cloud computing service. IM Windhya Rankothge, Jiefei Ma, Franck Le, Alessandra Russo, Jorge Lobo
2014	—	`conf`	An Operational Framework to Reason about Policies Behavior in Trust Management System. AMW Edelmira Pasarella, Jorge Lobo
2013	J	`jnl`	A Similarity Measure for Comparing XACML Policies. IEEE Trans. Knowl. Data Eng. Dan Lin, Prathima Rao, Rodolfo Ferrini, Elisa Bertino, Jorge Lobo
2013	J	`jnl`	A declarative approach to distributed computing: Specification, execution and analysis. Theory Pract. Log. Program. Jiefei Ma, Franck Le, David Wood, Alessandra Russo, Jorge Lobo
2013	J	`jnl`	Network and Service Management for Cloud Computing and Data Centers: A Report on CNSM 2012. J. Netw. Syst. Manag. Philippe Owezarski, Jorge Lobo, Deep Medhi
2012	—	`conf`	Declarative Distributed Computing. Correct Reasoning Jorge Lobo, Jiefei Ma, Alessandra Russo, Franck Le
2012	B	`conf`	Distributed state machines: A declarative framework for the management of distributed systems. CNSM Jorge Lobo, David Wood, Dinesh C. Verma, Seraphin B. Calo
2012	—	`conf`	Dynamic graph query primitives for SDN-based cloudnetwork management. HotSDN@SIGCOMM Ramya Raghavendra, Jorge Lobo, Kang-Won Lee
2012	—	`conf`	Firewall Configuration Policies for the Specification and Implementation of Private Zones. POLICY Jorge Lobo, Massimo Marchi, Alessandro Provetti
2012	A*	`conf`	Learning Stochastic Models of Information Flow. ICDE Luke Dickens, Ian M. Molloy, Jorge Lobo, Pau-Chen Cheng, Alessandra Russo
2012	—	`conf`	Policy-Aware Service Composition in Sensor Networks. IEEE SCC Raheleh Dimaghani, Sahin Cem Geyik, Keith Grueneberg, Jorge Lobo, Syed Yousaf Shah, Boleslaw K. Szymanski, Petros Zerfos
2012	C	`conf`	Practical risk aggregation in RBAC models. SACMAT Suresh Chari, Jorge Lobo, Ian M. Molloy
2012	—	`conf`	Risk-based security decisions under uncertainty. CODASPY Ian M. Molloy, Luke Dickens, Charles Morisset, Pau-Chen Cheng, Jorge Lobo, Alessandra Russo
2011	C	`ed.`	16th ACM Symposium on Access Control Models and Technologies, SACMAT 2011, Innsbruck, Austria, June 15-17, 2011, Proceedings SACMAT Ruth Breu, Jason Crampton, Jorge Lobo
2011	—	`conf`	Adversaries' Holy Grail: access control analytics. BADGERS@EuroSys Ian M. Molloy, Jorge Lobo, Suresh Chari
2011	J	`jnl`	Fine-grained integration of access control policies. Comput. Secur. Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo
2011	—	`conf`	Policy refinement of network services for MANETs. Integrated Network Management Hang Zhao, Jorge Lobo, Arnab Roy, Steven M. Bellovin
2011	B	`conf`	Policy refinement: Decomposition and operationalization for dynamic domains. CNSM Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman
2011	—	`conf`	Refinement of History-Based Policies. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman
2010	—	`conf`	A Negotiation Framework for Negotiation of Coalition Policies. POLICY Mandis Beigi, Jorge Lobo, Keith Grueneberg, Seraphin B. Calo, John Karat
2010	B	`conf`	Decomposition techniques for policy refinement. CNSM Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman
2010	J	`jnl`	EXAM: a comprehensive environment for the analysis of access control policies. Int. J. Inf. Sec. Dan Lin, Prathima Rao, Elisa Bertino, Ninghui Li, Jorge Lobo
2010	J	`jnl`	Mining Roles with Multiple Objectives. ACM Trans. Inf. Syst. Secur. Ian M. Molloy, Hong Chen, Tiancheng Li, Qihua Wang, Ninghui Li, Elisa Bertino, Seraphin B. Calo, Jorge Lobo
2010	C	`conf`	Mining roles with noisy data. SACMAT Ian M. Molloy, Ninghui Li, Yuan (Alan) Qi, Jorge Lobo, Luke Dickens
2010	J	`jnl`	Privacy-aware role-based access control. ACM Trans. Inf. Syst. Secur. Qun Ni, Elisa Bertino, Jorge Lobo, Carolyn Brodie, Clare-Marie Karat, John Karat, Alberto Trombetta
2010	A	`conf`	Risk-based access control systems built on fuzzy inferences. AsiaCCS Qun Ni, Elisa Bertino, Jorge Lobo
2010	—	`conf`	Towards an integrated approach to role engineering. SafeConfig Chris Giblin, Marcel Graf, Günter Karjoth, Andreas Wespi, Ian M. Molloy, Jorge Lobo, Seraphin B. Calo
2009	C	`conf`	Access control policy combining: theory meets practice. SACMAT Ninghui Li, Qihua Wang, Wahbeh H. Qardaji, Elisa Bertino, Prathima Rao, Jorge Lobo, Dan Lin
2009	C	`conf`	An algebra for fine-grained integration of XACML policies. SACMAT Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo
2009	J	`jnl`	Analysis of privacy and security policies. IBM J. Res. Dev. Elisa Bertino, Carolyn Brodie, Seraphin B. Calo, Lorrie Faith Cranor, Clare-Marie Karat, John Karat, Ninghui Li, Dan Lin, Jorge Lobo, Qun Ni, Prathima Rao, Xiping Wang
2009	C	`conf`	Automating role-based provisioning by learning from examples. SACMAT Qun Ni, Jorge Lobo, Seraphin B. Calo, Pankaj Rohatgi, Elisa Bertino
2009	A	`conf`	D-algebra for composing access control policy decisions. AsiaCCS Qun Ni, Elisa Bertino, Jorge Lobo
2009	C	`conf`	Evaluating role mining algorithms. SACMAT Ian M. Molloy, Ninghui Li, Tiancheng Li, Ziqing Mao, Qihua Wang, Jorge Lobo
2009	A	`conf`	Expressive policy analysis with enhanced system dynamicity. AsiaCCS Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara
2009	—	`conf`	Extending the CIM-SPL policy language with RBAC for distributed management systems in the WBEM infrastructure. Integrated Network Management Li Pan, Jorge Lobo, Seraphin B. Calo
2009	J	`jnl`	Policy framework for security and privacy management. IBM J. Res. Dev. John Karat, Clare-Marie Karat, Elisa Bertino, Ninghui Li, Qun Ni, Carolyn Brodie, Jorge Lobo, Seraphin B. Calo, Lorrie Faith Cranor, Ponnurangam Kumaraguru, Robert W. Reeder
2009	J	`jnl`	Privacy-Aware Role-Based Access Control. IEEE Secur. Priv. Qun Ni, Elisa Bertino, Jorge Lobo, Seraphin B. Calo
2009	—	`ed.`	Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, SafeConfig 2009, Chicago, IL, USA, November 9, 2009 SafeConfig Ehab Al-Shaer, Mohamed G. Gouda, Jorge Lobo, Sanjai Narain, Felix Wu
2009	—	`conf`	Security policy refinement using data integration: a position paper. SafeConfig Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman
2009	C	`conf`	Usability meets access control: challenges and research opportunities. SACMAT Konstantin Beznosov, Philip Inglesant, Jorge Lobo, Rob Reeder, Mary Ellen Zurko
2009	—	`conf`	Visualization for Access Control Policy Analysis Results Using Multi-level Grids. POLICY Prathima Rao, Gabriel Ghinita, Elisa Bertino, Jorge Lobo
2008	—	`conf`	A Role-Based Infrastructure for the Management of Dynamic Communities. AIMS Alberto E. Schaeffer Filho, Emil Lupu, Morris Sloman, Sye Loong Keoh, Jorge Lobo, Seraphin B. Calo
2008	—	`conf`	An Algebra for Integration and Analysis of Ponder2 Policies. POLICY Hang Zhao, Jorge Lobo, Steven M. Bellovin
2008	C	`conf`	An obligation model bridging access control policies and privacy policies. SACMAT Qun Ni, Elisa Bertino, Jorge Lobo
2008	B	`conf`	Authorization and Obligation Policies in Dynamic Systems. ICLP Michael Gelfond, Jorge Lobo
2008	—	`conf`	C POLICY Jorge Lobo, Vasileios Pappas
2008	—	`conf`	EXAM: An Environment for Access Control Policy Analysis and Management. POLICY Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo
2008	C	`conf`	Mining roles with semantic meanings. SACMAT Ian M. Molloy, Hong Chen, Tiancheng Li, Qihua Wang, Ninghui Li, Elisa Bertino, Seraphin B. Calo, Jorge Lobo
2008	C	`conf`	Policy decomposition for collaborative access control. SACMAT Dan Lin, Prathima Rao, Elisa Bertino, Ninghui Li, Jorge Lobo
2008	—	`conf`	The Coalition Policy Management Portal for Policy Authoring, Verification, and Deployment. POLICY Carolyn Brodie, David George, Clare-Marie Karat, John Karat, Jorge Lobo, Mandis Beigi, Xiping Wang, Seraphin B. Calo, Dinesh C. Verma, Alberto E. Schaeffer Filho, Emil Lupu, Morris Sloman
2007	C	`conf`	An approach to evaluate policy similarity. SACMAT Dan Lin, Prathima Rao, Elisa Bertino, Jorge Lobo
2007	A	`conf`	Conditional Privacy-Aware Role Based Access Control. ESORICS Qun Ni, Dan Lin, Elisa Bertino, Jorge Lobo
2007	—	`conf`	Issues in Designing a Policy Language for Distributed Management of IT Infrastructures. Integrated Network Management Dakshi Agrawal, Seraphin B. Calo, Kang-Won Lee, Jorge Lobo
2007	A*	`conf`	On the Correctness Criteria of Fine-Grained Access Control in Relational Databases. VLDB Qihua Wang, Ting Yu, Ninghui Li, Jorge Lobo, Elisa Bertino, Keith Irwin, Ji-Won Byun
2007	B	`conf`	Policy-Based Computing: From Systems and Applications to Theory. LPNMR Jorge Lobo
2007	C	`conf`	Privacy-aware role based access control. SACMAT Qun Ni, Alberto Trombetta, Elisa Bertino, Jorge Lobo
2006	—	`conf`	A Basis for Comparing Characteristics of Policy Systems. POLICY Seraphin B. Calo, Jorge Lobo
2005	—	`conf`	Policy Ratification. POLICY Dakshi Agrawal, James Giles, Kang-Won Lee, Jorge Lobo
2005	J	`jnl`	Policy-based management of networked computing systems. IEEE Commun. Mag. Dakshi Agrawal, Kang-Won Lee, Jorge Lobo
2004	J	`jnl`	Knowledge And The Action Description Language A CoRR Jorge Lobo, Gisela Mendez, Stuart R. Taylor
2003	J	`jnl`	Conflict Resolution Using Logic Programming. IEEE Trans. Knowl. Data Eng. Jan Chomicki, Jorge Lobo, Shamim A. Naqvi
2003	J	`jnl`	Realizing network Control Policies using Distributed Action Plans. J. Netw. Syst. Manag. Madhur Kohli, Jorge Lobo
2001	J	`jnl`	Formalizing and Reasoning About the Requirements Specifications of Workflow Systems. Int. J. Cooperative Inf. Syst. Goce Trajcevski, Chitta Baral, Jorge Lobo
2001	J	`jnl`	Knowledge and the Action Description Language A. Theory Pract. Log. Program. Jorge Lobo, Gisela Mendez, Stuart R. Taylor
2001	—	`conf`	Monitors for History-Based Policies. POLICY Jan Chomicki, Jorge Lobo
2001	—	`ed.`	Policies for Distributed Systems and Networks, International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001, Proceedings Morris Sloman, Jorge Lobo, Emil Lupu
2001	—	`conf`	Reasoning about Policies using Logic Programs. Answer Set Programming Tran Cao Son, Jorge Lobo
2000	A*	`conf`	A Logic Programming Approach to Conflict Resolution in Policy Management. KR Jan Chomicki, Jorge Lobo, Shamim A. Naqvi
2000	—	`conf`	Distributed action plans in an agent based network management system. Agents Madhur Kohli, Jorge Lobo
2000	B	`conf`	Formalizing (and Reasoning About) the Specifications of Workflows. CoopIS Goce Trajcevski, Chitta Baral, Jorge Lobo
2000	B	`conf`	Netmon: network management for the SARAS softswitch. NOMS Aashu Virmani, Jorge Lobo, Madhur Kohli
2000	A*	`conf`	Policy Evaluation for Network Management. INFOCOM Randeep Bhatia, Jorge Lobo, Madhur Kohli
1999	—	`conf`	A Policy Description Language. AAAI/IAAI Jorge Lobo, Randeep Bhatia, Shamim A. Naqvi
1999	Misc	`conf`	A Policy-based Network Management System. IC-AI Randeep Bhatia, Madhur Kohli, Jorge Lobo, Aashu Virmani
1999	J	`jnl`	Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation. Ann. Math. Artif. Intell. Jürgen Dix, Jorge Lobo
1997	J	`jnl`	Abductive Consequence Relations. Artif. Intell. Jorge Lobo, Carlos Uzcátegui
1997	—	`conf`	Adding Knowledge to the Action Description Language A. AAAI/IAAI Jorge Lobo, Gisela Mendez, Stuart R. Taylor
1997	—	`conf`	Defeasible Specifications in Action Theories. IJCAI Chitta Baral, Jorge Lobo
1997	—	`conf`	Formal Characterizations of Active Databases: Part II. DOOD Chitta Baral, Jorge Lobo, Goce Trajcevski
1997	—	`conf`	From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial. DOOD Chitta Baral, Jorge Lobo
1997	J	`jnl`	Minimal and Consistent Evolution of Knowledge Bases. J. Appl. Non Class. Logics Jorge Lobo, Goce Trajcevski
1997	J	`jnl`	Qualifying Answers According to User Needs and Preferences. Fundam. Informaticae Terry Gaasterland, Jorge Lobo
1996	J	`jnl`	A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. IEEE Trans. Knowl. Data Eng. John Jeffrey, Jorge Lobo, Tadao Murata
1996	J	`jnl`	Abductive Change Operators. Fundam. Informaticae Jorge Lobo, Carlos Uzcátegui
1996	J	`jnl`	Computation of Best Bounds of Probabilities from Uncertain Data. Comput. Intell. Chengjie Luo, Clement T. Yu, Jorge Lobo, Gaoming Wang, Tracy Pham
1996	—	`conf`	Formal Characterization of Active Databases. Logic in Databases Chitta Baral, Jorge Lobo
1996	B	`conf`	Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge Bases. ICTAI Goce Trajcevski, Jorge Lobo, Naveen Grover
1996	J	`jnl`	Semantics for Update Rule Programs and Implementations in a Relational Database Management System. ACM Trans. Database Syst. Louiqa Raschid, Jorge Lobo
1995	—	`conf`	An Experimental Distributed Deductive Database System. DOOD Claudio Robles, Jorge Lobo, Terry Gaasterland
1995	J	`jnl`	An Extended Petri Net Model for Normal Logic Programs. IEEE Trans. Knowl. Data Eng. Teruhiro Shimura, Jorge Lobo, Tadao Murata
1995	J	`jnl`	Dynamic Maintenance of the Transitive Closure in Disjunctive Graphs. Ann. Math. Artif. Intell. Jorge Lobo, Qi Yang, Clement T. Yu
1994	—	`conf`	A Resolution-based Procedure for Default Theories with Extensions. NMELP Monica D. Barback, Jorge Lobo
1994	J	`jnl`	A Semantics for a Class of Non-Deterministic and Causal Production System Programs. J. Autom. Reason. Louiqa Raschid, Jorge Lobo
1994	A	`conf`	Assigning Function to CDS Through Qualified Query Answering: Beyond Alignment and Motifs. ISMB Terry Gaasterland, Natalia Maltsev, Jorge Lobo, Guo-hua Chen
1994	A*	`conf`	Qualified Answers That Reflect User Needs and Preferences. VLDB Terry Gaasterland, Jorge Lobo
1993	—	`conf`	A Proof Procedure for Default Theories with Extensions. ILPS Monica D. Barback, Jorge Lobo
1993	J	`jnl`	Disjunctive LP + Integrity Constraints = Stable Model Semantics. Ann. Math. Artif. Intell. José Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian
1993	J	`jnl`	Processing Negation and Disjunction in Logic Programs Through Integrity Constraints. J. Intell. Inf. Syst. Terry Gaasterland, Jorge Lobo
1993	C	`conf`	Using Semantic Information for Processing Negation and Disjunction in Logic Programs. ISMIS Terry Gaasterland, Jorge Lobo
1993	J	`jnl`	View Updates in Stratified Disjunctive Databases. J. Autom. Reason. John Grant, John F. Horty, Jorge Lobo, Jack Minker
1992	C	`conf`	A Petri Net Semantics for Logic Programs with Negation. SEKE Teruhiro Shimura, Jorge Lobo, Tadao Murata
1992	—	`book`	Foundations of disjunctive logic programming. Jorge Lobo, Jack Minker, Arcot Rajasekar
1992	J	`jnl`	Generalized Disjunctive Well-Founded Semantics for Logic Programs. Ann. Math. Artif. Intell. Chitta Baral, Jorge Lobo, Jack Minker
1992	A	`conf`	Minimizing Indefinite Information in Disjunctive Deductive Databases. ICDT Monica D. Barback, Jorge Lobo, James J. Lu
1992	J	`jnl`	Relating Minimal Models and Pre-Requisite-Free Normal Defaults. Inf. Process. Lett. Jorge Lobo, V. S. Subrahmanian
1991	—	`conf`	Circumscription and Disjunctive Logic Programming. Artificial and Mathematical Theory of Computation Jack Minker, Jorge Lobo, Arcot Rajasekar
1991	J	`jnl`	Semantics of Horn and Disjunctive Logic Programs. Theor. Comput. Sci. Jorge Lobo, Arcot Rajasekar, Jack Minker
1991	—	`conf`	Theory of Disjunctive Logic Programs. Computational Logic - Essays in Honor of Alan Robinson Jack Minker, Arcot Rajasekar, Jorge Lobo
1991	C	`conf`	WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. ISMIS Chitta Baral, Jorge Lobo, Jack Minker
1990	A	`conf`	Generalized Well-founded Semantics for Logic Programs (Extended Abstract). CADE Chitta Baral, Jorge Lobo, Jack Minker
1990	—	`conf`	On Constructive Negation for Disjunctive Logic Programs. NACLP Jorge Lobo
1989	B	`conf`	Extending the Semantics of Logic Programs to Disjunctive Logic Programs. ICLP Jorge Lobo, Jack Minker, Arcot Rajasekar
1989	A*	`conf`	Skeptical Reasoning and Disjunctive Programs. KR Arcot Rajasekar, Jorge Lobo, Jack Minker
1989	J	`jnl`	Weak Generalized Closed World Assumption. J. Autom. Reason. Arcot Rajasekar, Jorge Lobo, Jack Minker
1988	—	`conf`	A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases. Expert Database Conf. Jorge Lobo, Jack Minker
1988	—	`conf`	Weak Completion Theory for Non-Horn Programs. ICLP/SLP Jorge Lobo, Jack Minker, Arcot Rajasekar