dblp.uni-trier.dewww.uni-trier.de

Jorge Lobo

IBM Watson Research Center (Hawthorne)

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
74EERobert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha Bandara: Expressive policy analysis with enhanced system dynamicity. ASIACCS 2009: 239-250
73EEQun Ni, Elisa Bertino, Jorge Lobo: D-algebra for composing access control policy decisions. ASIACCS 2009: 298-309
2008
72EEAlberto E. Schaeffer Filho, Emil Lupu, Morris Sloman, Sye Loong Keoh, Jorge Lobo, Seraphin B. Calo: A Role-Based Infrastructure for the Management of Dynamic Communities. AIMS 2008: 1-14
71EEMichael Gelfond, Jorge Lobo: Authorization and Obligation Policies in Dynamic Systems. ICLP 2008: 22-36
70EEPrathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo: EXAM: An Environment for Access Control Policy Analysis and Management. POLICY 2008: 238-240
69EECarolyn 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: The Coalition Policy Management Portal for Policy Authoring, Verification, and Deployment. POLICY 2008: 247-249
68EEJorge Lobo, Vasileios Pappas: C2: The Case for a Network Configuration Checking Language. POLICY 2008: 29-36
67EEHang Zhao, Jorge Lobo, Steven M. Bellovin: An Algebra for Integration and Analysis of Ponder2 Policies. POLICY 2008: 74-77
66EEDan Lin, Prathima Rao, Elisa Bertino, Ninghui Li, Jorge Lobo: Policy decomposition for collaborative access control. SACMAT 2008: 103-112
65EEQun Ni, Elisa Bertino, Jorge Lobo: An obligation model bridging access control policies and privacy policies. SACMAT 2008: 133-142
64EEIan 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
63EEQun Ni, Dan Lin, Elisa Bertino, Jorge Lobo: Conditional Privacy-Aware Role Based Access Control. ESORICS 2007: 72-89
62EEDakshi 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
61EEJorge Lobo: Policy-Based Computing: From Systems and Applications to Theory. LPNMR 2007: 2
60EEDan Lin, Prathima Rao, Elisa Bertino, Jorge Lobo: An approach to evaluate policy similarity. SACMAT 2007: 1-10
59EEQun Ni, Alberto Trombetta, Elisa Bertino, Jorge Lobo: Privacy-aware role based access control. SACMAT 2007: 41-50
58EEQihua 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
57EESeraphin B. Calo, Jorge Lobo: A Basis for Comparing Characteristics of Policy Systems. POLICY 2006: 183-194
2005
56EEDakshi Agrawal, James Giles, Kang-Won Lee, Jorge Lobo: Policy Ratification. POLICY 2005: 223-232
2004
55EEJorge Lobo, Gisela Mendez, Stuart R. Taylor: Knowledge And The Action Description Language A CoRR cs.AI/0404051: (2004)
2003
54EEJan Chomicki, Jorge Lobo, Shamim A. Naqvi: Conflict Resolution Using Logic Programming. IEEE Trans. Knowl. Data Eng. 15(1): 244-249 (2003)
53 Madhur Kohli, Jorge Lobo: Realizing network Control Policies using Distributed Action Plans. J. Network Syst. Manage. 11(3): (2003)
2001
52 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
51EETran Cao Son, Jorge Lobo: Reasoning about Policies using Logic Programs. Answer Set Programming 2001
50EEJan Chomicki, Jorge Lobo: Monitors for History-Based Policies. POLICY 2001: 57-72
49EEGoce 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)
48 Jorge Lobo, Gisela Mendez, Stuart R. Taylor: Knowledge and the Action Description Language A. TPLP 1(2): 129-184 (2001)
2000
47EEMadhur Kohli, Jorge Lobo: Distributed action plans in an agent based network management system. Agents 2000: 140-141
46EEGoce Trajcevski, Chitta Baral, Jorge Lobo: Formalizing (and Reasoning About) the Specifications of Workflows. CoopIS 2000: 1-17
45EERandeep Bhatia, Jorge Lobo, Madhur Kohli: Policy Evaluation for Network Management. INFOCOM 2000: 1107-1116
44 Jan Chomicki, Jorge Lobo, Shamim A. Naqvi: A Logic Programming Approach to Conflict Resolution in Policy Management. KR 2000: 121-132
43EEAashu Virmani, Jorge Lobo, Madhur Kohli: Netmon: network management for the SARAS softswitch. NOMS 2000: 803-816
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
35EEJorge 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
30EELouiqa 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)
27EEJohn 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)
24EETeruhiro 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
21EETerry 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
14EEMonica D. Barback, Jorge Lobo, James J. Lu: Minimizing Indefinite Information in Disjunctive Deductive Databases. ICDT 1992: 246-260
13EETeruhiro 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

