A New Approach for Termination Analysis of Active Rules

Journal of Applied Sciences ◽

10.3923/jas.2006.657.661 ◽

2006 ◽

Vol 6 (3) ◽

pp. 657-661

Author(s):

H. Belbachir ◽

N.S. Ougouti

Keyword(s):

Active Rules ◽

New Approach ◽

Termination Analysis

Download Full-text

A New Approach to Non-termination Analysis of Logic Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02846-5_21 ◽

2009 ◽

pp. 220-234 ◽

Author(s):

Dean Voets ◽

Danny De Schreye

Keyword(s):

Logic Programs ◽

New Approach ◽

Termination Analysis

Download Full-text

Abstract interpretation of active rules and its use in termination analysis

Lecture Notes in Computer Science - Database Theory — ICDT '97 ◽

10.1007/3-540-62222-5_45 ◽

1997 ◽

pp. 188-202 ◽

Author(s):

James Bailey ◽

Lobel Crnogorac ◽

Kotagiri Ramamohanarao ◽

Harald Søndergaard

Keyword(s):

Abstract Interpretation ◽

Active Rules ◽

Termination Analysis

Download Full-text

Termination analysis of active rules modular sets

Proceedings of the tenth international conference on Information and knowledge management - CIKM'01 ◽

10.1145/502585.502640 ◽

2001 ◽

Author(s):

Alain Couchot

Keyword(s):

Active Rules ◽

Termination Analysis

Download Full-text

Termination analysis of active rules — A Petri net based approach

2009 IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2009.5345914 ◽

2009 ◽

Author(s):

Lorena Chavarria-Baez ◽

Xiaoou Li

Keyword(s):

Petri Net ◽

Active Rules ◽

Termination Analysis

Download Full-text

Active Rules Termination Analysis Through Conditional Formula Containing Updatable Variable

Advances in Data and Web Management - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72524-4_31 ◽

2007 ◽

pp. 281-292

Author(s):

Zhongmin Xiong ◽

Wei Wang ◽

Jian Pei

Keyword(s):

Active Rules ◽

Termination Analysis

Download Full-text

Constraint-Based Termination Analysis of Active Rules

Journal of Computer Research and Development ◽

10.1360/crad20060519 ◽

2006 ◽

Vol 43 (5) ◽

pp. 894

Author(s):

Guihong Xu

Keyword(s):

Active Rules ◽

Termination Analysis

Download Full-text

Improving the Refined Triggering Graph Method for Active Rules Termination Analysis

Lecture Notes in Computer Science - Advances in Databases ◽

10.1007/3-540-45495-0_16 ◽

2002 ◽

pp. 114-133 ◽

Author(s):

Alain Couchot

Keyword(s):

Active Rules ◽

Termination Analysis ◽

Download Full-text

Active rules termination analysis based on activation path and enhanced formula

International Journal of Intelligent Information and Database Systems ◽

10.1504/ijiids.2013.051744 ◽

2013 ◽

Vol 7 (1) ◽

pp. 53 ◽

Author(s):

Zhongmin Xiong ◽

Menglu Zhao ◽

Dongmei Huang ◽

Shijun He ◽

Wei Wang

Keyword(s):

Active Rules ◽

Termination Analysis

Download Full-text

Improving Termination Analysis of Active Rules with Composite Events

Lecture Notes in Computer Science - Database and Expert Systems Applications ◽

10.1007/3-540-44759-8_40 ◽

2001 ◽

pp. 400-409 ◽

Author(s):

Alain Couchot

Keyword(s):

Active Rules ◽

Termination Analysis ◽

Composite Events

Download Full-text

An Abstract Interpretation Framework for Termination Analysis of Active Rules

Research Issues in Structured and Semistructured Database Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-44543-9_16 ◽

2000 ◽

pp. 252-270 ◽

Author(s):

James Bailey ◽

Alexandra Poulovassilis

Keyword(s):

Abstract Interpretation ◽

Active Rules ◽

Termination Analysis

Download Full-text