Searching for authors named "Karsten Konrad" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
Model Generation for Natural-Language Semantic Analysis
- …Model Generation for Natural-Language Semantic Analysis Karsten Konrad, konrad…
- Cited by 1 (0 self) – Add To MetaCart
-
HOT: A Concurrent Automated Theorem Prover based on Higher-Order Tableaux
- …Hot: A Concurrent Automated Theorem Prover based on Higher-Order Tableaux Karsten Konrad, konrad…
- Cited by 5 (1 self) – Add To MetaCart
-
Model Generation without Normal Forms and Applications in Natural-Language Semantics
- …Model Generation without Normal Forms and Applications in Natural-Language Semantics Karsten Konrad…
- Cited by 1 (1 self) – Add To MetaCart
-
Definites and the Proper Treatment of Rabbits
- …Definites and the Proper Treatment of Rabbits Claire Gardent Karsten Konrad claire…
- Cited by 4 (1 self) – Add To MetaCart
-
Presenting Herbrand Models with Linguistically Motivated Techniques
- …Presenting Herbrand Models with Linguistically Motivated Techniques Helmut Horacek and Karsten…
- Cited by 1 (1 self) – Add To MetaCart
-
System Description: Kimba, A Model Generator for Many-Valued First-Order Logics
- …System Description: Kimba, A Model Generator for Many-Valued First-Order Logics Karsten Konrad 1…
- Cited by 2 (0 self) – Add To MetaCart
-
Higher-Order Automated Theorem Proving for Natural Language Semantics
- … and Karsten Konrad SEKI Report SR-98-04 Higher-Order Automated Theorem Proving for Natural Language…
- Cited by 6 (3 self) – Add To MetaCart
-
Understanding "Each Other"
- …., 1998). Section 5 concludes with pointers for further research. 319 Karsten Konrad Computer Science…
- Cited by 1 (0 self) – Add To MetaCart
-
Interpreting Definites using Model Generation
- … of the Saarland, Saarbrucken, Germany. E-mail: claire@(email omitted); Karsten Konrad, Computer Science…
- Cited by 17 (0 self) – Add To MetaCart
-
Higher-Order Colored Unification: A Linguistic Application
- … Kohlhase z Karsten Konrad z y Department of Computational Linguistics z Department of Computer…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
