Jorge Lobo

Available identifiers

zbMath Open lobo.jorgeWikidataQ57308908 ScholiaQ57308908MaRDI QIDQ1177926

List of research outcomes

Publication	Date of Publication	Type
FFNSL: Feed-forward neural-symbolic learner	2023-06-12	Paper
Generalized well-founded semantics for logic programs	2023-04-28	Paper
A declarative approach to distributed computing: Specification, execution and analysis	2014-02-27	Paper
Declarative distributed computing	2012-07-23	Paper
Refinement of history-based policies	2011-05-19	Paper
Authorization and Obligation Policies in Dynamic Systems	2009-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4452629	2004-03-01	Paper
Abductive consequence relations	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4379672	1998-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4391449	1998-06-03	Paper
Generalized disjunctive well-founded semantics for logic programs.	1997-05-13	Paper
Disjunctive \(LP+\) integrity constraints = stable model semantics.	1997-05-12	Paper
Minimal and consistent evolution of knowledge bases	1997-04-16	Paper
Jack Minker --- A profile	1997-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q4896949	1996-10-27	Paper
Dynamic maintenance of the transitive closure in disjunctive graphs	1996-10-20	Paper
A semantics for a class of non-deterministic and causal production system programs	1994-12-21	Paper
View updates in stratified disjunctive databases	1994-04-12	Paper
Relating minimal models and pre-requisite-free normal defaults	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4016556	1993-01-16	Paper
Semantics of Horn and disjunctive logic programs	1992-06-26	Paper
Weak generalized closed world assumption	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3493314	1989-01-01	Paper

Research outcomes over time

This page was built for person: Jorge Lobo