Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CILC"( http://dblp.L3S.de/Venues/CILC )

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

Publication years (Num. hits)
2010 (22) 2011 (29) 2012 (21) 2013 (23) 2014 (30) 2015 (21) 2016 (16) 2018-2019 (55) 2020 (30) 2021 (15) 2022 (25) 2023 (24)
Publication types (Num. hits)
inproceedings(298) proceedings(13)
Venues (Conferences, Journals, ...)
CILC(311)
Authors
Stefania Costantini(28) Agostino Dovier(22) Andrea Formisano 0001(19) Laura Giordano 0001(18) Domenico Cantone(17) Gian Luca Pozzato(17) Eugenio G. Omodeo(15) Francesco Ricca(15) Fabrizio Riguzzi(12) Evelina Lamma(10) Marco Gavanelli(10) Marianna Nicolosi Asmundo(10) Maurizio Proietti(10) Stefano Bistarelli(10) Valentina Gliozzi(10) Alberto Pettorossi(9) More (+10 of total 384)
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
1Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma Probabilistic Logic-Based Process Mining. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Generalization Strategies for the Verification of Infinite State Systems. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Francesco Mele, Antonio Sorgente, Giuseppe Vettigli Evoluzioni di Ontologie in Frame Logic. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli CLP-based Protein Fragment Assembly. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Stefania Costantini, Alessio Paolucci Towards Translating Natural Language Sentences into ASP. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma Runtime Addition of Integrity Constraints in SCIFF. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Valerio Genovese, Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato A Constructive Conditional Logic for Access Control. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska Dual Tableau-based Decision Procedures for Some Relational Logics. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Matteo Baldoni, Cristina Baroglio, Elisa Marengo Constraints among Commitments: Regulative Specification of Interaction Protocols. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Stefano Bistarelli, Daniele Pirolandi, Francesco Santini 0001 Solving Weighted Argumentation Frameworks with Soft Constraints. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone (eds.) Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010 Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
Displaying result #301 - #311 of 311 (100 per page; Change: )
Pages: [<<][1][2][3][4]
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