![[RDF data]](http://www4.wiwiss.fu-berlin.de/dblp/snorql/rdf_flyer.24.gif)
| Property | Value |
|---|---|
| dc:creator | <http://www4.wiwiss.fu-berlin.de/dblp/resource/person/100562> |
| dc:creator | <http://www4.wiwiss.fu-berlin.de/dblp/resource/person/100563> |
| dc:creator | <http://www4.wiwiss.fu-berlin.de/dblp/resource/person/100564> |
| dc:creator | <http://www4.wiwiss.fu-berlin.de/dblp/resource/person/100565> |
| dc:creator | <http://www4.wiwiss.fu-berlin.de/dblp/resource/person/100566> |
| dc:date | 2000 (xsd:gYear) |
| rdfs:label | Using the dlv System for Planning and Diagnostic Reasoning. |
| owl:sameAs | <http://dblp.l3s.de/d2r/resource/publications/conf/wlp/EiterFLPP00> |
| rdfs:seeAlso | <http://dblp.uni-trier.de/db/conf/wlp/wlp2000.html#EiterFLPP00> |
| dc:title | Using the dlv System for Planning and Diagnostic Reasoning. |
| rdf:type | dblp:InProceedings |
| rdf:type | foaf:Document |