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

Book title Buchtitel

ISBN

978-3-642-04237-9

Editor Herausgeber_in

Erdem, Esra
Lin, Fangzhen
Schaub, Torsten

Publisher Herausgeber

Springer
Springer

Place of publishing Erscheinungsort

Berlin, Heidelberg
5753

DOI

10.1007/978-3-642-04238-6

Series Schriftenreihe

Lecture Notes in Computer Science

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

RIS EndNote Bibtex Send via email

	Authors / Editors	Title	Type	Issue Date
1	Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Erdem, Esra ; Lin, Fangzhen ; Schaub, Torsten	Belief Revision with Bounded Treewidth	Konferenzbeitrag Inproceedings	2009
2	Puehrer, Joerg ; Tompits, Hans ; Erdem, Esra ; Lin, Fangzhen ; Schaub, Torsten	Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection	Konferenzbeitrag Inproceedings	2009
3	Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan ; Erdem, Esra ; Lin, Fangzhen ; Schaub, Torsten	ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions	Konferenzbeitrag Inproceedings	2009
4	Faber, Wolfgang ; Woltran, Stefan ; Erdem, Esra ; Lin, Fangzhen ; Schaub, Torsten	Manifold Answer-Set Programs for Meta-reasoning	Konferenzbeitrag Inproceedings	2009