MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Dimitris Plexousakis" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 59 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Simulation and Analysis of Business Processes Using GOLOG  
  • by Dimitris Plexousakis — 1995 — In Proceedings of the Conference on Organizational Computing Systems (COOCS'95
  • …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  
  • by Dimitris Plexousakis — 1995 — In Proceedings of the 2nd Int. Workshop on Rules in Database Systems
  • …. 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  
  • by Dimitris Plexousakis — In Proceedings of the 19th International Conference on Very Large Data 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  
  • by Manolis Koubarakis, Dimitris Plexousakis — 1999 — In Proceedings of IJCAI-99 Workshop on Intelligent Work ow and Process Management: the New Frontier for AI in Business
  • …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  
  • by Dimitris Plexousakis, John Mylopoulos — 1995 — In Proceedings of the International Conference on Extending Database Technology
  • …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  
  • by Manolis Koubarakis, Dimitris Plexousakis — 2000
  • …. 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
  • Actions with Duration and Constraints: the Ramification Problem in Temporal Databases  
  • by Nikos Papadakis, Dimitris Plexousakis — 2003 — In: ICTAI ’02: Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI’02
  • …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  
  • by Nick Papadakis, Dimitris Plexousakis — 2002
  • …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
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB