The following pages link to Robert Kowalski (Q264955):
Displaying 11 items.
- Reactive computing as model generation (Q264957) (← links)
- A logic-based calculus of events (Q514239) (← links)
- Abductive logic programming agents with destructive databases (Q656819) (← links)
- Obligation as optimal goal satisfaction (Q1670486) (← links)
- From logic programming towards multi-agent systems (Q1978014) (← links)
- Dialectic proof procedures for assumption-based, admissible argumentation (Q2457643) (← links)
- Linear resolution with selection function (Q2551698) (← links)
- Logic Programming in the 1970s (Q2851224) (← links)
- The Scientific Contribution of Marek Sergot (Q2900467) (← links)
- Teleo-Reactive Abductive Logic Programs (Q2900468) (← links)
- Abductive Logic Programming (Q5286914) (← links)
