The following pages link to (Q4264062):
Displaying 8 items.
- Bounded nondeterminism of logic programs (Q702093) (← links)
- Logic programming with sets (Q909435) (← links)
- Absolute versus probabilistic classification in a logical setting (Q924172) (← links)
- Bounded quantifications for iteration and concurrency in logic programming (Q1326573) (← links)
- (Q4999260) (← links)
- (Q5688918) (← links)
- (Q5714443) (← links)
- Blackboard relations in the \(\mu\text{Log}\) coordination model (Q5929095) (← links)