References

[1]

Burse, J. (2012): Bedeutungsextraktion als Deduktion, Präsentation an der 22. Tagung der Computerlinguistik-Studierenden, June, 2012, University Trier, German
http://www.xlog-technologies.ch/desk/docs/02_news/02_events/098_tacos22/package.html
[2] Apt, K.R. (2003): Principles of Constraint Programming, Cambridge University Press, 2003
http://www.amazon.de/Principles-Constraint-Programming-Krzysztof-Apt/dp/0521125499
[3] Bonner, A.J. (1988): A Logic for Hypothetical Reasoning, Technical Report DCS-TR-230, Department of Computer Science, Rutgers University, August, 1988
http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.1451
[4] Bonner, A.J. (1990): Hypothetical Datalog: Complexity and Expressibility, Theoretical Computer Science, 76:3-51, 1990
http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8941
[5] Halpern , J. (1999): Hypothetical Knowledge and Counterfactual Reasoning, International Journal of Game Theory, 28:315-330, 1999
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.7343
[6] Lindgren, T. (1994): A Continuation-Passing Style for Prolog, International Symposium on Logic programming, 603-617, 1994
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.3062
[7]
Codognet, P. and Diaz, D. (1993): Boolean Constraint Solving Using clp(FD), The Journal of Logic Programming, Volume 27, Issue 3, June 1996, Pages 185-226
http://cri-dist.univ-paris1.fr/diaz/publications/CLP-FD/ilps93.pdf
[8]
Vardi, M.Y. (2015): The SAT Revolution: Solving, Sampling, and Counting, Special Talk at Highlights of Logic, Games and Automata, Prague, 15–18 September 2015
http://www.cs.rice.edu/~vardi/papers/highlights15.pdf
[9]
Holzbauer, C. and Frühwrith, T. (1999): Compiling Constraint Handling Rules into Prolog with Attributed Variables, Principles and Practice of Declarative Programming pp 117-133, G. Nadathur, Ed., 1999
http://pdfs.semanticscholar.org/fa3b/4fc380c2c387a17d56f5dfd9faaf3de4a155.pdf
[10]
Niemelä, I. (1999): Logic programming with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25(3-4) (1999) 241-273
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.8713


Comments