2008 | ||
---|---|---|
4 | EE | Christoph Wernhard: Literal Projection for First-Order Logic. JELIA 2008: 389-402 |
2007 | ||
3 | EE | Björn Pelzer, Christoph Wernhard: System Description: E-KRHyper. CADE 2007: 508-513 |
2004 | ||
2 | EE | Christoph Wernhard: Semantic Knowledge Partitioning. IJCAR Doctoral Programme 2004 |
1 | EE | Christoph Wernhard: Semantic Knowledge Partitioning. JELIA 2004: 552-564 |
1 | Björn Pelzer | [3] |