In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...
Abstract. The Message Passing Interface provides an interface for onesided communication as part of the MPI-2 standard. The semantics speciļ¬ed by MPI-2 allow for a number of diļ¬...
Abstract. The WSMO-MX matchmaker applies diļ¬erent matching ļ¬lters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to ļ¬rst-order queries posed to relational databases ...
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a speciļ¬c structure for the supporting information accompanying the arguments th...
Yannis Dimopoulos, Antonis C. Kakas, Pavlos Morait...