The following pages link to Robert Craven (Q253993):
Displayed 7 items.
- Argument graphs and assumption-based argumentation (Q253995) (← links)
- Agent strands in the action language \(n\mathcal C +\) (Q931775) (← links)
- Distant causation in \(\mathcal C+\) (Q2574881) (← links)
- (Q3457233) (← links)
- The Deontic Component of Action Language $n{\mathcal{C}}+$ (Q3529365) (← links)
- (Q4289092) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473971) (← links)