HEX programs were originally introduced as a general framework for extending declarative
logic programming, under the stable model semantics, with the possibility of bidirectionally …

In this work we consider how to enforce norms in the Situation Calculus based programming
language Golog and its relatives. We define a notion of norm compliant sequence of actions …

In this paper we revisit Logic Programming under the answer-set semantics-or Answer-Set
Programming-and its extension Evolving Logic Programming, two languages that use logic …

Abstract Logic Programming Update Languages have been proposed as extensions of logic
programming that allow specifying and reasoning about knowledge bases where both …

The Web of today clearly answers questions of the form “What is the representation of...?”.
The Semantic Web (SW) of tomorrow aims at answering questions of the form “What is the …

Abstract Logic Programming Update Languages were proposed as an extension of logic
programming that allows modeling the dynamics of knowledge bases where both …

マルチェージェントシステムの研究は少なくとも過去 20 年間にわたって行われ続けている.
マルチェージェントシステムでは, 認知的または物理的な能力が異なる種々のエージェントが含まれ …