Searching for authors named "Dimitris Plexousakis" – sorted by Relevance.
-
Simulation and Analysis of Business Processes Using GOLOG
- This paper describes a novel approach to simulating and analyzing business processes using GOLOG, a high-level logic programming language suitable for defining complex behaviors and capable of simulating action execution. The language is based on an extended version of the situation calculus and inc
- Cited by 6 (6 self) – Add To MetaCart
-
Compilation and Simplification of Temporal Integrity Constraints
- . The paper presents a novel compilation scheme for temporal integrity constraints and deductive rules expressed in an interval-based first-order temporal logic. Compilation builds a dependence graph with simplified forms of the constraints and rules. This permits the compiletime simplification of t
- Cited by 5 (2 self) – Add To MetaCart
-
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
- The enforcement of semantic integrity constraints in data and knowledge bases constitutes a major performance bottleneck. Integrity constraint simplification methods aim at reducing the complexity of formula evaluation at run-time. This paper proposes such a simplification method for large and seman
- Cited by 21 (6 self) – Add To MetaCart
-
Business Process Modeling and Design: AI Models and Methodology
- We present a formal framework for representing enterprise knowledge. The framework is largely based on ideas from AI and its concepts (objectives and goals, roles and actors, actions and processes, responsibilities and constraints) allow business analysts to capture knowledge about an enterprise in
- Cited by 5 (4 self) – Add To MetaCart
-
Accommodating Integrity Constraints During Database Design
- We address the problem of maintaining the integrity of large knowledge bases using a compile-time transaction modification technique. The novelty of the approach lies in the adaptation of ideas from Artificial Intelligence (AI) planning research. Specifically, starting with the observation that s
- Cited by 4 (3 self) – Add To MetaCart
-
A Formal Model for Business Process Modeling and Design
- . We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities and constraints) allow business analysts to capture enterprise knowledge in a way that is both intuitive and mathe
- Cited by 4 (0 self) – Add To MetaCart
-
290 Data Integration and the Semantic Web A Tool for Semi-Automated Semantic Schema Mapping: Design and Implementation
- Abstract. Recently, schema mapping has found considerable interest in both research and practice. Determining matching components of database or XML schemas is needed in many applications, e.g. for e-business and data integration. In this paper a complete generic solution of the schema mapping probl
- Add To MetaCart
-
Qualitative Analysis of Userbased and Item-based Prediction Algorithms for Recommendation Systems, CIA 2004
- Abstract. Recommendation agents employ prediction algorithms to provide users with items that match their interests. In this paper, we describe and evaluate several prediction algorithms, some of which are novel in that they combine user-based and item-based similarity measures derived from either e
- Cited by 5 (2 self) – Add To MetaCart
-
Actions with Duration and Constraints: the Ramification Problem in Temporal Databases
- The ramification problem is a hard and ever present problem in systems exhibiting a dynamic behavior. The area of temporal databases in particular is still lacking satisfactory solutions to the ramification problem.
- Cited by 2 (1 self) – Add To MetaCart
-
The Ramification and Qualification Problems in Temporal Databases
- The ramification and qualification problems are two infamous, hard and ever present problems in databases and, more generally, in systems exhibiting a dynamic behavior. The ramification problem refers to determining the indirect effects of actions, whereas the qualification problem refers to det
- Cited by 2 (2 self) – Add To MetaCart

