Pages that link to "Item:Q2893097"
From MaRDI portal
The following pages link to XSB: Extending Prolog with Tabled Logic Programming (Q2893097):
Displaying 4 items.
- Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
- Causal inference in cplint (Q1679666) (← links)
- Correctness and Completeness of Logic Programs (Q5277919) (← links)
- Incremental reasoning on monadic second-order logics with logic programming (Q5963088) (← links)