Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for SATPlan with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1998-2015 (9)
Publication types (Num. hits)
article(3) inproceedings(6)
Venues (Conferences, Journals, ...)
AI*IA(2) AIMSA(1) CPAIOR(1) Int. J. Artif. Intell. Tools(1) Knowl. Based Syst.(1) SGAI Conf.(1) SIGecom Exch.(1) SOCS(1)
Authors
Enrico Giunchiglia(2) Marco Maratea(2) Muhammad Adnan Hashmi(2) Pavlos Moraitis(2) Yannis Dimopoulos(2) Alfredo Milani(1) Amol Dattatraya Mali(1) Dongwon Lee 0001(1) Marco Baioletti(1) Roman Barták(1) Seog-Chan Oh(1) Soundar R. T. Kumara(1) Stefano Marcugini(1) Tomás Balyo(1) Weixiong Zhang(1) Ying Liu(1) More (+10 of total 18)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
196Marco Baioletti, Stefano Marcugini, Alfredo Milani An Extension of SATPLAN for Planning with Constraints. Search on Bibsonomy AIMSA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
106Enrico Giunchiglia, Marco Maratea Improving Plan Quality in SAT-Based Planning. Search on Bibsonomy AI*IA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
79Enrico Giunchiglia, Marco Maratea SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. Search on Bibsonomy AI*IA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Tomás Balyo, Roman Barták No One SATPlan Encoding To Rule Them All. Search on Bibsonomy SOCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
37Yannis Dimopoulos, Muhammad Adnan Hashmi, Pavlos Moraitis μ-SATPLAN: Multi-agent planning as satisfiability. Search on Bibsonomy Knowl. Based Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
37Yannis Dimopoulos, Muhammad Adnan Hashmi, Pavlos Moraitis Extending SATPLAN to Multiple Agents. Search on Bibsonomy SGAI Conf. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
37Amol Dattatraya Mali, Ying Liu T-satplan: a Sat-based Temporal Planner. Search on Bibsonomy Int. J. Artif. Intell. Tools The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Seog-Chan Oh, Dongwon Lee 0001, Soundar R. T. Kumara A comparative illustration of AI planning-based web services composition. Search on Bibsonomy SIGecom Exch. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SATPlan, graphplan, algorithms, documentation, integer programming, web services composition
26Zhao Xing, Yixin Chen 0001, Weixiong Zhang An Efficient Hybrid Strategy for Temporal Planning. Search on Bibsonomy CPAIOR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license