Restricted higher-order anti-unification for analogy making
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Krumnack, Ulf | |
dc.contributor.author | Schwering, Angela | |
dc.contributor.author | Gust, Helmar | |
dc.contributor.author | Kühnberger, Kai-Uwe | |
dc.date.accessioned | 2022-04-19T14:06:19Z | - |
dc.date.available | 2022-04-19T14:06:19Z | - |
dc.date.issued | 2007 | |
dc.identifier.uri | https://osnascholar.ub.uni-osnabrueck.de/handle/unios/54104 | - |
dc.publisher | Springer, Berlin, Heidelberg | |
dc.relation.ispartof | australasian joint conference on artificial intelligence | |
dc.subject | Computer science | |
dc.subject | Order (exchange) | |
dc.subject | Unification | |
dc.subject | Analogy | |
dc.title | Restricted higher-order anti-unification for analogy making | |
dc.type | book part | |
dc.identifier.doi | https://doi.org/10.1007/978-3-540-76928-6_29 | |
dc.description.startpage | 273 | |
dc.description.endpage | 282 | |
dc.identifier.external | https://openalex.org/W1575597610 | |
local.import.sourcefile | openalex_uos_20220409.ris | |
crisitem.author.dept | Institut für Kognitionswissenschaft | - |
crisitem.author.dept | Institut für Kognitionswissenschaft | - |
crisitem.author.deptid | institute28 | - |
crisitem.author.deptid | institute28 | - |
crisitem.author.orcid | 0000-0003-1626-0598 | - |
crisitem.author.parentorg | FB 08 - Humanwissenschaften | - |
crisitem.author.parentorg | FB 08 - Humanwissenschaften | - |
crisitem.author.grandparentorg | Universität Osnabrück | - |
crisitem.author.grandparentorg | Universität Osnabrück | - |
crisitem.author.netid | KrUl568 | - |
crisitem.author.netid | KuKa032 | - |
Seitenaufrufe
2
Letzte Woche
0
0
Letzter Monat
1
1
geprüft am 29.05.2024