Christoph Wernhard

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j1		Christoph Wernhard: Projection and scope-determined circumscription. J. Symb. Comput. 47(9): 1089-1108 (2012)
	2011
c7		Steffen Hölldobler, Tobias Philipp, Christoph Wernhard: An Abductive Model for Human Reasoning. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
i1		Christoph Wernhard: Computing with Logic as Operator Elimination: The ToyElim System. CoRR abs/1108.4891 (2011)
	2010
c6		Christoph Wernhard: Circumscription and Projection as Primitives of Logic Programming. ICLP (Technical Communications) 2010: 202-211
	2009
b1		Christoph Wernhard: Automated deduction for projection elimination. University of Koblenz-Landau 2009, isbn 978-3-89838-324-0, pp. 1-283
c5		Christoph Wernhard: Tableaux for Projection Computation and Knowledge Compilation. TABLEAUX 2009: 325-340
	2008
c4		Christoph Wernhard: Literal Projection for First-Order Logic. JELIA 2008: 389-402
	2007
c3		Björn Pelzer, Christoph Wernhard: System Description: E-KRHyper. CADE 2007: 508-513
	2004
c2		Christoph Wernhard: Semantic Knowledge Partitioning. IJCAR Doctoral Programme 2004
c1		Christoph Wernhard: Semantic Knowledge Partitioning. JELIA 2004: 552-564

Coauthor Index

Last update Thu May 23 13:08:06 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page