Gergely Lukácsy

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Umberto Straccia, Nuno Lopes, Gergely Lukácsy, Axel Polleres
A General Framework for Representing and Reasoning with Annotated Semantic Web Data. AAAI (2010)
Gergely Lukácsy, Péter Szeredi
Plagiarism Detection in Source Programs Using Structural Similarities. Acta Cybern. 19 (1) (2009)
Gergely Lukácsy, Péter Szeredi
Efficient Description Logic Reasoning in Prolog: The DLog system CoRR (2009)
Gergely Lukácsy, Péter Szeredi
Efficient description logic reasoning in Prolog: The DLog system. Theory Pract. Log. Program. 9 (3) (2009)
Zsolt Zombori, Gergely Lukácsy
A Resolution Based Description Logic Calculus. Description Logics (2009)
Gergely Lukácsy, Péter Szeredi
Scalable Web Reasoning Using Logic Programming Techniques. RR (2009)
Gergely Lukácsy, Péter Szeredi, Balázs Kádár
Prolog Based Description Logic Reasoning. ICLP (2008)
Gergely Lukácsy, Péter Szeredi
Ontology Based Information Integration Using Logic Programming. ALPSWS (2007)
Gergely Lukácsy, Péter Szeredi, Tamás Benkö
Towards automatic semantic integration. IESA (2007)
Gergely Héja, György Surján, Gergely Lukácsy, Peter Pallinger, Miklós Gergely
GALEN based formal representation of ICD10. Int. J. Medical Informatics 76 (2-3) (2007)
Zsolt Nagy, Gergely Lukácsy, Péter Szeredi
Translating Description Logic Queries to Prolog. PADL (2006)
Gergely Lukácsy
Description Logic Reasoning in Prolog. ICLP (2006)
Zsolt Nagy, Gergely Lukácsy, Péter Szeredi
Description logic reasoning using the PTTP approach. Description Logics (2006)
Gergely Héja, György Surján, Gergely Lukácsy, Peter Pallinger, Miklós Gergely
GALEN Based Formal Representation of ICD10. MIE (2005)
Gergely Lukácsy, Zsolt Nagy
Open World Reasoning in Datalog. ICLP (2005)