Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Publisher Summary This chapter presents many ways in which temporal phenomena can be
modeled, described, reasoned about, and applied. The chapter describes the use of …

In this paper we present loose programming, an approach designed to enable process
developers to design their application-specific processes in an intuitive style. Key to this …

This paper presents an approach to artificial intelligence planning based on linear temporal
logic (LTL). A simple and easy-to-use planning language is described, Planning Domain …

Temporally extended goals are used in planning to express safety and maintenance
conditions. Linear temporal logic is the language often used to express temporally extended …

Methods for the automatic composition of services into executable workflows need detailed
knowledge about the application domain, in particular about the available services and their …

The notions of meta-ontology enhance the ability to process knowledge in information
systems; in particular, ontological property classification deals with the kinds of properties in …

PROPHETS is our flexible framework for the synthesis of processes from libraries of basic
services. In this paper we demonstrate how its synthesis strategy can be tailored to the …

This thesis describes a course scheduling system that models planning as a satisfiability
problem in relational logic. Given a set of course requirements for a degree program, our …

A large number of hot applications are reducible to combinatorial models. Almost all of them
are at least NP-hard and cannot be solved in a traditional way. We consider an agent-based …