Gergely Lukácsy

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