-
Article
Open AccessA focus group study for the design of a web-based tool for improving problem-solving in older adults
The development of easily accessible and usable social and cognitive enhancement trainings is becoming a priority to reduce the impact of aging on quality of life. Since most activities of daily living (e.g., ...
-
Article
Open AccessAnalysis of news sentiments using natural language processing and deep learning
This paper investigates if and to what point it is possible to trade on news sentiment and if deep learning (DL), given the current hype on the topic, would be a good tool to do so. DL is built explicitly for ...
-
Chapter and Conference Paper
Decision Making in Fund Raising Management:a Knowledge Based Approach
We propose a knowledge based decision support system for fund raising management, which uses fuzzy logic to evaluate the most promising strategies. Our approach exploits economic modelling and operational resu...
-
Chapter and Conference Paper
Facilitating Agent Development in Open Distributed Systems
One of the main reasons behind the success of the Web is that many “regular users” are able to create Web pages that, using hyperlinks, incrementally extend both the size and the complexity of the Web itself. ...
-
Article
Crash failure detection in asynchronous agent communication languages
Agent Communication Languages (ACLs) have been developed to provide a way for agents to communicate with each other supporting cooperation in Multi-Agent Systems (MAS). In the past few years many ACLs have bee...
-
Article
An infrastructure to support cooperation of knowledge-level agents on the semantic Grid
Can a Knowledge-Level layer be located in the Semantic Grid infrastructure? Is it possible to design an Agent Communication Language (ACL) which enables Knowledge-Level agents to cooperate in a geographically ...
-
Chapter and Conference Paper
A Fault Tolerant Agent Communication Language for Supporting Web Agent Interaction
Agent Communication Languages (ACLs) have been developed to provide a way for agents to communicate with each other supporting cooperation in Multi-Agent Systems. In the past few years many ACLs have been prop...
-
Chapter and Conference Paper
Performative Patterns for Designing Verifiable ACLs
When people hear two actors reciting a conversation in a poem, they become attuned to the kinds of sounds that they are producing, which may not be apparent in the printed text of the poem. This result depends...
-
Chapter and Conference Paper
An ACL for Specifying Fault-Tolerant Protocols
Agent Communication Languages (ACLs) have been developed to provide a way for agents to communicate with each other supporting cooperation in Multi-Agent Systems. In the past few years many ACLs have been prop...
-
Article
The Unified Problem-Solving Method Development Language UPML
Problem-solving methods provide reusable architectures and components for implementing the reasoning part of knowledge-based systems. The Unified Problem-Solving Method Description Language (UPML) has been dev...
-
Chapter and Conference Paper
IRS–II: A Framework and Infrastructure for Semantic Web Services
In this paper we describe IRS–II (Internet Reasoning Service) a framework and implemented infrastructure, whose main goal is to support the publication, location, composition and execution of heterogeneous web...
-
Chapter
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study
In this paper, we introduce an actor language following a “process algebra” notation. The idea is to define a formalism based on a standard process algebraic approach which provides basic object-oriented featu...
-
Chapter and Conference Paper
An Algebra of Actors
We introduce an object-oriented language following a “process algebra” style. The idea is to define a formalism that enjoys a clean formal definition allowing the reuse of the rich algebraic theory typical of ...
-
Chapter and Conference Paper
A Process Algebraic Specication of the New Asynchronous CORBA Messaging Service?
CORBA (The Common Object Request Broker Architecture) has to continually evolve in order to cope with the changes of requirement of applications which become larger and more distributed. For this reason new fe...
-
Chapter and Conference Paper
Efficient support for reactive rules in prolog
FW-rules is a Prolog library which provides efficient support for forward (reactive) rules in Prolog. The library is based on an indexing mechanism to achieve efficiency, it supports interoperability between t...
-
Chapter and Conference Paper
A logic language based on GAMMA-like multiset rewriting
Gammalög is a logic language based on multiset rewriting. The language combines the ability of describing parallel programs made of multiset transformation rules as in GAMMA with the execution model of logic p...
-
Chapter and Conference Paper
Modelling interactions in agent system
We present a study of the interaction properties of multiagent systems where agents communicate by means of speech act based primitives. We identify a set of basic interaction mechanisms: agent identity, async...
-
Chapter and Conference Paper
Inferring in lego-land: an architecture for the integration of heterogeneous inference modules
The VITAL-KR provides the basic sub-structure for integrating a number of representation and inference paradigms as a means towards experimenting in the design of hybrid systems. In this paper we give an overv...
-
Chapter and Conference Paper
Multilanguage interoperability
The current implementation of Prolog for the CRS is compatible with the specifications of the ISO working group on Prolog. Its performance, measured through the usual Prolog benchmarks, meets our goal to stay ...
-
Chapter and Conference Paper
Efficient compilation of first order predicates
We have developed a theorem prover for the full first order logic, by compiling clauses into proof procedures. These procedures exploit a set of abstract machine primitives for full unification and primitives ...