Published in: LIPIcs, Volume 280, 29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
Gilles Audemard, Christophe Lecoutre, and Charles Prud'homme. Guiding Backtrack Search by Tracking Variables During Constraint Propagation. In 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 280, pp. 9:1-9:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{audemard_et_al:LIPIcs.CP.2023.9, author = {Audemard, Gilles and Lecoutre, Christophe and Prud'homme, Charles}, title = {{Guiding Backtrack Search by Tracking Variables During Constraint Propagation}}, booktitle = {29th International Conference on Principles and Practice of Constraint Programming (CP 2023)}, pages = {9:1--9:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-300-3}, ISSN = {1868-8969}, year = {2023}, volume = {280}, editor = {Yap, Roland H. C.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2023.9}, URN = {urn:nbn:de:0030-drops-190461}, doi = {10.4230/LIPIcs.CP.2023.9}, annote = {Keywords: Variable Ordering Heuristics, Variable Weighting} }
Published in: LIPIcs, Volume 243, 33rd International Conference on Concurrency Theory (CONCUR 2022)
S. Akshay, Paul Gastin, R. Govind, and B. Srivathsan. Simulations for Event-Clock Automata. In 33rd International Conference on Concurrency Theory (CONCUR 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 243, pp. 13:1-13:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{akshay_et_al:LIPIcs.CONCUR.2022.13, author = {Akshay, S. and Gastin, Paul and Govind, R. and Srivathsan, B.}, title = {{Simulations for Event-Clock Automata}}, booktitle = {33rd International Conference on Concurrency Theory (CONCUR 2022)}, pages = {13:1--13:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-246-4}, ISSN = {1868-8969}, year = {2022}, volume = {243}, editor = {Klin, Bartek and Lasota, S{\l}awomir and Muscholl, Anca}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.13}, URN = {urn:nbn:de:0030-drops-170766}, doi = {10.4230/LIPIcs.CONCUR.2022.13}, annote = {Keywords: Event-clock automata, verification, zones, simulations, reachability} }
Published in: LIPIcs, Volume 236, 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
Gilles Audemard, Jean-Marie Lagniez, and Marie Miceli. A New Exact Solver for (Weighted) Max#SAT. In 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 236, pp. 28:1-28:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{audemard_et_al:LIPIcs.SAT.2022.28, author = {Audemard, Gilles and Lagniez, Jean-Marie and Miceli, Marie}, title = {{A New Exact Solver for (Weighted) Max#SAT}}, booktitle = {25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)}, pages = {28:1--28:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-242-6}, ISSN = {1868-8969}, year = {2022}, volume = {236}, editor = {Meel, Kuldeep S. and Strichman, Ofer}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2022.28}, URN = {urn:nbn:de:0030-drops-167022}, doi = {10.4230/LIPIcs.SAT.2022.28}, annote = {Keywords: Max#SAT, EMaj-SAT, Weighted Projected Model Counting, SSAT} }
Published in: OASIcs, Volume 93, 3rd Conference on Language, Data and Knowledge (LDK 2021)
3rd Conference on Language, Data and Knowledge (LDK 2021). Open Access Series in Informatics (OASIcs), Volume 93, pp. 1-516, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@Proceedings{gromann_et_al:OASIcs.LDK.2021, title = {{OASIcs, Volume 93, LDK 2021, Complete Volume}}, booktitle = {3rd Conference on Language, Data and Knowledge (LDK 2021)}, pages = {1--516}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-199-3}, ISSN = {2190-6807}, year = {2021}, volume = {93}, editor = {Gromann, Dagmar and S\'{e}rasset, Gilles and Declerck, Thierry and McCrae, John P. and Gracia, Jorge and Bosque-Gil, Julia and Bobillo, Fernando and Heinisch, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.LDK.2021}, URN = {urn:nbn:de:0030-drops-145352}, doi = {10.4230/OASIcs.LDK.2021}, annote = {Keywords: OASIcs, Volume 93, LDK 2021, Complete Volume} }
Published in: OASIcs, Volume 93, 3rd Conference on Language, Data and Knowledge (LDK 2021)
3rd Conference on Language, Data and Knowledge (LDK 2021). Open Access Series in Informatics (OASIcs), Volume 93, pp. 0:i-0:xvi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{gromann_et_al:OASIcs.LDK.2021.0, author = {Gromann, Dagmar and S\'{e}rasset, Gilles and Declerck, Thierry and McCrae, John P. and Gracia, Jorge and Bosque-Gil, Julia and Bobillo, Fernando and Heinisch, Barbara}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {3rd Conference on Language, Data and Knowledge (LDK 2021)}, pages = {0:i--0:xvi}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-199-3}, ISSN = {2190-6807}, year = {2021}, volume = {93}, editor = {Gromann, Dagmar and S\'{e}rasset, Gilles and Declerck, Thierry and McCrae, John P. and Gracia, Jorge and Bosque-Gil, Julia and Bobillo, Fernando and Heinisch, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.LDK.2021.0}, URN = {urn:nbn:de:0030-drops-145364}, doi = {10.4230/OASIcs.LDK.2021.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: OASIcs, Volume 93, 3rd Conference on Language, Data and Knowledge (LDK 2021)
Mathieu Lafourcade. The JeuxDeMots Project (Invited Talk). In 3rd Conference on Language, Data and Knowledge (LDK 2021). Open Access Series in Informatics (OASIcs), Volume 93, p. 1:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{lafourcade:OASIcs.LDK.2021.1, author = {Lafourcade, Mathieu}, title = {{The JeuxDeMots Project}}, booktitle = {3rd Conference on Language, Data and Knowledge (LDK 2021)}, pages = {1:1--1:1}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-199-3}, ISSN = {2190-6807}, year = {2021}, volume = {93}, editor = {Gromann, Dagmar and S\'{e}rasset, Gilles and Declerck, Thierry and McCrae, John P. and Gracia, Jorge and Bosque-Gil, Julia and Bobillo, Fernando and Heinisch, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.LDK.2021.1}, URN = {urn:nbn:de:0030-drops-145377}, doi = {10.4230/OASIcs.LDK.2021.1}, annote = {Keywords: Lexical Semantic Network, Games with a Purpose, Inferences, Knowledge Representation, Semantic Representation} }
Published in: OASIcs, Volume 93, 3rd Conference on Language, Data and Knowledge (LDK 2021)
Sara Tonelli. A Smell is Worth a Thousand Words: Olfactory Information Extraction and Semantic Processing in a Multilingual Perspective (Invited Talk). In 3rd Conference on Language, Data and Knowledge (LDK 2021). Open Access Series in Informatics (OASIcs), Volume 93, p. 2:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{tonelli:OASIcs.LDK.2021.2, author = {Tonelli, Sara}, title = {{A Smell is Worth a Thousand Words: Olfactory Information Extraction and Semantic Processing in a Multilingual Perspective}}, booktitle = {3rd Conference on Language, Data and Knowledge (LDK 2021)}, pages = {2:1--2:1}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-199-3}, ISSN = {2190-6807}, year = {2021}, volume = {93}, editor = {Gromann, Dagmar and S\'{e}rasset, Gilles and Declerck, Thierry and McCrae, John P. and Gracia, Jorge and Bosque-Gil, Julia and Bobillo, Fernando and Heinisch, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.LDK.2021.2}, URN = {urn:nbn:de:0030-drops-145386}, doi = {10.4230/OASIcs.LDK.2021.2}, annote = {Keywords: olfactory information extraction, smellscapes, multilingual annotation} }
Published in: OASIcs, Volume 93, 3rd Conference on Language, Data and Knowledge (LDK 2021)
Mikel L. Forcada. Free/Open-Source Machine Translation for the Low-Resource Languages of Spain (Invited Talk). In 3rd Conference on Language, Data and Knowledge (LDK 2021). Open Access Series in Informatics (OASIcs), Volume 93, p. 3:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{forcada:OASIcs.LDK.2021.3, author = {Forcada, Mikel L.}, title = {{Free/Open-Source Machine Translation for the Low-Resource Languages of Spain}}, booktitle = {3rd Conference on Language, Data and Knowledge (LDK 2021)}, pages = {3:1--3:1}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-199-3}, ISSN = {2190-6807}, year = {2021}, volume = {93}, editor = {Gromann, Dagmar and S\'{e}rasset, Gilles and Declerck, Thierry and McCrae, John P. and Gracia, Jorge and Bosque-Gil, Julia and Bobillo, Fernando and Heinisch, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.LDK.2021.3}, URN = {urn:nbn:de:0030-drops-145399}, doi = {10.4230/OASIcs.LDK.2021.3}, annote = {Keywords: free/open-source, machine translation, languages of Spain, low-resource machine translation} }
Published in: OASIcs, Volume 93, 3rd Conference on Language, Data and Knowledge (LDK 2021)
Ben Ambridge. A Computational Simulation of Children’s Language Acquisition (Crazy New Idea). In 3rd Conference on Language, Data and Knowledge (LDK 2021). Open Access Series in Informatics (OASIcs), Volume 93, pp. 4:1-4:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{ambridge:OASIcs.LDK.2021.4, author = {Ambridge, Ben}, title = {{A Computational Simulation of Children’s Language Acquisition}}, booktitle = {3rd Conference on Language, Data and Knowledge (LDK 2021)}, pages = {4:1--4:3}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-199-3}, ISSN = {2190-6807}, year = {2021}, volume = {93}, editor = {Gromann, Dagmar and S\'{e}rasset, Gilles and Declerck, Thierry and McCrae, John P. and Gracia, Jorge and Bosque-Gil, Julia and Bobillo, Fernando and Heinisch, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.LDK.2021.4}, URN = {urn:nbn:de:0030-drops-145402}, doi = {10.4230/OASIcs.LDK.2021.4}, annote = {Keywords: Child language acquisition, language development, deep learning, BERT, ELMo, GPT-3} }
Published in: OASIcs, Volume 93, 3rd Conference on Language, Data and Knowledge (LDK 2021)
Christian Chiarcos. Get! Mimetypes! Right! (Crazy New Idea). In 3rd Conference on Language, Data and Knowledge (LDK 2021). Open Access Series in Informatics (OASIcs), Volume 93, pp. 5:1-5:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{chiarcos:OASIcs.LDK.2021.5, author = {Chiarcos, Christian}, title = {{Get! Mimetypes! Right!}}, booktitle = {3rd Conference on Language, Data and Knowledge (LDK 2021)}, pages = {5:1--5:4}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-199-3}, ISSN = {2190-6807}, year = {2021}, volume = {93}, editor = {Gromann, Dagmar and S\'{e}rasset, Gilles and Declerck, Thierry and McCrae, John P. and Gracia, Jorge and Bosque-Gil, Julia and Bobillo, Fernando and Heinisch, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.LDK.2021.5}, URN = {urn:nbn:de:0030-drops-145418}, doi = {10.4230/OASIcs.LDK.2021.5}, annote = {Keywords: data hosting, mimetypes, resolvability, URIs, Linked Data foundations} }
Published in: OASIcs, Volume 93, 3rd Conference on Language, Data and Knowledge (LDK 2021)
Tobias Weber. Mind the Gap: Language Data, Their Producers, and the Scientific Process (Crazy New Idea). In 3rd Conference on Language, Data and Knowledge (LDK 2021). Open Access Series in Informatics (OASIcs), Volume 93, pp. 6:1-6:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{weber:OASIcs.LDK.2021.6, author = {Weber, Tobias}, title = {{Mind the Gap: Language Data, Their Producers, and the Scientific Process}}, booktitle = {3rd Conference on Language, Data and Knowledge (LDK 2021)}, pages = {6:1--6:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-199-3}, ISSN = {2190-6807}, year = {2021}, volume = {93}, editor = {Gromann, Dagmar and S\'{e}rasset, Gilles and Declerck, Thierry and McCrae, John P. and Gracia, Jorge and Bosque-Gil, Julia and Bobillo, Fernando and Heinisch, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.LDK.2021.6}, URN = {urn:nbn:de:0030-drops-145424}, doi = {10.4230/OASIcs.LDK.2021.6}, annote = {Keywords: minority languages, data integration, sociology of technology, documentary linguistics, exclusion} }
Published in: OASIcs, Volume 93, 3rd Conference on Language, Data and Knowledge (LDK 2021)
Marco Antonio Stranisci, Viviana Patti, and Rossana Damiano. Representing the Under-Represented: a Dataset of Post-Colonial, and Migrant Writers. In 3rd Conference on Language, Data and Knowledge (LDK 2021). Open Access Series in Informatics (OASIcs), Volume 93, pp. 7:1-7:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{stranisci_et_al:OASIcs.LDK.2021.7, author = {Stranisci, Marco Antonio and Patti, Viviana and Damiano, Rossana}, title = {{Representing the Under-Represented: a Dataset of Post-Colonial, and Migrant Writers}}, booktitle = {3rd Conference on Language, Data and Knowledge (LDK 2021)}, pages = {7:1--7:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-199-3}, ISSN = {2190-6807}, year = {2021}, volume = {93}, editor = {Gromann, Dagmar and S\'{e}rasset, Gilles and Declerck, Thierry and McCrae, John P. and Gracia, Jorge and Bosque-Gil, Julia and Bobillo, Fernando and Heinisch, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.LDK.2021.7}, URN = {urn:nbn:de:0030-drops-145431}, doi = {10.4230/OASIcs.LDK.2021.7}, annote = {Keywords: Ontologies, Knowledge Graph, Language Resources, Migrations} }
Published in: OASIcs, Volume 93, 3rd Conference on Language, Data and Knowledge (LDK 2021)
Laura Sinikallio, Senka Drobac, Minna Tamper, Rafael Leal, Mikko Koho, Jouni Tuominen, Matti La Mela, and Eero Hyvönen. Plenary Debates of the Parliament of Finland as Linked Open Data and in Parla-CLARIN Markup. In 3rd Conference on Language, Data and Knowledge (LDK 2021). Open Access Series in Informatics (OASIcs), Volume 93, pp. 8:1-8:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{sinikallio_et_al:OASIcs.LDK.2021.8, author = {Sinikallio, Laura and Drobac, Senka and Tamper, Minna and Leal, Rafael and Koho, Mikko and Tuominen, Jouni and La Mela, Matti and Hyv\"{o}nen, Eero}, title = {{Plenary Debates of the Parliament of Finland as Linked Open Data and in Parla-CLARIN Markup}}, booktitle = {3rd Conference on Language, Data and Knowledge (LDK 2021)}, pages = {8:1--8:17}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-199-3}, ISSN = {2190-6807}, year = {2021}, volume = {93}, editor = {Gromann, Dagmar and S\'{e}rasset, Gilles and Declerck, Thierry and McCrae, John P. and Gracia, Jorge and Bosque-Gil, Julia and Bobillo, Fernando and Heinisch, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.LDK.2021.8}, URN = {urn:nbn:de:0030-drops-145444}, doi = {10.4230/OASIcs.LDK.2021.8}, annote = {Keywords: Plenary debates, parliamentary data, Parla-CLARIN, Linked Open Data, Digital Humanities} }
Published in: OASIcs, Volume 93, 3rd Conference on Language, Data and Knowledge (LDK 2021)
Thomas Schmidt, Katrin Dennerlein, and Christian Wolff. Towards a Corpus of Historical German Plays with Emotion Annotations. In 3rd Conference on Language, Data and Knowledge (LDK 2021). Open Access Series in Informatics (OASIcs), Volume 93, pp. 9:1-9:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{schmidt_et_al:OASIcs.LDK.2021.9, author = {Schmidt, Thomas and Dennerlein, Katrin and Wolff, Christian}, title = {{Towards a Corpus of Historical German Plays with Emotion Annotations}}, booktitle = {3rd Conference on Language, Data and Knowledge (LDK 2021)}, pages = {9:1--9:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-199-3}, ISSN = {2190-6807}, year = {2021}, volume = {93}, editor = {Gromann, Dagmar and S\'{e}rasset, Gilles and Declerck, Thierry and McCrae, John P. and Gracia, Jorge and Bosque-Gil, Julia and Bobillo, Fernando and Heinisch, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.LDK.2021.9}, URN = {urn:nbn:de:0030-drops-145459}, doi = {10.4230/OASIcs.LDK.2021.9}, annote = {Keywords: Emotion, Annotation, Digital Humanities, Computational Literary Studies, German Drama, Sentiment Analysis, Emotion Analysis, Corpus} }
Published in: OASIcs, Volume 93, 3rd Conference on Language, Data and Knowledge (LDK 2021)
Anna Kupść, Pauline Haas, Rafael Marín, and Antonio Balvet. Enriching a Lexical Resource for French Verbs with Aspectual Information. In 3rd Conference on Language, Data and Knowledge (LDK 2021). Open Access Series in Informatics (OASIcs), Volume 93, pp. 10:1-10:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{kupsc_et_al:OASIcs.LDK.2021.10, author = {Kup\'{s}\'{c}, Anna and Haas, Pauline and Mar{\'\i}n, Rafael and Balvet, Antonio}, title = {{Enriching a Lexical Resource for French Verbs with Aspectual Information}}, booktitle = {3rd Conference on Language, Data and Knowledge (LDK 2021)}, pages = {10:1--10:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-199-3}, ISSN = {2190-6807}, year = {2021}, volume = {93}, editor = {Gromann, Dagmar and S\'{e}rasset, Gilles and Declerck, Thierry and McCrae, John P. and Gracia, Jorge and Bosque-Gil, Julia and Bobillo, Fernando and Heinisch, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.LDK.2021.10}, URN = {urn:nbn:de:0030-drops-145460}, doi = {10.4230/OASIcs.LDK.2021.10}, annote = {Keywords: computational semantics, corpora-based methods in language engineering, electronic language resources and tools, formalization of natural languages} }
Feedback for Dagstuhl Publishing