|
Search the dblp DataBase
Christoph Wernhard:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Christoph Wernhard
Semantic Knowledge Partitioning. [Citation Graph (0, 0)][DBLP] IJCAR Doctoral Programme, 2004, pp:- [Conf]
- Christoph Wernhard
Semantic Knowledge Partitioning. [Citation Graph (0, 0)][DBLP] JELIA, 2004, pp:552-564 [Conf]
- Björn Pelzer, Christoph Wernhard
System Description: E-KRHyper. [Citation Graph (0, 0)][DBLP] CADE, 2007, pp:508-513 [Conf]
Circumscription and Projection as Primitives of Logic Programming. [Citation Graph (, )][DBLP]
Literal Projection for First-Order Logic. [Citation Graph (, )][DBLP]
Tableaux for Projection Computation and Knowledge Compilation. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|