2009 | ||
---|---|---|
7 | EE | Gergely Lukácsy, Péter Szeredi: Efficient Description Logic Reasoning in Prolog: The DLog system CoRR abs/0904.0578: (2009) |
2008 | ||
6 | EE | Gergely Lukácsy, Péter Szeredi, Balázs Kádár: Prolog Based Description Logic Reasoning. ICLP 2008: 455-469 |
2007 | ||
5 | EE | Gergely Lukácsy, Péter Szeredi: Ontology Based Information Integration Using Logic Programming. ALPSWS 2007 |
2006 | ||
4 | EE | Zsolt Nagy, Gergely Lukácsy, Péter Szeredi: Description logic reasoning using the PTTP approach. Description Logics 2006 |
3 | EE | Gergely Lukácsy: Description Logic Reasoning in Prolog. ICLP 2006: 463-464 |
2 | EE | Zsolt Nagy, Gergely Lukácsy, Péter Szeredi: Translating Description Logic Queries to Prolog. PADL 2006: 168-182 |
2005 | ||
1 | EE | Gergely Lukácsy, Zsolt Nagy: Open World Reasoning in Datalog. ICLP 2005: 427-428 |
1 | Balázs Kádár | [6] |
2 | Zsolt Nagy | [1] [2] [4] |
3 | Péter Szeredi | [2] [4] [5] [6] [7] |