Pruning operators for answer set programming systems.
作者： Francesco Calimeri , Gerald Pfeifer , Wolfgang Faber , Nicola Leone
DOI:
关键词:
摘要:
参考文章(18)
Gerald Pfeifer, Wolfgang Faber, Nicola Leone, Experimenting with heuristics for answer set programming international joint conference on artificial intelligence. pp. 635- 640 ,(2001)
Ilkka Niemelä, Patrik Simons, Efficient Implementation of the Well-founded and Stable Model Semantics JICSLP. pp. 289- 303 ,(1996)
Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Pushing Goal Derivation in DLP Computations international conference on logic programming. pp. 177- 191 ,(1999) , 10.1007/3-540-46767-X_13
Vladimir Lifschitz, Answer set planning international conference on logic programming. pp. 23- 37 ,(1999) , 10.1007/3-540-46767-X_28
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Declarative problem-solving using the DLV system Logic-based artificial intelligence. pp. 79- 103 ,(2000) , 10.1007/978-1-4615-1567-8_4
Jürgen Dix, Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview. Logic, Action, and Information. pp. 241- 327 ,(1996)
Vladimir Lifschitz, Foundations of logic programming Principles of knowledge representation. pp. 69- 127 ,(1997)
Nicola Leone, Massimo Romeo, Pasquale Rullo, Domenico Saccà, Effective implementation of negation in database logic query languages LOGIDATA+: Deductive Databases with Complex Objects. pp. 159- 175 ,(1993) , 10.1007/BFB0021896
Bart Selman, Henry Kautz, Planning as satisfiability european conference on artificial intelligence. pp. 359- 363 ,(1992)
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf, The well-founded semantics for general logic programs Journal of the ACM. ,vol. 38, pp. 619- 649 ,(1991) , 10.1145/116825.116838