Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings

Book title Buchtitel
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings
 
ISBN
978-3-642-04237-9
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer
Springer
 
Place of publishing Erscheinungsort
Berlin, Heidelberg
5753
 
DOI
10.1007/978-3-642-04238-6
 

Publications Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Belief Revision with Bounded TreewidthKonferenzbeitrag Inproceedings 2009
2Puehrer, Joerg ; Tompits, Hans Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with ProjectionKonferenzbeitrag Inproceedings 2009
3Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment SolutionsKonferenzbeitrag Inproceedings 2009
4Faber, Wolfgang ; Woltran, Stefan Manifold Answer-Set Programs for Meta-reasoningKonferenzbeitrag Inproceedings 2009