Sophie Tourret
2020-06-29 7:23:14 (GMT)
This thread is to discuss about the talks presented in the 4th session of PAAR 2020:
- Michael Rawson and Giles Reger, Directed Graph Networks for Logical Reasoning
- Qinghua Liu, Zishi Wu, Zihao Wang and Geoff Sutcliffe, Evaluation of Axiom Selection Techniques
- Bernhard Gleiss and Martin Suda, Layered Clause Selection for Saturation-based Theorem Proving
Pascal Fontaine
2020-06-29 9:49:17 (GMT)
All papers are available on the web page: http://paar2020.gforge.inria.fr/
Philipp Ruemmer
2020-06-30 13:57:28 (GMT)
Session 4 is about to start!
Sophie Tourret
2020-06-30 14:21:16 (GMT)
The paper mentioned by @Stephan Schulz related to the first talk on GNN: https://ieeexplore.ieee.org/abstract/document/548916
Stephan Schulz
2020-06-30 14:27:10 (GMT)
There are several related papers:
InProceedings{SSG95a,
author = {C. Goller and A. Sperduti and A. Starita},
title = {{Learning Distributed Representations for the
Classification of Terms}},
key = {SSG95a},
editor = {C.S. Mellish},
pages = {509--515},
booktitle = {Proc.\ of the 14th International Joint
Conference on Artificial Intelligence (IJCAI-95)},
year = {1995},
publisher = {Morgan Kaufmann},
address = {San Mateo, CA},
}
@InProceedings{SSG95b,
author = {C. Goller and A. Sperduti and A. Starita},
title = {{Distributed Representations for Terms in Hybrid
Reasoning Systems}},
key = {SSG95b},
booktitle = {Working Notes of the IJCAI-95 Workshop on
Connectionist-Symbolic Integration: From Unified to
Hybrid Approaches},
year = {1995},
}
@InProceedings{SKG:FLAIRS-97,
author = {Stephan Schulz and Andreas K{\"u}chler and Christoph Goller},
title = {{Some Experiments on the Applicability of Folding
Architecture Networks to Guide Theorem Proving}},
booktitle = {Proc.\ of the 10th FLAIRS, Daytona Beach},
editor = {D.D. Dankel II},
year = {1997},
publisher = {Florida AI Research Society},
pages = {377--381},
note = {},
annote = {StS},
}
@InProceedings{KG96,
author = {A. K{\"u}chler and C. Goller},
title = {{Inductive Learning in Symbolic Domains Using
Structure-Driven Recurrent Neural Networks}},
booktitle = {Proc.\ of the 20th German Annual Conference on
Artificial Intelligence, Dresden (KI-96)},
editor = {G. G{\"o}rz and S. H{\"o}lldobler},
volume = {1137},
series = {LNAI},
year = {1996},
publisher = {Springer},
pages = {183--198},
}
Sophie Tourret
2020-06-30 14:34:9 (GMT)
From @Stephan Schulz 's previous comment:
- 1st ref: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.48.2983&rep=rep1&type=pdf
- 2nd ref: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.53.6824&rep=rep1&type=pdf
- 3rd ref: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.56.3128&rep=rep1&type=pdf
- 4th ref: https://link.springer.com/chapter/10.1007/3-540-61708-6_60 (I didn't find a direct link to the pdf)
Sophie Tourret
2020-06-30 14:36:34 (GMT)
Here is the github repo related to the 2nd talk of the session: https://github.com/JUrban/MPTP2078
Sophie Tourret
2020-06-30 15:11:14 (GMT)
Did the author of this "ambitious paper" recognize their own words? If my google search is right, at least one of them is in the audience. ^^
Stephan Schulz
2020-06-30 15:35:11 (GMT)
I'm pretty sure he or she did ;-)
Ahmed B
2020-06-30 15:40:33 (GMT)
I don't know if this is just the case for me, but the coffee break room doesn't seem to be working.
Sophie Tourret
2020-06-30 15:41:38 (GMT)
Do you mean the zoom one?
Ahmed B
2020-06-30 15:41:42 (GMT)
Yes
Sophie Tourret
2020-06-30 15:42:10 (GMT)
Then stay here! ^^
Sophie Tourret
2020-06-30 15:42:24 (GMT)
Jokes asside, I'll take a look.
Ahmed B
2020-06-30 15:42:27 (GMT)
Ahmed B
2020-06-30 15:42:35 (GMT)
Stuck on the above. Might be something to do with my Zoom
Sophie Tourret
2020-06-30 15:44:57 (GMT)
It also doesn't work for me. Maybe we are the only workshop staying so late so they closed the coffee room already?
Stephan Schulz
2020-06-30 15:48:9 (GMT)
I'm having coffee here in Stuttgart....if you can, join!
Hans de Nivelle
2020-06-30 15:53:43 (GMT)
I thought you only drank tea and named incarnations of E after it.
Stephan Schulz
2020-06-30 16:0:56 (GMT)
I do drink all caffeinated beverages, but I drink so much more tea that the rest can be rounded off....