component with its interface processes and then checking properties of this composition, we can guarantee that these properties will be preserved at the global level. We give two example compositional systems based on the logic CTL*.

With increasing size and complexity of the implementations of information systems, it is necessary to use some logical construct (or architecture) for defining and controlling the interfaces and the integration of all of the components of the system. This paper defines information systems

Universidade de vora's Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the man-agement and day-to-day operation of the Organization. It relies on a first-order logic Description Language to define the schema, represent data and computed

of an easy-to-use graphical interface hiding all the technicalities of the underlying framework. Preferences are then mapped to a logic language, that allows one to express preferences on both numerical and non-numerical features. We build a utility function on top of this logic language in order to permit

computing), world modelling (to provide location-based context), perception (to collect information about world state), and service description (to support decomposition of device control, internal logic, and user interface). This paper describes the current research in each of these areas, highlighting

We consider a component-based approach to modelling complex systems using UML. We describe how component concepts at a specification level (interfaces, components, architectures) can be formalized in a uniform way using a distributed logical framework. In the logic MDTL, each component has

Abstract. We present a novel combination of disjunctive logic programs under the answer set semantics with description logics for the Semantic Web. The combination is based on a well-balanced interface between disjunctive logic programs and description logics, which guarantees the decidability

Abstract. In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP system DLV: (i) a system for ontology representation and reasoning, called OntoDLV; and, (ii) HıLεX, a semantic

The application of techniques from logic databases and definite clause grammars is illustrated in RaPiD, an intelligent design system used in prosthetic dentistry. 1 INTRODUCTION This paper is concerned with the use of logic programming techniques in a knowledge-based system, RaPiD [1

, and no system supports GUI programming on Prolog language. Prolog's first order logic representation has benefits for constructing mobile agents. In this paper, we present a Prolog-based programming framework, iML, for constructing mobile agents with graphical user interfaces. On the iML framework, we