The following pages link to José Júlio Alferes (Q646500):
Displaying 23 items.
- Local closed world reasoning with description logics under the well-founded semantics (Q646502) (← links)
- (Q1314415) (redirect page) (← links)
- Adding closed world assumptions to well-founded semantics (Q1314417) (← links)
- `Classical' negation in nonmonotonic reasoning and logic programming (Q1382156) (← links)
- LUPS -- A language for updating logic programs (Q1603734) (← links)
- A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
- Reasoning with logic programming (Q1923136) (← links)
- Telco network inventory validation with NoHR (Q2326708) (← links)
- The refinement extension principle for semantics of dynamic logic programming (Q2574878) (← links)
- (Q2753775) (← links)
- (Q2767051) (← links)
- (Q2844914) (← links)
- Forgetting under the Well-Founded Semantics (Q2851229) (← links)
- Decidability and Implementation of Parametrized Logic Programs (Q2851266) (← links)
- External Transaction Logic with Automatic Compensations (Q2851973) (← links)
- Preserving Strong Equivalence while Forgetting (Q2938510) (← links)
- Query-Driven Procedures for Hybrid MKNF Knowledge Bases (Q2946701) (← links)
- Evolving Logic Programs with Temporal Operators (Q3001921) (← links)
- Parametrized Equilibrium Logic (Q3003262) (← links)
- Transaction Logic with External Actions (Q3003266) (← links)
- An Embedding of Input-Output Logic in Deontic Logic Programs (Q3167596) (← links)
- Combining transactions and automatic repairs (Q4612416) (← links)
- Progress in Artificial Intelligence (Q5191570) (← links)
