Thesiss

There are many applications where we wish to reason about spatio-temporal aspects of an agent’s behavior. This dissertation examines several facets of this type of reasoning. First, given a model of past agent behavior, we wish to reason about the probability that an agent takes…

The logic-programming paradigm is a prime example of how the integration of the declarative and the operational aspects of logical systems can be used to provide a unied framework for both specication and programming languages. In essence, programming in logic amounts to giving …

Logic Programming has began in the early 1970's as a direct outgrowth of earlier work in automatic theorem proving and artificial intelligence. The ideal of logic programming is purely declarative programming. This means that it brings to the programmer the benefit of only havin…