The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1997-2008 (15) 2010-2023 (8)
Publication types (Num. hits)
article(12) inproceedings(11)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 17 keywords

Results
Found 23 publication records. Showing 23 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
62Paolo Liberatore Compilability and compact representations of revision of Horn knowledge bases. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF compilability, compact representations
56Jörg Rech, Axel Spriestersbach A Survey about the Intent to Use Visual Defect Annotations for Software Models. Search on Bibsonomy ECMDA-FA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Visual Annotations, Quality Defects, Software Diagnostics, MDSD, Software Models, Intelligent Assistance
31Nicola Gigante, Enrico Scala On the Compilability of Bounded Numeric Planning. Search on Bibsonomy IJCAI The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Tomasz Korbak, Hady Elsahar, Marc Dymetman, Germán Kruszewski Energy-Based Models for Code Generation under Compilability Constraints. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
31David Speck 0001, David Borukhson, Robert Mattmüller, Bernhard Nebel On the Compilability and Expressive Power of State-Dependent Action Costs. Search on Bibsonomy ICAPS The full citation details ... 2021 DBLP  BibTeX  RDF
31José Farinha A Demonstration of Compilability for UML Template Instances. Search on Bibsonomy MODELSWARD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
31Meysam Aghighi, Peter Jonsson Oversubscription Planning: Complexity and Compilability. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
31Paolo Liberatore, Marco Schaerf The compilability framework. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
31Bernhard Nebel On the Compilability and Expressive Power of Propositional Planning Formalisms Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
31Dan Ioan Chiorean, Vladiela Petrascu Towards a Conceptual Framework Supporting Model Compilability. Search on Bibsonomy Electron. Commun. Eur. Assoc. Softw. Sci. Technol. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
31Paolo Liberatore, Marco Schaerf Compilability of propositional abduction. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF automated diagnosis, computational complexity, artificial intelligence, knowledge representation, Abduction
31Paolo Liberatore Complexity and compilability of diagnosis and recovery of graph-based systems. Search on Bibsonomy Int. J. Intell. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Hubie Chen Parameterized Compilability. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
31Hubie Chen A Theory of Average-Case Compilability in Knowledge Representation. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
31Paolo Liberatore, Marco Schaerf Compilability of Abduction Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
31Bernhard Nebel On the Compilability and Expressive Power of Propositional Planning Formalisms. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Paolo Liberatore, Marco Schaerf Compilability of Abduction. Search on Bibsonomy AAAI/IAAI The full citation details ... 2000 DBLP  BibTeX  RDF
31Paolo Liberatore On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc. Search on Bibsonomy KR The full citation details ... 1998 DBLP  BibTeX  RDF
31Paolo Liberatore Compilability of Domain Descriptions in the Language A. Search on Bibsonomy Electron. Trans. Artif. Intell. The full citation details ... 1997 DBLP  BibTeX  RDF
31Andrea Ferrara, Paolo Liberatore, Marco Schaerf Model Checking and Preprocessing. Search on Bibsonomy AI*IA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model Checking, Complexity, Compilability
31Paolo Liberatore Monotonic reductions, representative equivalence, and compilation of intractable problems. Search on Bibsonomy J. ACM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Compilability, preprocessing
28Dorit Nuzman, Mircea Namolaru, Ayal Zaks, Jeff H. Derby Compiling for an indirect vector register architecture. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compiler controlled cache, rotating register file, vectorization, data reuse, subword parallelism, viterbi, simd
28Sylvie Coste-Marquis, Pierre Marquis On Stratified Belief Base Compilation. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF reasoning under inconsistency, stratified belief base, computational complexity, knowledge compilation
Displaying result #1 - #23 of 23 (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