UVicSpace

Browsing by Author "Orgun, Mehmet Ali"

Browsing by Author "Orgun, Mehmet Ali"

Sort by: Order: Results:

  • Orgun, Mehmet Ali (2018-06-27)
    This dissertation presents an investigation of logic programming based on intensional logic. Through intensional logic, the notion of dynamic change and the ability to reason about context-dependent properties can be brought ...