Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/conf/aaaifs/Lacerda0H15
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/conf/aaaifs/Lacerda0H15
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/87/10333 + , https://dblp.org/pid/33/3095 + , https://dblp.org/pid/35/1190 +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#documentPage http://www.aaai.org/ocs/index.php/FSS/FSS15/paper/view/11695 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/conf/aaaifs/aaaifs2015 +
https://dblp.org/rdf/schema#numberOfCreators 3
https://dblp.org/rdf/schema#pagination 54-55
https://dblp.org/rdf/schema#primaryDocumentPage http://www.aaai.org/ocs/index.php/FSS/FSS15/paper/view/11695 +
https://dblp.org/rdf/schema#publishedAsPartOf https://dblp.org/rec/conf/aaaifs/2015 +
https://dblp.org/rdf/schema#publishedIn AAAI Fall Symposia
https://dblp.org/rdf/schema#publishedInBook AAAI Fall Symposia
https://dblp.org/rdf/schema#title Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract).
https://dblp.org/rdf/schema#yearOfEvent 2015
https://dblp.org/rdf/schema#yearOfPublication 2015
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label Bruno Lacerda et al.: Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract). (2015)
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://www.b-kaempgen.de/index.php/Special:BrowseSW/https:-2F-2Fdblp.org-2Frec-2Fconf-2Faaaifs-2FLacerda0H15"