Jorge Lobo

From MaRDI portal
Person:1177926

Available identifiers

zbMath Open lobo.jorgeWikidataQ57308908 ScholiaQ57308908MaRDI QIDQ1177926

List of research outcomes





PublicationDate of PublicationType
FFNSL: Feed-forward neural-symbolic learner2023-06-12Paper
Generalized well-founded semantics for logic programs2023-04-28Paper
A declarative approach to distributed computing: Specification, execution and analysis2014-02-27Paper
Declarative distributed computing2012-07-23Paper
Refinement of history-based policies2011-05-19Paper
Authorization and Obligation Policies in Dynamic Systems2009-01-22Paper
https://portal.mardi4nfdi.de/entity/Q44526292004-03-01Paper
Abductive consequence relations2003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q43796721998-07-13Paper
https://portal.mardi4nfdi.de/entity/Q43914491998-06-03Paper
Generalized disjunctive well-founded semantics for logic programs.1997-05-13Paper
Disjunctive \(LP+\) integrity constraints = stable model semantics.1997-05-12Paper
Minimal and consistent evolution of knowledge bases1997-04-16Paper
Jack Minker --- A profile1997-01-26Paper
https://portal.mardi4nfdi.de/entity/Q48969491996-10-27Paper
Dynamic maintenance of the transitive closure in disjunctive graphs1996-10-20Paper
A semantics for a class of non-deterministic and causal production system programs1994-12-21Paper
View updates in stratified disjunctive databases1994-04-12Paper
Relating minimal models and pre-requisite-free normal defaults1993-04-01Paper
https://portal.mardi4nfdi.de/entity/Q40165561993-01-16Paper
Semantics of Horn and disjunctive logic programs1992-06-26Paper
Weak generalized closed world assumption1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34933141989-01-01Paper

Research outcomes over time

This page was built for person: Jorge Lobo