BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Chile
2 × Canada
2 × Italy
3 × USA
Collaborated with:
J.Minker A.Rajasekar M.Gelfond T.Gaasterland M.D.Barback J.Chomicki S.A.Naqvi T.Shimura T.Murata C.Baral J.Ma F.Le D.Wood A.Russo Q.Wang T.Yu N.Li E.Bertino K.Irwin J.Byun
Talks about:
program (6) logic (4) disjunct (2) approach (2) theori (2) semant (2) polici (2) negat (2) distribut (1) construct (1)

Person: Jorge Lobo

DBLP DBLP: Lobo:Jorge

Contributed to:

ICLP 20132013
ICLP 20082008
VLDB 20072007
KR 20002000
VLDB 19941994
ILPS 19931993
SEKE 19921992
CADE 19901990
NACLP 19901990
KR 19891989
ICLP/SPL 19881988

Wrote 11 papers:

ICLP-J-2013-MaLWRL #analysis #approach #declarative #distributed #execution #specification
A declarative approach to distributed computing: Specification, execution and analysis (JM, FL, DW, AR, JL), pp. 815–830.
ICLP-2008-GelfondL #policy
Authorization and Obligation Policies in Dynamic Systems (MG, JL), pp. 22–36.
VLDB-2007-WangYLLBIB #correctness #data access #database #fine-grained #on the #relational
On the Correctness Criteria of Fine-Grained Access Control in Relational Databases (QW, TY, NL, JL, EB, KI, JWB), pp. 555–566.
KR-2000-ChomickiLN #approach #logic programming #policy
A Logic Programming Approach to Conflict Resolution in Policy Management (JC, JL, SAN), pp. 121–132.
Qualified Answers That Reflect User Needs and Preferences (TG, JL), pp. 309–320.
ILPS-1993-BarbackL #proving
A Proof Procedure for Default Theories with Extensions (MDB, JL), p. 651.
SEKE-1992-ShimuraLM #logic programming #petri net #semantics #source code
A Petri Net Semantics for Logic Programs with Negation (TS, JL, TM), pp. 292–299.
CADE-1990-BaralLM #logic programming #semantics #source code
Generalized Well-founded Semantics for Logic Programs (CB, JL, JM), pp. 102–116.
NACLP-1990-Lobo #logic programming #on the #source code
On Constructive Negation for Disjunctive Logic Programs (JL), pp. 704–718.
KR-1989-RajasekarLM #reasoning #source code
Skeptical Reasoning and Disjunctive Programs (AR, JL, JM), pp. 349–356.
JICSCP-1988-LoboMR88 #source code
Weak Completion Theory for Non-Horn Programs (JL, JM, AR), pp. 828–842.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.