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

Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge
representation and reasoning, which is very expressive in a precise mathematical sense: it …

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 …

Action Languages Page 1 Link o** Electronic Articles in Computer and Information
Science Vol. 3(1998): nr 16 Link o** University Electronic Press Link o**, Sweden http://www.ep.liu.se/ea/cis/1998/016 …

The idea of answer set programming is to represent a given computational problem by a
logic program whose answer sets correspond to solutions, and then use an answer set …

Abstract In “answer set programming”[5, 7] solutions to a problem are represented by
answer sets (known also as stable models), and not by answer substitutions produced in …

The nonmonotonic causal logic defined in this paper can be used to represent properties of
actions, including actions with conditional and indirect effects, nondeterministic actions, and …

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 …

Planning is motivated by acting. Most of the existing work on automated planning
underestimates the reasoning and deliberation needed for acting; it is instead biased …