Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)
Luis Moniz Pereira and Alexandre Miguel Pinto. Tight Semantics for Logic Programs. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 134-143, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{pereira_et_al:LIPIcs.ICLP.2010.134, author = {Pereira, Luis Moniz and Pinto, Alexandre Miguel}, title = {{Tight Semantics for Logic Programs}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {134--143}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.134}, URN = {urn:nbn:de:0030-drops-25919}, doi = {10.4230/LIPIcs.ICLP.2010.134}, annote = {Keywords: Normal Logic Programs, Relevance, Cumulativity, Stable Models, Well-Founded Semantics, Program Remainder} }
Published in: OASIcs, Volume 51, 5th Symposium on Languages, Applications and Technologies (SLATE'16) (2016)
Alexandre Pinto, Hugo Gonçalo Oliveira, and Ana Oliveira Alves. Comparing the Performance of Different NLP Toolkits in Formal and Social Media Text. In 5th Symposium on Languages, Applications and Technologies (SLATE'16). Open Access Series in Informatics (OASIcs), Volume 51, pp. 3:1-3:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{pinto_et_al:OASIcs.SLATE.2016.3, author = {Pinto, Alexandre and Gon\c{c}alo Oliveira, Hugo and Oliveira Alves, Ana}, title = {{Comparing the Performance of Different NLP Toolkits in Formal and Social Media Text}}, booktitle = {5th Symposium on Languages, Applications and Technologies (SLATE'16)}, pages = {3:1--3:16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-006-4}, ISSN = {2190-6807}, year = {2016}, volume = {51}, editor = {Mernik, Marjan and Leal, Jos\'{e} Paulo and Gon\c{c}alo Oliveira, Hugo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2016.3}, URN = {urn:nbn:de:0030-drops-60086}, doi = {10.4230/OASIcs.SLATE.2016.3}, annote = {Keywords: Natural language processing, toolkits, formal text, social media, benchmark} }
Feedback for Dagstuhl Publishing