| 2008 |
|---|
| 69 | EE | Dan Lin,
Prathima Rao,
Elisa Bertino,
Ninghui Li,
Jorge Lobo:
Policy decomposition for collaborative access control.
SACMAT 2008: 103-112 |
| 68 | EE | Qun Ni,
Elisa Bertino,
Jorge Lobo:
An obligation model bridging access control policies and privacy policies.
SACMAT 2008: 133-142 |
| 67 | EE | Ian Molloy,
Hong Chen,
Tiancheng Li,
Qihua Wang,
Ninghui Li,
Elisa Bertino,
Seraphin B. Calo,
Jorge Lobo:
Mining roles with semantic meanings.
SACMAT 2008: 21-30 |
| 2007 |
|---|
| 66 | EE | Qun Ni,
Dan Lin,
Elisa Bertino,
Jorge Lobo:
Conditional Privacy-Aware Role Based Access Control.
ESORICS 2007: 72-89 |
| 65 | EE | Dakshi Agrawal,
Seraphin B. Calo,
Kang-Won Lee,
Jorge Lobo:
Issues in Designing a Policy Language for Distributed Management of IT Infrastructures.
Integrated Network Management 2007: 30-39 |
| 64 | EE | Jorge Lobo:
Policy-Based Computing: From Systems and Applications to Theory.
LPNMR 2007: 2 |
| 63 | EE | Dan Lin,
Prathima Rao,
Elisa Bertino,
Jorge Lobo:
An approach to evaluate policy similarity.
SACMAT 2007: 1-10 |
| 62 | EE | Qun Ni,
Alberto Trombetta,
Elisa Bertino,
Jorge Lobo:
Privacy-aware role based access control.
SACMAT 2007: 41-50 |
| 61 | EE | Qihua Wang,
Ting Yu,
Ninghui Li,
Jorge Lobo,
Elisa Bertino,
Keith Irwin,
Ji-Won Byun:
On the Correctness Criteria of Fine-Grained Access Control in Relational Databases.
VLDB 2007: 555-566 |
| 2006 |
|---|
| 60 | EE | Seraphin B. Calo,
Jorge Lobo:
A Basis for Comparing Characteristics of Policy Systems.
POLICY 2006: 183-194 |
| 2005 |
|---|
| 59 | EE | Dakshi Agrawal,
James Giles,
Kang-Won Lee,
Jorge Lobo:
Policy Ratification.
POLICY 2005: 223-232 |
| 2004 |
|---|
| 58 | EE | Jorge Lobo,
Gisela Mendez,
Stuart R. Taylor:
Knowledge And The Action Description Language A
CoRR cs.AI/0404051: (2004) |
| 2003 |
|---|
| 57 | | Jorge Lobo,
Luís Almeida,
João Alves,
Jorge Dias:
Registration and Segmentation for 3D Map Building: A Solution Based on Stereo Vision and Inertial Sensors.
ICRA 2003: 139-144 |
| 56 | EE | Jan Chomicki,
Jorge Lobo,
Shamim A. Naqvi:
Conflict Resolution Using Logic Programming.
IEEE Trans. Knowl. Data Eng. 15(1): 244-249 (2003) |
| 55 | EE | Jorge Lobo,
Jorge Dias:
Vision and Inertial Sensor Cooperation Using Gravity as a Vertical Reference.
IEEE Trans. Pattern Anal. Mach. Intell. 25(12): 1597-1608 (2003) |
| 54 | | Madhur Kohli,
Jorge Lobo:
Realizing network Control Policies using Distributed Action Plans.
J. Network Syst. Manage. 11(3): (2003) |
| 53 | EE | Jorge Lobo,
Carlos Queiroz,
Jorge Dias:
World feature detection and mapping using stereovision and inertial sensors.
Robotics and Autonomous Systems 44(1): 69-81 (2003) |
| 2002 |
|---|
| 52 | EE | João Filipe Ferreira,
Jorge Lobo,
Jorge Dias:
Tele-3D - Developing a Handheld Scanner Using Structured Light Projection.
3DPVT 2002: 788-793 |
| 2001 |
|---|
| 51 | | Morris Sloman,
Jorge Lobo,
Emil Lupu:
Policies for Distributed Systems and Networks, International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001, Proceedings
Springer 2001 |
| 50 | EE | Tran Cao Son,
Jorge Lobo:
Reasoning about Policies using Logic Programs.
Answer Set Programming 2001 |
| 49 | EE | Jan Chomicki,
Jorge Lobo:
Monitors for History-Based Policies.
POLICY 2001: 57-72 |
| 48 | EE | Goce Trajcevski,
Chitta Baral,
Jorge Lobo:
Formalizing and Reasoning About the Requirements Specifications of Workflow Systems.
Int. J. Cooperative Inf. Syst. 10(4): 483-507 (2001) |
| 47 | | Jorge Lobo,
Gisela Mendez,
Stuart R. Taylor:
Knowledge and the Action Description Language A.
TPLP 1(2): 129-184 (2001) |
| 2000 |
|---|
| 46 | EE | Madhur Kohli,
Jorge Lobo:
Distributed action plans in an agent based network management system.
Agents 2000: 140-141 |
| 45 | EE | Goce Trajcevski,
Chitta Baral,
Jorge Lobo:
Formalizing (and Reasoning About) the Specifications of Workflows.
CoopIS 2000: 1-17 |
| 44 | EE | Randeep Bhatia,
Jorge Lobo,
Madhur Kohli:
Policy Evaluation for Network Management.
INFOCOM 2000: 1107-1116 |
| 43 | | Jan Chomicki,
Jorge Lobo,
Shamim A. Naqvi:
A Logic Programming Approach to Conflict Resolution in Policy Management.
KR 2000: 121-132 |
| 1999 |
|---|
| 42 | | Jorge Lobo,
Randeep Bhatia,
Shamim A. Naqvi:
A Policy Description Language.
AAAI/IAAI 1999: 291-298 |
| 41 | | Randeep Bhatia,
Madhur Kohli,
Jorge Lobo,
Aashu Virmani:
A Policy-based Network Management System.
IC-AI 1999: 465-471 |
| 40 | | Jürgen Dix,
Jorge Lobo:
Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation.
Ann. Math. Artif. Intell. 25(3-4): 161-164 (1999) |
| 1997 |
|---|
| 39 | | Jorge Lobo,
Gisela Mendez,
Stuart R. Taylor:
Adding Knowledge to the Action Description Language A.
AAAI/IAAI 1997: 454-459 |
| 38 | | Chitta Baral,
Jorge Lobo,
Goce Trajcevski:
Formal Characterizations of Active Databases: Part II.
DOOD 1997: 247-264 |
| 37 | | Chitta Baral,
Jorge Lobo:
From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial.
DOOD 1997: 26-32 |
| 36 | | Chitta Baral,
Jorge Lobo:
Defeasible Specifications in Action Theories.
IJCAI 1997: 1441-1446 |
| 35 | EE | Jorge Lobo,
Carlos Uzcátegui:
Abductive Consequence Relations.
Artif. Intell. 89(1-2): 149-171 (1997) |
| 34 | | Terry Gaasterland,
Jorge Lobo:
Qualifying Answers According to User Needs and Preferences.
Fundam. Inform. 32(2): 121-137 (1997) |
| 33 | | Jorge Lobo,
Goce Trajcevski:
Minimal and Consistent Evolution of Knowledge Bases.
Journal of Applied Non-Classical Logics 7(1): (1997) |
| 1996 |
|---|
| 32 | | Goce Trajcevski,
Jorge Lobo,
Naveen Grover:
Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge Bases.
ICTAI 1996: 478-479 |
| 31 | | Chitta Baral,
Jorge Lobo:
Formal Characterization of Active Databases.
Logic in Databases 1996: 175-195 |
| 30 | EE | Louiqa Raschid,
Jorge Lobo:
Semantics for Update Rule Programs and Implementations in a Relational Database Management System.
ACM Trans. Database Syst. 21(4): 526-571 (1996) |
| 29 | | Chengjie Luo,
Clement T. Yu,
Jorge Lobo,
Gaoming Wang,
Tracy Pham:
Computation of Best Bounds of Probabilities from Uncertain Data.
Computational Intelligence 12: 541-566 (1996) |
| 28 | | Jorge Lobo,
Carlos Uzcátegui:
Abductive Change Operators.
Fundam. Inform. 27(4): 385-411 (1996) |
| 27 | EE | John Jeffrey,
Jorge Lobo,
Tadao Murata:
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic.
IEEE Trans. Knowl. Data Eng. 8(2): 241-259 (1996) |
| 1995 |
|---|
| 26 | | Claudio Robles,
Jorge Lobo,
Terry Gaasterland:
An Experimental Distributed Deductive Database System.
DOOD 1995: 128-142 |
| 25 | | Jorge Lobo,
Qi Yang,
Clement T. Yu:
Dynamic Maintenance of the Transitive Closure in Disjunctive Graphs.
Ann. Math. Artif. Intell. 14(2-4): 151-176 (1995) |
| 24 | EE | Teruhiro Shimura,
Jorge Lobo,
Tadao Murata:
An Extended Petri Net Model for Normal Logic Programs.
IEEE Trans. Knowl. Data Eng. 7(1): 150-162 (1995) |
| 1994 |
|---|
| 23 | | Terry Gaasterland,
Natalia Maltsev,
Jorge Lobo,
Guo-Hua Chen:
Assigning Function to CDS Through Qualified Query Answering: Beyond Alignment and Motifs.
ISMB 1994: 130-137 |
| 22 | | Monica D. Barback,
Jorge Lobo:
A Resolution-based Procedure for Default Theories with Extensions.
NMELP 1994: 101-126 |
| 21 | EE | Terry Gaasterland,
Jorge Lobo:
Qualified Answers That Reflect User Needs and Preferences.
VLDB 1994: 309-320 |
| 20 | | Louiqa Raschid,
Jorge Lobo:
A Semantics for a Class of Non-Deterministic and Causal Production System Programs.
J. Autom. Reasoning 12(3): 305-349 (1994) |
| 1993 |
|---|
| 19 | | Monica D. Barback,
Jorge Lobo:
A Proof Procedure for Default Theories with Extensions.
ILPS 1993: 651 |
| 18 | | Terry Gaasterland,
Jorge Lobo:
Using Semantic Information for Processing Negation and Disjunction in Logic Programs.
ISMIS 1993: 198-208 |
| 17 | | José Alberto Fernández,
Jorge Lobo,
Jack Minker,
V. S. Subrahmanian:
Disjunctive LP + Integrity Constraints = Stable Model Semantics.
Ann. Math. Artif. Intell. 8(3-4): 449-474 (1993) |
| 16 | | John Grant,
John F. Horty,
Jorge Lobo,
Jack Minker:
View Updates in Stratified Disjunctive Databases.
J. Autom. Reasoning 11(2): 249-267 (1993) |
| 15 | | Terry Gaasterland,
Jorge Lobo:
Processing Negation and Disjunction in Logic Programs Through Integrity Constraints.
J. Intell. Inf. Syst. 2(3): 225-243 (1993) |
| 1992 |
|---|
| 14 | EE | Monica D. Barback,
Jorge Lobo,
James J. Lu:
Minimizing Indefinite Information in Disjunctive Deductive Databases.
ICDT 1992: 246-260 |
| 13 | EE | Teruhiro Shimura,
Jorge Lobo,
Tadao Murata:
A Petri Net Semantics for Logic Programs with Negation.
SEKE 1992: 292-299 |
| 12 | | Chitta Baral,
Jorge Lobo,
Jack Minker:
Generalized Disjunctive Well-Founded Semantics for Logic Programs.
Ann. Math. Artif. Intell. 5(2-4): 89-131 (1992) |
| 11 | | Jorge Lobo,
V. S. Subrahmanian:
Relating Minimal Models and Pre-Requisite-Free Normal Defaults.
Inf. Process. Lett. 44(3): 129-133 (1992) |
| 1991 |
|---|
| 10 | | Jack Minker,
Arcot Rajasekar,
Jorge Lobo:
Theory of Disjunctive Logic Programs.
Computational Logic - Essays in Honor of Alan Robinson 1991: 613-639 |
| 9 | | Chitta Baral,
Jorge Lobo,
Jack Minker:
WF³: A Semantics for Negation in Normal Disjunctive Logic Programs.
ISMIS 1991: 459-468 |
| 8 | | Jorge Lobo,
Arcot Rajasekar,
Jack Minker:
Semantics of Horn and Disjunctive Logic Programs.
Theor. Comput. Sci. 86(1): 93-106 (1991) |
| 1990 |
|---|
| 7 | | Chitta Baral,
Jorge Lobo,
Jack Minker:
Generalized Well-founded Semantics for Logic Programs (Extended Abstract).
CADE 1990: 102-116 |
| 6 | | Jorge Lobo:
On Constructive Negation for Disjunctive Logic Programs.
NACLP 1990: 704-718 |
| 1989 |
|---|
| 5 | | Jorge Lobo,
Jack Minker,
Arcot Rajasekar:
Extending the Semantics of Logic Programs to Disjunctive Logic Programs.
ICLP 1989: 255-267 |
| 4 | | Arcot Rajasekar,
Jorge Lobo,
Jack Minker:
Skeptical Reasoning and Disjunctive Programs.
KR 1989: 349-356 |
| 3 | | Arcot Rajasekar,
Jorge Lobo,
Jack Minker:
Weak Generalized Closed World Assumption.
J. Autom. Reasoning 5(3): 293-307 (1989) |
| 1988 |
|---|
| 2 | | Jorge Lobo,
Jack Minker:
A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases.
Expert Database Conf. 1988: 699-741 |
| 1 | | Jorge Lobo,
Jack Minker,
Arcot Rajasekar:
Weak Completion Theory for Non-Horn Programs.
ICLP/SLP 1988: 828-842 |
