4 Erdogan, Oztok, Erdem and Erdem International Workshop on Applications of Logic Programming to the Semantic Web and Web Services (2008)
2. Eiter, T., G.Ianni, R.Schindlauer, H.Tompits: Effective integration of declarative rules with external evaluations for Semantic-Web reasoning. In: Proc. of ESWC (2006)
3. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A deductive system for nonmonotonic reasoning. In: Proc. of LPNMR. pp. 364–375 (1997)
4. Erdem, E., Yeniterzi, R.: Transforming controlled natural language biomedical queries into answer set programs. In: Proc. of the Workshop on BioNLP. pp. 117–124 (2009)
5. Fuchs, N.E.: Attempto controlled english. In: Proc. of WLP. pp. 211–218 (2000)
6. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: T.: Conflict-driven answer set solving.

In: Proc. of IJCAI. pp. 386–392 (2007)
7. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499–562 (2006)
8. Lifschitz, V.: What is answer set programming? In: Proc. of AAAI (2008)