Research in Multi-Agent Systems (MAS) has recently led to the development of practical
programming languages and tools that are appropriate for the implementation of such …

SCIFF is a framework thought to specify and verify interaction in open agent societies. The
SCIFF language is equipped with a semantics based on abductive logic programming; …

Reaction rules and event processing technologies play a key role in making business and
IT/Internet infrastructures more agile and active. While event processing is concerned with …

This chapter is a survey of the history and the main concepts of Datalog. We begin with an
introduction to the language and its use for database definition and querying. We then look …

A method to identify ontology components is presented in this article. The method relies on
Natural Language Processing (NLP) techniques to extract concepts and relations among …

An important problem to be addressed within Event-Driven Architecture (EDA) is how to
correctly and efficiently capture and process the event/action-based logic. This paper …

A complete revision of mainstream logic is an urgent task to be achieved. This revision will
be able to bring logic into a creative rapprochement with cognitive science. This can be …

This paper shows how moral decisions can be drawn computationally by using prospective
logic programs. These are employed to model moral dilemmas, as they are able to …

Knowledge based recommendation systems use knowledge about users and products to
make recommendations. Knowledge-based recommendations are not dependent on the …

This paper shows how moral decisions can be drawn computationally by using prospective
logic programs. These are employed to model moral dilemmas, as they are able to …