Tamás Gergely

3 papers in the IJCAI proceedings

IJCAI 1987

Inductive Inference on the Base of Fixed Point Theory

with Zoltán Szabó

Details PDF

IJCAI 1983

Negative Hyper-Resolution for Proving Statements Containing Transitive Relations

with Konstantin Vershinin

Details PDF

IJCAI 1975

On the Role of Mathematical Language Concept in the Theory of Intelligent Systems

with Hajnal Andréka, István Németi

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings