Constraint Lingo: towards high-level constraint programming
暂无分享,去创建一个
Victor W. Marek | Miroslaw Truszczynski | Raphael A. Finkel | R. Finkel | V. Marek | M. Truszczynski
[1] Gerald Pfeifer,et al. The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.
[2] John K. Ousterhout,et al. Tcl and the Tk Toolkit , 1994 .
[3] Robert A. Kowalski,et al. Predicate Logic as Programming Language , 1974, IFIP Congress.
[4] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[5] Ilkka Niemelä,et al. Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.
[6] I. Niemelä,et al. Extending the Smodels system with cardinality and weight constraints , 2001 .
[7] Bart Selman,et al. Planning as Satisfiability , 1992, ECAI.
[8] Wolfgang Faber,et al. Declarative problem-solving in DLV , 2001 .
[9] Victor W. Marek,et al. Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.
[10] Toni Mancini,et al. Automated reformulation of specifications by safe delay of constraints , 2004, Artif. Intell..
[11] Bart Selman,et al. Unifying SAT-based and Graph-based Planning , 1999, IJCAI.
[12] Christophe Gefflot,et al. Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio , 2001, WLPE.
[13] Wolfgang Faber,et al. Declarative problem-solving using the DLV system , 2000 .
[14] Miroslaw Truszczynski,et al. Propositional Satisfiability in Answer-Set Programming , 2001, KI/ÖGAI.
[15] Peter J. Stuckey,et al. Programming with Constraints: An Introduction , 1998 .
[16] Nils J. Nilsson,et al. Artificial Intelligence: A New Synthesis , 1997 .