Titlebook: Logics in Artificial Intelligence; European Conference, Sergio Flesca,Sergio Greco,Nicola Leone Conference proceedings 2002 Springer-Verlag

Flinch

Thomas Eiter,Wolfgang Faber,Nicola Leone,Gerald Pfeifer,Axel Polleres

humectant

Towards Service Description Logicsmore appropriate. However, current ontology specification languages do not have primitives for service description. In this paper, we identify some useful service description constructs and study their impact on the decidability of reasoning with description logics.

Influx

Heresy

Aspirin

A Logic Programming Language for Multi-agent Systemstivity, internal “thinking”, and “memory”. The formalization models these concepts by introducing different kinds of events, with a suitable treatment. We introduce a novel approach to the language semantics, called the evolutionary semantics.