Published in: LIPIcs, Volume 345, 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)
Clotilde Bizière, Thibault Hilaire, Jérôme Leroux, and Grégoire Sutre. On the Reachability Problem for Two-Dimensional Branching VASS. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 22:1-22:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{biziere_et_al:LIPIcs.MFCS.2025.22,
author = {Bizi\`{e}re, Clotilde and Hilaire, Thibault and Leroux, J\'{e}r\^{o}me and Sutre, Gr\'{e}goire},
title = {{On the Reachability Problem for Two-Dimensional Branching VASS}},
booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)},
pages = {22:1--22:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-388-1},
ISSN = {1868-8969},
year = {2025},
volume = {345},
editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.22},
URN = {urn:nbn:de:0030-drops-241294},
doi = {10.4230/LIPIcs.MFCS.2025.22},
annote = {Keywords: Vector addition systems, Reachability problem, Semilinear sets, Verification}
}
Published in: OASIcs, Volume 135, 14th Symposium on Languages, Applications and Technologies (SLATE 2025)
Jorge Baptista, Izabela Müller, and Sónia Reis. Semantic Representation of Adverbs in the Lexicalized Meaning Representation (LMR) Framework. In 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Open Access Series in Informatics (OASIcs), Volume 135, pp. 9:1-9:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{baptista_et_al:OASIcs.SLATE.2025.9,
author = {Baptista, Jorge and M\"{u}ller, Izabela and Reis, S\'{o}nia},
title = {{Semantic Representation of Adverbs in the Lexicalized Meaning Representation (LMR) Framework}},
booktitle = {14th Symposium on Languages, Applications and Technologies (SLATE 2025)},
pages = {9:1--9:18},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-387-4},
ISSN = {2190-6807},
year = {2025},
volume = {135},
editor = {Baptista, Jorge and Barateiro, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.9},
URN = {urn:nbn:de:0030-drops-236891},
doi = {10.4230/OASIcs.SLATE.2025.9},
annote = {Keywords: Semantic representation, Adverbs, Lexicalized Meaning Representation (LMR), Abstract Meaning Representation (AMR), Annotation guidelines, European Portuguese, Brazilian Portuguese, Comparative analysis, The Little Prince, Corpus linguistics, Natural Language Processing (NLP), Multi-word expressions, Syntactic-semantic interface, Linguistic theory}
}
Published in: Dagstuhl Reports, Volume 3, Issue 11 (2014)
Hans Kamp, Alessandro Lenci, and James Pustejovsky. Computational Models of Language Meaning in Context (Dagstuhl Seminar 13462). In Dagstuhl Reports, Volume 3, Issue 11, pp. 79-116, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@Article{kamp_et_al:DagRep.3.11.79,
author = {Kamp, Hans and Lenci, Alessandro and Pustejovsky, James},
title = {{Computational Models of Language Meaning in Context (Dagstuhl Seminar 13462)}},
pages = {79--116},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {11},
editor = {Kamp, Hans and Lenci, Alessandro and Pustejovsky, James},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.11.79},
URN = {urn:nbn:de:0030-drops-44380},
doi = {10.4230/DagRep.3.11.79},
annote = {Keywords: formal semantics, distributional semantics, polysemy, inference, compositionality, Natural Language Processing, meaning in context}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10131, Spatial Representation and Reasoning in Language : Ontologies and Logics of Space (2011)
John Bateman, Anthony G. Cohn, and James Pustejovsky. 10131 Executive Summary and Abstracts Collection – Spatial Representation and Reasoning in Language: Ontologies and Logics of Space. In Spatial Representation and Reasoning in Language : Ontologies and Logics of Space. Dagstuhl Seminar Proceedings, Volume 10131, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{bateman_et_al:DagSemProc.10131.1,
author = {Bateman, John and Cohn, Anthony G. and Pustejovsky, James},
title = {{10131 Executive Summary and Abstracts Collection – Spatial Representation and Reasoning in Language: Ontologies and Logics of Space}},
booktitle = {Spatial Representation and Reasoning in Language : Ontologies and Logics of Space},
pages = {1--14},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2011},
volume = {10131},
editor = {John A. Bateman and Anthony G. Cohn and James Pustejovsky},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10131.1},
URN = {urn:nbn:de:0030-drops-29216},
doi = {10.4230/DagSemProc.10131.1},
annote = {Keywords: Language of space, spatial ontologies, reasoning about space and time, mapping language to GIS}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10131, Spatial Representation and Reasoning in Language : Ontologies and Logics of Space (2011)
Kenneth D. Forbus. How can spatial language be learned?. In Spatial Representation and Reasoning in Language : Ontologies and Logics of Space. Dagstuhl Seminar Proceedings, Volume 10131, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{forbus:DagSemProc.10131.2,
author = {Forbus, Kenneth D.},
title = {{How can spatial language be learned?}},
booktitle = {Spatial Representation and Reasoning in Language : Ontologies and Logics of Space},
pages = {1--3},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2011},
volume = {10131},
editor = {John A. Bateman and Anthony G. Cohn and James Pustejovsky},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10131.2},
URN = {urn:nbn:de:0030-drops-27336},
doi = {10.4230/DagSemProc.10131.2},
annote = {Keywords: Sketch understanding, analogy, spatial language, spatial reasoning}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10131, Spatial Representation and Reasoning in Language : Ontologies and Logics of Space (2011)
Kenneth D. Forbus. How should depiction be represented and reasoned about?. In Spatial Representation and Reasoning in Language : Ontologies and Logics of Space. Dagstuhl Seminar Proceedings, Volume 10131, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{forbus:DagSemProc.10131.3,
author = {Forbus, Kenneth D.},
title = {{How should depiction be represented and reasoned about?}},
booktitle = {Spatial Representation and Reasoning in Language : Ontologies and Logics of Space},
pages = {1--3},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2011},
volume = {10131},
editor = {John A. Bateman and Anthony G. Cohn and James Pustejovsky},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10131.3},
URN = {urn:nbn:de:0030-drops-27318},
doi = {10.4230/DagSemProc.10131.3},
annote = {Keywords: Sketch understanding, analogy, spatial language, spatial reasoning}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10131, Spatial Representation and Reasoning in Language : Ontologies and Logics of Space (2011)
Yunhui Wu and Stephan Winter. Interpreting Place Descriptions for Navigation Services. In Spatial Representation and Reasoning in Language : Ontologies and Logics of Space. Dagstuhl Seminar Proceedings, Volume 10131, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{wu_et_al:DagSemProc.10131.4,
author = {Wu, Yunhui and Winter, Stephan},
title = {{Interpreting Place Descriptions for Navigation Services}},
booktitle = {Spatial Representation and Reasoning in Language : Ontologies and Logics of Space},
pages = {1--3},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2011},
volume = {10131},
editor = {John A. Bateman and Anthony G. Cohn and James Pustejovsky},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10131.4},
URN = {urn:nbn:de:0030-drops-27302},
doi = {10.4230/DagSemProc.10131.4},
annote = {Keywords: Place descriptions, natural language, navigation}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10131, Spatial Representation and Reasoning in Language : Ontologies and Logics of Space (2011)
Inderjeet Mani. The Creeping Virtuality of Place. In Spatial Representation and Reasoning in Language : Ontologies and Logics of Space. Dagstuhl Seminar Proceedings, Volume 10131, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{mani:DagSemProc.10131.5,
author = {Mani, Inderjeet},
title = {{The Creeping Virtuality of Place}},
booktitle = {Spatial Representation and Reasoning in Language : Ontologies and Logics of Space},
pages = {1--5},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2011},
volume = {10131},
editor = {John A. Bateman and Anthony G. Cohn and James Pustejovsky},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10131.5},
URN = {urn:nbn:de:0030-drops-27326},
doi = {10.4230/DagSemProc.10131.5},
annote = {Keywords: Place subjectivity dynamicity}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10131, Spatial Representation and Reasoning in Language : Ontologies and Logics of Space (2011)
Joana Hois and Oliver Kutz. Towards Linguistically-Grounded Spatial Logics. In Spatial Representation and Reasoning in Language : Ontologies and Logics of Space. Dagstuhl Seminar Proceedings, Volume 10131, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{hois_et_al:DagSemProc.10131.6,
author = {Hois, Joana and Kutz, Oliver},
title = {{Towards Linguistically-Grounded Spatial Logics}},
booktitle = {Spatial Representation and Reasoning in Language : Ontologies and Logics of Space},
pages = {1--3},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2011},
volume = {10131},
editor = {John A. Bateman and Anthony G. Cohn and James Pustejovsky},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10131.6},
URN = {urn:nbn:de:0030-drops-27296},
doi = {10.4230/DagSemProc.10131.6},
annote = {Keywords: Spatial Logics, Spatial Language}
}
Published in: Dagstuhl Seminar Proceedings, Volume 5151, Annotating, Extracting and Reasoning about Time and Events (2005)
James Pustejovsky, Jessica Littman, and Roser Sauri. Argument Structure in TimeML. In Annotating, Extracting and Reasoning about Time and Events. Dagstuhl Seminar Proceedings, Volume 5151, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{pustejovsky_et_al:DagSemProc.05151.4,
author = {Pustejovsky, James and Littman, Jessica and Sauri, Roser},
title = {{Argument Structure in TimeML}},
booktitle = {Annotating, Extracting and Reasoning about Time and Events},
pages = {1--14},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5151},
editor = {Graham Katz and James Pustejovsky and Frank Schilder},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05151.4},
URN = {urn:nbn:de:0030-drops-4498},
doi = {10.4230/DagSemProc.05151.4},
annote = {Keywords: Temporal annotation, event expressions, argument structure}
}
Published in: Dagstuhl Seminar Proceedings, Volume 5151, Annotating, Extracting and Reasoning about Time and Events (2005)
Graham Katz, James Pustejovsky, and Frank Schilder. 05151 Abstracts Collection – Annotating, Extracting and Reasoning about Time and Events. In Annotating, Extracting and Reasoning about Time and Events. Dagstuhl Seminar Proceedings, Volume 5151, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{katz_et_al:DagSemProc.05151.1,
author = {Katz, Graham and Pustejovsky, James and Schilder, Frank},
title = {{05151 Abstracts Collection – Annotating, Extracting and Reasoning about Time and Events}},
booktitle = {Annotating, Extracting and Reasoning about Time and Events},
pages = {1--9},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {5151},
editor = {Graham Katz and James Pustejovsky and Frank Schilder},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05151.1},
URN = {urn:nbn:de:0030-drops-3531},
doi = {10.4230/DagSemProc.05151.1},
annote = {Keywords: Text annotation, information extraction and retrieval, summarization, question answering, temporal reasoning}
}
Published in: Dagstuhl Seminar Proceedings, Volume 5151, Annotating, Extracting and Reasoning about Time and Events (2005)
Graham Katz, James Pustejovsky, and Frank Schilder. 05151 Summary – Annotating, Extracting and Reasoning about Time and Events. In Annotating, Extracting and Reasoning about Time and Events. Dagstuhl Seminar Proceedings, Volume 5151, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{katz_et_al:DagSemProc.05151.2,
author = {Katz, Graham and Pustejovsky, James and Schilder, Frank},
title = {{05151 Summary – Annotating, Extracting and Reasoning about Time and Events}},
booktitle = {Annotating, Extracting and Reasoning about Time and Events},
pages = {1--9},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {5151},
editor = {Graham Katz and James Pustejovsky and Frank Schilder},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05151.2},
URN = {urn:nbn:de:0030-drops-3541},
doi = {10.4230/DagSemProc.05151.2},
annote = {Keywords: Temporal information extraction, annotation, temporal reasoning, events}
}
Published in: Dagstuhl Seminar Proceedings, Volume 5151, Annotating, Extracting and Reasoning about Time and Events (2005)
Benjamin Han, Donna Gates, and Lori Levin. Anchoring Temporal Expressions in Scheduling-related Emails. In Annotating, Extracting and Reasoning about Time and Events. Dagstuhl Seminar Proceedings, Volume 5151, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{han_et_al:DagSemProc.05151.3,
author = {Han, Benjamin and Gates, Donna and Levin, Lori},
title = {{Anchoring Temporal Expressions in Scheduling-related Emails}},
booktitle = {Annotating, Extracting and Reasoning about Time and Events},
pages = {1--11},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {5151},
editor = {Graham Katz and James Pustejovsky and Frank Schilder},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05151.3},
URN = {urn:nbn:de:0030-drops-3163},
doi = {10.4230/DagSemProc.05151.3},
annote = {Keywords: Temporal information processing, computational semantics, knowledge representation, constraint solving}
}
Published in: Dagstuhl Seminar Proceedings, Volume 5151, Annotating, Extracting and Reasoning about Time and Events (2005)
Inderjeet Mani. Chronoscopes: A theory of underspecified temporal representations. In Annotating, Extracting and Reasoning about Time and Events. Dagstuhl Seminar Proceedings, Volume 5151, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{mani:DagSemProc.05151.5,
author = {Mani, Inderjeet},
title = {{Chronoscopes: A theory of underspecified temporal representations}},
booktitle = {Annotating, Extracting and Reasoning about Time and Events},
pages = {1--11},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {5151},
editor = {Graham Katz and James Pustejovsky and Frank Schilder},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05151.5},
URN = {urn:nbn:de:0030-drops-3365},
doi = {10.4230/DagSemProc.05151.5},
annote = {Keywords: Temporal abstraction, granularity, event structure}
}
Published in: Dagstuhl Seminar Proceedings, Volume 5151, Annotating, Extracting and Reasoning about Time and Events (2005)
Hans-Jürgen Ohlbach. Computational Treatment of Temporal Notions – The CTTN-System. In Annotating, Extracting and Reasoning about Time and Events. Dagstuhl Seminar Proceedings, Volume 5151, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{ohlbach:DagSemProc.05151.6,
author = {Ohlbach, Hans-J\"{u}rgen},
title = {{Computational Treatment of Temporal Notions – The CTTN-System}},
booktitle = {Annotating, Extracting and Reasoning about Time and Events},
pages = {1--8},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {5151},
editor = {Graham Katz and James Pustejovsky and Frank Schilder},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05151.6},
URN = {urn:nbn:de:0030-drops-3115},
doi = {10.4230/DagSemProc.05151.6},
annote = {Keywords: Formalizing temporal notions}
}