The following pages link to Robert Kowalski (Q264955):
Displaying 35 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)
- (Q3509186) (← links)
- An Agent Language with Destructive Assignment and Model-Theoretic Semantics (Q3582743) (← links)
- The Logical Way to Be Artificially Intelligent (Q3623960) (← links)
- (Q3862380) (← links)
- (Q3983044) (← links)
- (Q4012259) (← links)
- (Q4016553) (← links)
- (Q4051550) (← links)
- The Semantics of Predicate Logic as a Programming Language (Q4107888) (← links)
- A Proof Procedure Using Connection Graphs (Q4133168) (← links)
- Logic and semantic networks (Q4176999) (← links)
- Algorithm = logic + control (Q4190095) (← links)
- (Q4264198) (← links)
- Reconciling the event calculus with the situation calculus (Q4352528) (← links)
- The IFF proof procedure for abductive logic programming (Q4371992) (← links)
- Programming in logic without logic programming (Q4593027) (← links)
- (Q4619827) (← links)
- (Q4698602) (← links)
- (Q4707733) (← links)
- (Q4736493) (← links)
- Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages (Q5197752) (← links)
- Computational Logic and Human Thinking (Q5198963) (← links)
- Abductive Logic Programming (Q5286914) (← links)
- (Q5623241) (← links)
- (Q5633671) (← links)
