The following pages link to João Alexandre Leite (Q2574877):
Displaying 12 items.
- The refinement extension principle for semantics of dynamic logic programming (Q2574878) (← links)
- (Q2844914) (← links)
- (Q4708906) (← links)
- (Q4736469) (← links)
- (Q4736478) (← links)
- (Q4736479) (← links)
- (Q4739291) (← links)
- (Q4797777) (← links)
- (Q4798021) (← links)
- (Q4944881) (← links)
- Progress in Artificial Intelligence (Q5191570) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424860) (← links)
