The following pages link to Ajay Mallya (Q3608644):
Displayed 5 items.
- Coinductive Logic Programming and Its Applications (Q3608645) (← links)
- Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language (Q5302879) (← links)
- Co-Logic Programming: Extending Logic Programming with Coinduction (Q5428832) (← links)
- Coinductive Logic Programming (Q5449611) (← links)
- Logic Programming (Q5475785) (← links)