Coauthor Index

1Dakshi Agrawal [56] [62]
2Arosha Bandara [74]
3Chitta Baral [7] [9] [12] [31] [36] [37] [38] [46] [49]
4Monica D. Barback [14] [19] [22]
5Mandis Beigi [69]
6Steven M. Bellovin [67]
7Elisa Bertino [58] [59] [60] [63] [64] [65] [66] [70] [73]
8Randeep Bhatia [41] [42] [45]
9Carolyn Brodie [69]
10Ji-Won Byun [58]
11Seraphin B. Calo [57] [62] [64] [69] [72]
12Guo-Hua Chen [23]
13Hong Chen [64]
14Jan Chomicki [44] [50] [54]
15Robert Craven [74]
16Jürgen Dix [40]
17José Alberto Fernández [17]
18Alberto E. Schaeffer Filho [69] [72]
19Terry Gaasterland [15] [18] [21] [23] [26] [34]
20Michael Gelfond [71]
21David George [69]
22James Giles [56]
23John Grant [16]
24Naveen Grover [32]
25John F. Horty [16]
26Keith Irwin [58]
27John Jeffrey [27]
28Clare-Marie Karat [69]
29John Karat [69]
30Sye Loong Keoh [72]
31Madhur Kohli [41] [43] [45] [47] [53]
32Kang-Won Lee [56] [62]
33Ninghui Li [58] [64] [66] [70]
34Tiancheng Li [64]
35Dan Lin [60] [63] [66] [70]
36James J. Lu [14]
37Chengjie Luo [29]
38Emil C. Lupu (Emil Lupu) [52] [69] [72] [74]
39Jiefei Ma [74]
40Natalia Maltsev [23]
41Gisela Mendez [39] [48] [55]
42Jack Minker [1] [2] [3] [4] [5] [7] [8] [9] [10] [12] [16] [17]
43Ian Molloy [64]
44Tadao Murata [13] [24] [27]
45Shamim A. Naqvi [42] [44] [54]
46Qun Ni [59] [63] [65] [73]
47Vasileios Pappas [68]
48Tracy Pham [29]
49Arcot Rajasekar [1] [3] [4] [5] [8] [10]
50Prathima Rao [60] [66] [70]
51Louiqa Raschid [20] [30]
52Claudio Robles [26]
53Alessandra Russo [74]
54Teruhiro Shimura [13] [24]
55Morris Sloman [52] [69] [72]
56Tran Cao Son [51]
57V. S. Subrahmanian [11] [17]
58Stuart R. Taylor [39] [48] [55]
59Goce Trajcevski [32] [33] [38] [46] [49]
60Alberto Trombetta [59]
61Carlos Uzcátegui [28] [35]
62Dinesh C. Verma [69]
63Aashu Virmani [41] [43]
64Gaoming Wang [29]
65Qihua Wang [58] [64]
66Xiping Wang [69]
67Qi Yang [25]
68Clement T. Yu [25] [29]
69Ting Yu [58]
70Hang Zhao [67]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)