Open World Reasoning in Datalog. - Gergely Lukácsy; Zsolt Nagy (ICLP, 2005)

Description logic reasoning using the PTTP approach. - Zsolt Nagy; Gergely Lukácsy; Péter Szeredi (Description Logics, 2006)

Description Logic Reasoning in Prolog. - Gergely Lukácsy (ICLP, 2006)

Translating Description Logic Queries to Prolog. - Zsolt Nagy; Gergely Lukácsy; Péter Szeredi (PADL, 2006)

Ontology Based Information Integration Using Logic Programming. - Gergely Lukácsy; Péter Szeredi (ALPSWS, 2007)

Towards automatic semantic integration. - Gergely Lukácsy; Péter Szeredi; Tamás Benkö (IESA, 2007)

GALEN based formal representation of ICD10. - Gergely Héja; György Surján; Gergely Lukácsy; Peter Pallinger; Miklós Gergely (Int. J. Medical Informatics, 2007)

Prolog Based Description Logic Reasoning. - Gergely Lukácsy; Péter Szeredi; Balázs Kádár (ICLP, 2008)

Szemantikus technológiák Logikai Programozási alapokon. - Gergely Lukácsy (2008)

A Resolution Based Description Logic Calculus. - Zsolt Zombori; Gergely Lukácsy (Description Logics, 2009)

Scalable Web Reasoning Using Logic Programming Techniques. - Gergely Lukácsy; Péter Szeredi (RR, 2009)

Plagiarism Detection in Source Programs Using Structural Similarities. - Gergely Lukácsy; Péter Szeredi (Acta Cybern., 2009)

Efficient description logic reasoning in Prolog: The DLog system. - Gergely Lukácsy; Péter Szeredi (Theory Pract. Log. Program., 2009)

A General Framework for Representing and Reasoning with Annotated Semantic Web Data. - Umberto Straccia; Nuno Lopes 002; Gergely Lukácsy; Axel Polleres (AAAI, 2010)