Constructive Intensional Negation
暂无分享,去创建一个
Juan José Moreno-Navarro | Susana Muñoz-Hernández | Julio Mariño-Carballo | S. Muñoz-Hernández | Julio Mariño-Carballo | J. Moreno-Navarro
[1] François Fages,et al. Constructive Negation by Pruning , 1997, J. Log. Program..
[2] Juan José Moreno-Navarro,et al. Efficient Negation Using Abstract Interpretation , 2001, LPAR.
[3] David Chan,et al. Constructive Negation Based on the Completed Database , 1988, ICLP/SLP.
[4] Franco Turini,et al. A Transformational Approach to Negation in Logic Programming , 1990, J. Log. Program..
[5] Franco Turini,et al. Intensional Negation of Logic Programs: Examples and Implementation Techniques , 1987, TAPSOFT, Vol.2.
[6] Lee Naish,et al. Negation and Quantifiers in NU-Prolog , 1986, ICLP.
[7] Giorgio Levi,et al. Compilative Constructive Negation in Constraint Logic Programs , 1994, CAAP.
[8] Kenneth Kunen,et al. Negation in Logic Programming , 1987, J. Log. Program..
[9] David Chan,et al. An Extension of Constructive Negation and its Application in Coroutining , 1989, NACLP.
[10] Juan José Moreno-Navarro,et al. How to Incorporate Negation in a Prolog Compiler , 2000, PADL.
[11] Agostino Dovier,et al. A necessary condition for Constructive Negation in Constraint Logic Programming , 2000, Inf. Process. Lett..
[12] N. Cutland. Computability: An Introduction to Recursive Function Theory , 1980 .
[13] Peter J. Stuckey,et al. Negation and Constraint Logic Programming , 1995, Inf. Comput..
[14] Juan José Moreno-Navarro,et al. Default Rules: An Extension of Constructive Negation for Narrowing-based Languages , 1994, ICLP.
[15] Maurizio Martelli,et al. Negation as Instantiation , 1995, Inf. Comput..