The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "RCRA@AI*IA"( http://dblp.L3S.de/Venues/RCRA@AI*IA )

URL (DBLP): http://dblp.uni-trier.de/db/conf/aiia

Publication years (Num. hits)
2009 (13) 2010 (1) 2015 (8) 2016 (8) 2017 (6)
Publication types (Num. hits)
inproceedings(32) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 36 publication records. Showing 36 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Günther Charwat, Stefan Woltran Expansion-based QBF Solving on Tree Decompositions. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Mikolás Janota, Radu Grigore, Vasco M. Manquinho On the Quest for an Acyclic Graph. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Marco Maratea, Ivan Serina (eds.) Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 14-15, 2017. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Mario Alviano Ingredients of the Argumentation Reasoner pyglaf: Python, Circumscription, and Glucose to Taste. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Mikolás Janota, João Marques-Silva On Minimal Corrections in ASP. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Richard J. Wallace Preprocessing versus Search Processing for Constraint Satisfaction Problems. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Carmine Dodaro, Francesco Ricca, Peter Schüller External Propagators in WASP: Preliminary Report. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Stefano Bistarelli, Andrea Formisano, Marco Maratea (eds.) Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 28, 2016. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Francesco Lupia, Angelo Mendicelli, Andrea Ribichini, Francesco Scarcello, Marco Schaerf Computing the Shapley Value in Allocation Problems: Approximations and Bounds, with an Application to the Italian VQR Research Assessment Program. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Francesco Leofante, Luca Pulina, Armando Tacchella Learning with Safety Requirements: State of the Art and Open Questions. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Richard J. Wallace Complexity Analysis vs. Engineering Design in CSP Algorithms: Contravening Conventional Wisdom Again. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Christoph Redl Automated Benchmarking of KR-systems. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Peter Schüller Adjudication of Coreference Annotations via Finding Optimal Repairs of Equivalence Relations. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Stefano Bistarelli, Andrea Formisano, Marco Maratea (eds.) Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia An Empirical Perspective on Ten Years of QBF Solving. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Roman Barták, Jindrich Vodrázka Searching for Sequential Plans Using Tabled Logic Programming. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Peter Schüller Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Stefano Bistarelli, Fabio Rossi, Francesco Santini 0001 Testing Credulous and Sceptical Acceptance in Small-World Networks. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano Evaluating Answer Set Programming with Non-Convex Recursive Aggregates. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Toni Mancini Now or Never: Negotiating Efficiently with Unknown Counterparts. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca JWASP: A New Java-Based ASP Solver. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Gavanelli, Toni Mancini (eds.) Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009 Search on Bibsonomy RCRA@AI*IA The full citation details ... 2010 DBLP  BibTeX  RDF
1Alfonso Gerevini, Alessandro Saetti, Ivan Serina An Empirical Analysis of Some Heuristic Features for Planning with Local Search in LPG. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Mohammed Lalou, Zineb Habbas, Kamal Amroun Solving Hypertree Structured CSP: Sequential and Parallel Approaches. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Mehmet Çelik, Halit Erdogan, Firat Tahaoglu, Tansel Uras, Esra Erdem 0001 Comparing ASP and CP on Four Grid Puzzles. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Simona Perri, Francesco Ricca, Marco Sirianni Advanced Heuristics for Parallel ASP Instantiation. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Angel A. Juan, Scott E. Grasman, Javier Faulin, Daniel Riera, Carlos A. Méndez, Bernardo Ruiz Applying Simulation and Reliability to Vehicle Routing Problems with Stochastic Demands. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci Flexible Plan Verification: Feasibility Results. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Luca Pulina, Armando Tacchella A structural approach to reasoning with quantified Boolean formulas. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Fabio Massimo Zanzotto, Lorenzo Dell'Arciprete Efficient Kernels for Sentence Pair Classification. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Inês Lynce, João Marques-Silva Restoring CSP Satisfiability with MaxSAT. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Paolo Marin, Matthew D. T. Lewis, Tobias Schubert 0001, Massimo Narizzano, Bernd Becker 0001, Enrico Giunchiglia Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina Improving the Automatic Test Generation process for Coverage Analysis using CBMC. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Toni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson Constrained Optimization Over Massive Databases. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
Displaying result #1 - #36 of 36 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license