Open Science Research Excellence

Open Science Index

Commenced in January 2007 Frequency: Monthly Edition: International Publications Count: 29296


Select areas to restrict search in scientific publication database:
9949
New Approach for Manipulation of Stratified Programs
Abstract:
Negation is useful in the majority of the real world applications. However, its introduction leads to semantic and canonical problems. We propose in this paper an approach based on stratification to deal with negation problems. This approach is based on an extension of predicates nets. It is characterized with two main contributions. The first concerns the management of the whole class of stratified programs. The second contribution is related to usual operations optimizations on stratified programs (maximal stratification, incremental updates ...).
Digital Object Identifier (DOI):

References:

[1] J. L. Laurière, "Intelligence artificielle, résolution de problème par l-homme et la machine", (Ed) Eyrolles, 1986.
[2] G. Gardarin, "Bases de Données Objet et Relationnel", (Ed) Eyrolles, 2000.
[3] A. Grissa-Touzi, "Contribution ├á l-Etude, ├á la Conception et au Prototypage des Bases de Données Déductives", Ph. D. thesis. Dept. of Computer Science, Faculty of Sciences of Tunis, Tunisia, 1994.
[4] G. Jager and R. Stark, "The defining power of stratified and hierarchical logic programs", Journal .of Logic Programming, 1993, pp. 55-77.
[5] H. Farreny, "Les systèmes experts principes et exemple", (Ed) Cepadues, Novembre, 1986.
[6] C. Jerad, A. Grissa-Touzi and H. Ounelli, "STRPRO tool for Manipulating Stratified Programs Based on SEPN", submitted for publication in AISC 2005.
[7] J.W. Lloyd, "Fondement de la Programmation logique", (Ed) Eyrolles, Paris, 1988.
[8] R. K. Apt and H. A. Blair, "Arithmetic Classification of Perfect Models of Stratified Programs", Fundamenta Informaticae, vol. 14, 1991, pp. 339-343.
[9] A. Grissa-Touzi, C. Jerad and K Barkaoui, " Nouvelle Approche pour la Définition et la Manipulation de la Négation par les Programmes Stratifiés", Maghrebian Anales of Engineers, vol 19, N┬░1, 2005.
[10] C. Jerad, " Outil d-Analyse des Bases de Données Déductives Formulées ├á l-Aide des Réseaux ├á Prédicats Etendus Stratifiés", Master memory, Dept. of Electrical Engineering, National School of Engineers of Tunis, Tunisia, July, 2003.
[11] A. Touzi and K. Barkaoui, "Un Formalisme de Modélisation et d-Optimisation des Bases de Données Déductives Basé sur la Théorie des Réseaux de Petri de Haut Niveau", 2nd Maghrebine Conference on Software Engeneering and Artificial Intelligence, Tunis, 1992, p 99-115.
Vol:13 No:02 2019Vol:13 No:01 2019
Vol:12 No:12 2018Vol:12 No:11 2018Vol:12 No:10 2018Vol:12 No:09 2018Vol:12 No:08 2018Vol:12 No:07 2018Vol:12 No:06 2018Vol:12 No:05 2018Vol:12 No:04 2018Vol:12 No:03 2018Vol:12 No:02 2018Vol:12 No:01 2018
Vol:11 No:12 2017Vol:11 No:11 2017Vol:11 No:10 2017Vol:11 No:09 2017Vol:11 No:08 2017Vol:11 No:07 2017Vol:11 No:06 2017Vol:11 No:05 2017Vol:11 No:04 2017Vol:11 No:03 2017Vol:11 No:02 2017Vol:11 No:01 2017
Vol:10 No:12 2016Vol:10 No:11 2016Vol:10 No:10 2016Vol:10 No:09 2016Vol:10 No:08 2016Vol:10 No:07 2016Vol:10 No:06 2016Vol:10 No:05 2016Vol:10 No:04 2016Vol:10 No:03 2016Vol:10 No:02 2016Vol:10 No:01 2016
Vol:9 No:12 2015Vol:9 No:11 2015Vol:9 No:10 2015Vol:9 No:09 2015Vol:9 No:08 2015Vol:9 No:07 2015Vol:9 No:06 2015Vol:9 No:05 2015Vol:9 No:04 2015Vol:9 No:03 2015Vol:9 No:02 2015Vol:9 No:01 2015
Vol:8 No:12 2014Vol:8 No:11 2014Vol:8 No:10 2014Vol:8 No:09 2014Vol:8 No:08 2014Vol:8 No:07 2014Vol:8 No:06 2014Vol:8 No:05 2014Vol:8 No:04 2014Vol:8 No:03 2014Vol:8 No:02 2014Vol:8 No:01 2014
Vol:7 No:12 2013Vol:7 No:11 2013Vol:7 No:10 2013Vol:7 No:09 2013Vol:7 No:08 2013Vol:7 No:07 2013Vol:7 No:06 2013Vol:7 No:05 2013Vol:7 No:04 2013Vol:7 No:03 2013Vol:7 No:02 2013Vol:7 No:01 2013
Vol:6 No:12 2012Vol:6 No:11 2012Vol:6 No:10 2012Vol:6 No:09 2012Vol:6 No:08 2012Vol:6 No:07 2012Vol:6 No:06 2012Vol:6 No:05 2012Vol:6 No:04 2012Vol:6 No:03 2012Vol:6 No:02 2012Vol:6 No:01 2012
Vol:5 No:12 2011Vol:5 No:11 2011Vol:5 No:10 2011Vol:5 No:09 2011Vol:5 No:08 2011Vol:5 No:07 2011Vol:5 No:06 2011Vol:5 No:05 2011Vol:5 No:04 2011Vol:5 No:03 2011Vol:5 No:02 2011Vol:5 No:01 2011
Vol:4 No:12 2010Vol:4 No:11 2010Vol:4 No:10 2010Vol:4 No:09 2010Vol:4 No:08 2010Vol:4 No:07 2010Vol:4 No:06 2010Vol:4 No:05 2010Vol:4 No:04 2010Vol:4 No:03 2010Vol:4 No:02 2010Vol:4 No:01 2010
Vol:3 No:12 2009Vol:3 No:11 2009Vol:3 No:10 2009Vol:3 No:09 2009Vol:3 No:08 2009Vol:3 No:07 2009Vol:3 No:06 2009Vol:3 No:05 2009Vol:3 No:04 2009Vol:3 No:03 2009Vol:3 No:02 2009Vol:3 No:01 2009
Vol:2 No:12 2008Vol:2 No:11 2008Vol:2 No:10 2008Vol:2 No:09 2008Vol:2 No:08 2008Vol:2 No:07 2008Vol:2 No:06 2008Vol:2 No:05 2008Vol:2 No:04 2008Vol:2 No:03 2008Vol:2 No:02 2008Vol:2 No:01 2008
Vol:1 No:12 2007Vol:1 No:11 2007Vol:1 No:10 2007Vol:1 No:09 2007Vol:1 No:08 2007Vol:1 No:07 2007Vol:1 No:06 2007Vol:1 No:05 2007Vol:1 No:04 2007Vol:1 No:03 2007Vol:1 No:02 2007Vol:1 No:01 2007