Gergely Lukácsy

According to our database1, Gergely Lukácsy authored at least 14 papers between 2005 and 2010.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2010
A General Framework for Representing and Reasoning with Annotated Semantic Web Data.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Efficient description logic reasoning in Prolog: The DLog system.
Theory Pract. Log. Program., 2009

Plagiarism Detection in Source Programs Using Structural Similarities.
Acta Cybern., 2009

Scalable Web Reasoning Using Logic Programming Techniques.
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

A Resolution Based Description Logic Calculus.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
Szemantikus technológiák Logikai Programozási alapokon.
PhD thesis, 2008

Prolog Based Description Logic Reasoning.
Proceedings of the Logic Programming, 24th International Conference, 2008

2007
GALEN based formal representation of ICD10.
Int. J. Medical Informatics, 2007

Towards automatic semantic integration.
Proceedings of the Enterprise Interoperability II, 2007

Ontology Based Information Integration Using Logic Programming.
Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, 2007

2006
Translating Description Logic Queries to Prolog.
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Description Logic Reasoning in Prolog.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Description logic reasoning using the PTTP approach.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005
Open World Reasoning in Datalog.
Proceedings of the Logic Programming, 21st International Conference, 2005


  Loading...