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 …

To endow computers with common sense is one of the major long-term goals of artificial
intelligence research. One approach to this problem is to formalize commonsense reasoning …

Publisher Summary The event calculus is a formalism for reasoning about action and
change. Like the situation calculus, the event calculus has actions, which are called …

Inductive Logic Programming (ILP) is concerned with the task of generalising sets of positive
and negative examples with respect to background knowledge expressed as logic …

Electronic markets, dispute resolution and negotiation protocols are three types of
application domains that can be viewed as open agent societies. Key characteristics of such …

This article presents a formal theory of robot perception as a form of abduction. The theory
pins down the process whereby low‐level sensor data is transformed into a symbolic …

LUDOCORE is a logical “game engine”, linking game rules as reasoned about by game
designers to the formal logic used by automated reasoning tools in AI. A key challenge in …

As artificial intelligence (AI) thrives and propagates through modern life, a key question to
ask is how to include humans in future AI? Despite human involvement at every stage of the …

This paper investigates the use of commonsense reasoning to understand texts involving
stereotypical activities or scripts. We present a system that understands news stories …

Different from process components, Web services are defined independently from any
execution context. A key challenge of (Web) service compositions is how to ensure reliable …