scientific article
From MaRDI portal
Publication:3996678
zbMath0743.68016MaRDI QIDQ3996678
No author found.
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ProceedingsWorkshopArtificial intelligenceTypesEringerfeld (FRG)many-sorted theorem proving and logic programmingnatural language logics and reasoning systemsSorts
Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic of natural languages (03B65) Artificial intelligence (68T99) Logic programming (68N17) Natural language processing (68T50)
Related Items (4)
Applications of type theory ⋮ Projection: A unification procedure for tableaux in Conceptual Graphs ⋮ First-order automated reasoning with theories: when deduction modulo theory meets practice ⋮ Semantic networks
This page was built for publication:
