The following pages link to José Júlio Alferes (Q646500):
Displaying 49 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)
- An Event-Condition-Action Logic Programming Language (Q3533119) (← links)
- (Q4013773) (← links)
- (Q4244297) (← links)
- Non-monotonic reasoning with logic programming (Q4275259) (← links)
- (Q4332412) (← links)
- (Q4536336) (← links)
- (Q4537432) (← links)
- Equivalence of defeasible normative systems (Q4583306) (← links)
- Combining transactions and automatic repairs (Q4612416) (← links)
- (Q4707772) (← links)
- (Q4708906) (← links)
- (Q4708907) (← links)
- (Q4736479) (← links)
- (Q4739291) (← links)
- (Q4798021) (← links)
- Abduction in well-founded semantics and generalized stable models via tabled dual programs (Q4819009) (← links)
- Belief, provability, and logic programs (Q4835514) (← links)
- Parametrized Logic Programming (Q4930764) (← links)
- (Q4955336) (← links)
- Progress in Artificial Intelligence (Q5191570) (← links)
- Strong and explicit negation in non-monotonic reasoning and logic programming (Q5236430) (← links)
- An Argumentation-Based Negotiation for Distributed Extended Logic Programs (Q5302004) (← links)
- A goal-directed implementation of query answering for hybrid MKNF knowledge bases (Q5410731) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424860) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473987) (← links)
- (Q5688898) (← links)
- Computational Logic in Multi-Agent Systems (Q5706847) (← links)
- Update-programms can update programs (Q6623796) (← links)