|
|
Venues (Conferences, Journals, ...)
|
|
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 |
62 | Paolo Liberatore |
Compilability and compact representations of revision of Horn knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 1(1), pp. 131-161, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, pp. 406-418, 2008, Springer, 978-3-540-69095-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 5341-5349, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Tomasz Korbak, Hady Elsahar, Marc Dymetman, Germán Kruszewski |
Energy-Based Models for Code Generation under Compilability Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.04985, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021, pp. 358-366, 2021, AAAI Press, 978-1-57735-867-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
31 | José Farinha |
A Demonstration of Compilability for UML Template Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016., pp. 397-404, 2016, SciTePress, 978-989-758-168-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Meysam Aghighi, Peter Jonsson |
Oversubscription Planning: Complexity and Compilability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada., pp. 2221-2227, 2014, AAAI Press, 978-1-57735-661-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Paolo Liberatore, Marco Schaerf |
The compilability framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligenza Artificiale ![In: Intelligenza Artificiale 7(1), pp. 31-35, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Bernhard Nebel |
On the Compilability and Expressive Power of Propositional Planning Formalisms ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1106.0247, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
31 | Dan Ioan Chiorean, Vladiela Petrascu |
Towards a Conceptual Framework Supporting Model Compilability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Paolo Liberatore, Marco Schaerf |
Compilability of propositional abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(1), pp. 2, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 20(10), pp. 1053-1076, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Hubie Chen |
Parameterized Compilability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005, pp. 412-417, 2005, Professional Book Center, 0938075934. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
31 | Hubie Chen |
A Theory of Average-Case Compilability in Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, pp. 455-460, 2003, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
31 | Paolo Liberatore, Marco Schaerf |
Compilability of Abduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.AI/0210007, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
31 | Bernhard Nebel |
On the Compilability and Expressive Power of Propositional Planning Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 12, pp. 271-315, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Paolo Liberatore, Marco Schaerf |
Compilability of Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI ![In: Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA., pp. 349-354, 2000, AAAI Press / The MIT Press, 0-262-51112-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
31 | Paolo Liberatore |
On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998., pp. 144-155, 1998, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
31 | Paolo Liberatore |
Compilability of Domain Descriptions in the Language A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Trans. Artif. Intell. ![In: Electron. Trans. Artif. Intell. 1, pp. 129-132, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
31 | Andrea Ferrara, Paolo Liberatore, Marco Schaerf |
Model Checking and Preprocessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings, pp. 48-59, 2007, Springer, 978-3-540-74781-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Model Checking, Complexity, Compilability |
31 | Paolo Liberatore |
Monotonic reductions, representative equivalence, and compilation of intractable problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 48(6), pp. 1091-1125, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Compilability, preprocessing |
28 | Dorit Nuzman, Mircea Namolaru, Ayal Zaks, Jeff H. Derby |
Compiling for an indirect vector register architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 5th Conference on Computing Frontiers, 2008, Ischia, Italy, May 5-7, 2008, pp. 199-208, 2008, ACM, 978-1-60558-077-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 42(4), pp. 399-442, 2004. The full citation details ...](Pics/full.jpeg) |
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: )
|
|