|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 311 publication records. Showing 311 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma |
Probabilistic Logic-Based Process Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Generalization Strategies for the Verification of Infinite State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Francesco Mele, Antonio Sorgente, Giuseppe Vettigli |
Evoluzioni di Ontologie in Frame Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
CLP-based Protein Fragment Assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Alessio Paolucci |
Towards Translating Natural Language Sentences into ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Marco Alberti 0001, Marco Gavanelli, Evelina Lamma |
Runtime Addition of Integrity Constraints in SCIFF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Valerio Genovese, Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato |
A Constructive Conditional Logic for Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska |
Dual Tableau-based Decision Procedures for Some Relational Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Matteo Baldoni, Cristina Baroglio, Elisa Marengo |
Constraints among Commitments: Regulative Specification of Interaction Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Daniele Pirolandi, Francesco Santini 0001 |
Solving Weighted Argumentation Frameworks with Soft Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Wolfgang Faber 0001, Nicola Leone (eds.) |
Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
Displaying result #301 - #311 of 311 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4] |
|