The following pages link to Roberta Calegari (Q2055816):
Displayed 8 items.
- Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt} (Q2055817) (← links)
- Burdens of persuasion and standards of proof in structured argumentation (Q2695505) (← links)
- Logic programming as a service (Q4559833) (← links)
- Extending Logic Programming with Labelled Variables: Model and Semantics (Q4686514) (← links)
- (Q5020973) (← links)
- Arg2P: an argumentation framework for explainable intelligent systems (Q5862476) (← links)
- Efficient compliance checking of RDF data (Q6152947) (← links)
- (Q6162526) (← links)