The following pages link to Jorge Lobo (Q1177926):
Displaying 22 items.
- Semantics of Horn and disjunctive logic programs (Q1177928) (← links)
- Relating minimal models and pre-requisite-free normal defaults (Q1205716) (← links)
- View updates in stratified disjunctive databases (Q1319392) (← links)
- A semantics for a class of non-deterministic and causal production system programs (Q1340964) (← links)
- Disjunctive \(LP+\) integrity constraints = stable model semantics. (Q1353944) (← links)
- Generalized disjunctive well-founded semantics for logic programs. (Q1354026) (← links)
- Abductive consequence relations (Q1399126) (← links)
- Weak generalized closed world assumption (Q1825049) (← links)
- Jack Minker --- A profile (Q1924718) (← links)
- Dynamic maintenance of the transitive closure in disjunctive graphs (Q1924722) (← links)
- Declarative Distributed Computing (Q2900541) (← links)
- Refinement of History-Based Policies (Q3001926) (← links)
- Minimal and consistent evolution of knowledge bases (Q3128368) (← links)
- (Q3493314) (← links)
- (Q4016556) (← links)
- (Q4379672) (← links)
- (Q4391449) (← links)
- (Q4452629) (← links)
- (Q4896949) (← links)
- A declarative approach to distributed computing: Specification, execution and analysis (Q5398312) (← links)
- Authorization and Obligation Policies in Dynamic Systems (Q5504643) (← links)
- FFNSL: Feed-forward neural-symbolic learner (Q6097158) (← links)
