Search results for "compilability"

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