This article reviews legal applications of logic, with a particularly marked concern for logical
models of legal argument. We argue that the law is a rich test bed and important application …

Describing user activity plays an essential role in ambient intelligence. In this work, we
review different methods for human activity recognition, classified as data-driven and …

When answering a question, people often draw upon their rich world knowledge in addition
to the particular context. Recent work has focused primarily on answering questions given …

The first formally elaborated theory of a generative approach to word meaning, The
Generative Lexicon lays the foundation for an implemented computational treatment of word …

In recent years research in the planning community has moved increasingly toward s
application of planners to realistic problems involving both time and many typ es of …

Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

Autonomous service robots will have to understand vaguely described tasks, such as “set
the table” or “clean up”. Performing such tasks as intended requires robots to fully, precisely …

A concise and lucid exposition of the major topics in knowledge representation, from two of
the leading authorities in the field.-Stuart Russell, UC Berkeley The information is valuable …

Specifying and implementing dynamical systems with the situation calculus. Modeling and
implementing dynamical systems is a central problem in artificial intelligence, robotics …

Knowledge representation and reasoning is the foundation of artificial intelligence,
declarative programming, and the design of knowledge-intensive software systems capable …