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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jorge Lobo