The following pages link to (Q4798013):
Displayed 4 items.
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- Agenda control for heterogeneous reasoners (Q1764797) (← links)
- Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions (Q2900515) (← links)
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems (Q3638568) (← links)