Travelled to:
1 × Italy
1 × Spain
2 × USA
Collaborated with:
Z.Nagy P.Szeredi ∅ B.Kádár
Talks about:
descript (3) reason (3) prolog (3) logic (3) translat (1) datalog (1) world (1) queri (1) open (1) base (1)
Person: Gergely Lukácsy
DBLP: Luk=aacute=csy:Gergely
Contributed to:
Wrote 4 papers:
- ICLP-2008-LukacsySK #logic #prolog #reasoning
- Prolog Based Description Logic Reasoning (GL, PS, BK), pp. 455–469.
- ICLP-2006-Lukacsy #logic #prolog #reasoning
- Description Logic Reasoning in Prolog (GL), pp. 463–464.
- PADL-2006-NagyLS #logic #prolog #query
- Translating Description Logic Queries to Prolog (ZN, GL, PS), pp. 168–182.
- ICLP-2005-LukacsyN #datalog #reasoning
- Open World Reasoning in Datalog (GL, ZN), pp. 427–428.