Towards First-order Deduction Based on Shannon Graphs. Posegga, J. & Ludäscher, B. In GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings, volume 671, of Lecture Notes in Computer Science, pages 67–75, 1992. Springer. Paper doi bibtex @inproceedings{posegga_towards_1992,
series = {Lecture {Notes} in {Computer} {Science}},
title = {Towards {First}-order {Deduction} {Based} on {Shannon} {Graphs}},
volume = {671},
url = {https://doi.org/10.1007/BFb0018993},
doi = {10.1007/BFb0018993},
booktitle = {{GWAI}-92: {Advances} in {Artificial} {Intelligence}, 16th {German} {Conference} on {Artificial} {Intelligence}, {Bonn}, {Germany}, {August} 31 - {September} 3, 1992, {Proceedings}},
publisher = {Springer},
author = {Posegga, Joachim and Ludäscher, Bertram},
editor = {Ohlbach, Hans Jürgen},
year = {1992},
pages = {67--75},
}
Downloads: 0
{"_id":"yQPdRgjpRyDkH7NDm","bibbaseid":"posegga-ludscher-towardsfirstorderdeductionbasedonshannongraphs-1992","downloads":0,"creationDate":"2018-10-17T17:51:35.298Z","title":"Towards First-order Deduction Based on Shannon Graphs","author_short":["Posegga, J.","Ludäscher, B."],"year":1992,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/idaks/idaks.github.io/main/iDAKS-publications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"Lecture Notes in Computer Science","title":"Towards First-order Deduction Based on Shannon Graphs","volume":"671","url":"https://doi.org/10.1007/BFb0018993","doi":"10.1007/BFb0018993","booktitle":"GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings","publisher":"Springer","author":[{"propositions":[],"lastnames":["Posegga"],"firstnames":["Joachim"],"suffixes":[]},{"propositions":[],"lastnames":["Ludäscher"],"firstnames":["Bertram"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Ohlbach"],"firstnames":["Hans","Jürgen"],"suffixes":[]}],"year":"1992","pages":"67–75","bibtex":"@inproceedings{posegga_towards_1992,\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Towards {First}-order {Deduction} {Based} on {Shannon} {Graphs}},\n\tvolume = {671},\n\turl = {https://doi.org/10.1007/BFb0018993},\n\tdoi = {10.1007/BFb0018993},\n\tbooktitle = {{GWAI}-92: {Advances} in {Artificial} {Intelligence}, 16th {German} {Conference} on {Artificial} {Intelligence}, {Bonn}, {Germany}, {August} 31 - {September} 3, 1992, {Proceedings}},\n\tpublisher = {Springer},\n\tauthor = {Posegga, Joachim and Ludäscher, Bertram},\n\teditor = {Ohlbach, Hans Jürgen},\n\tyear = {1992},\n\tpages = {67--75},\n}\n\n","author_short":["Posegga, J.","Ludäscher, B."],"editor_short":["Ohlbach, H. J."],"key":"posegga_towards_1992","id":"posegga_towards_1992","bibbaseid":"posegga-ludscher-towardsfirstorderdeductionbasedonshannongraphs-1992","role":"author","urls":{"Paper":"https://doi.org/10.1007/BFb0018993"},"metadata":{"authorlinks":{}}},"search_terms":["towards","first","order","deduction","based","shannon","graphs","posegga","ludäscher"],"keywords":[],"authorIDs":["54598392b43425b772000646"],"dataSources":["fYGRSD8HXJYwZPaY7","bYCJfwRyen29qPqpz","Xxqd3HX3KmFhdXHpx","qi9u9SFZjco5DqjLx","HNFsdKR8kJf7L7vbS","s4LHTYhEoDoFspE3K"]}