Jan Frederik Schaefer

Jan Frederik Schaefer
Friedrich-Alexander-University of Erlangen-Nürnberg | FAU

About

5
Publications
116
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
7
Citations
Citations since 2017
4 Research Items
7 Citations
20172018201920202021202220230123456
20172018201920202021202220230123456
20172018201920202021202220230123456
20172018201920202021202220230123456

Publications

Publications (5)
Chapter
The Grammatical Logical Framework (GLF) is a framework for prototyping the translation of natural language sentences into logic. The motivation behind GLF was to apply it to mathematical language, as the classical compositional approach to semantics construction seemed most suitable for a domain where high precision was mandatory—even at the price...
Chapter
Logical frameworks like LF allow to specify the syntax and (natural deduction) inference rules for syntax/proof-checking a wide variety of logical systems. A crucial feature that is missing for prototyping logics is a way to specify basic proof automation. We try to alleviate this problem by generating \(\lambda \)Prolog (ELPI) inference predicates...
Preprint
Full-text available
These days, vast amounts of knowledge are available online, most of it in written form. Search engines help us access this knowledge, but aggregating, relating and reasoning with it is still a predominantly human effort. One of the key challenges for automated reasoning based on natural-language texts is the need to extract meaning (semantics) from...
Article
Full-text available
These days, vast amounts of knowledge are available online, most of it in written form. Search engines help us access this knowledge, but aggregating, relating and reasoning with it is still a predominantly human effort. One of the key challenges for automated reasoning based on natural-language texts is the need to extract meaning (semantics) from...

Network

Cited By