4 Search Results for "Forbus, Kenneth D."

Document
DOI: 10.4230/OASIcs.DX.2025.4
Using Qualitative Simulation Models for Monitoring and Diagnosis

Authors: Ankita Das, Roxane Koitz-Hristov, and Franz Wotawa

Published in: OASIcs, Volume 136, 36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025)

Abstract
Many systems in our daily lives control physical processes, which are parametrized and adapted, such as heating systems in buildings. Faults and non-optimized settings lead to a high energy demand and, therefore, need to be detected as early as possible. Unfortunately, due to specific adaptations, only the basic principles remain the same, but not the concrete implementations, making the use of techniques like machine learning difficult. Therefore, we suggest using abstract models that cover the basic behavior in a way that allows us to reuse the models in different installations. In particular, we discuss the application of qualitative simulation for fault detection and introduce a formal definition of conformance between the results of qualitative simulation and the monitored behavior. We discuss arising difficulties and provide a basis for further research and applications.
Cite as

Ankita Das, Roxane Koitz-Hristov, and Franz Wotawa. Using Qualitative Simulation Models for Monitoring and Diagnosis. In 36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025). Open Access Series in Informatics (OASIcs), Volume 136, pp. 4:1-4:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{das_et_al:OASIcs.DX.2025.4,
  author =	{Das, Ankita and Koitz-Hristov, Roxane and Wotawa, Franz},
  title =	{{Using Qualitative Simulation Models for Monitoring and Diagnosis}},
  booktitle =	{36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025)},
  pages =	{4:1--4:14},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-394-2},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{136},
  editor =	{Quinones-Grueiro, Marcos and Biswas, Gautam and Pill, Ingo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2025.4},
  URN =		{urn:nbn:de:0030-drops-247934},
  doi =		{10.4230/OASIcs.DX.2025.4},
  annote =	{Keywords: Qualitative Simulation, Fault Detection, Model-based Diagnosis, Monitoring, Application}
}
Document
DOI: 10.4230/LIPIcs.ICDT.2025.15
Query Repairs

Authors: Balder ten Cate, Phokion G. Kolaitis, and Carsten Lutz

Published in: LIPIcs, Volume 328, 28th International Conference on Database Theory (ICDT 2025)

Abstract
We formalize and study the problem of repairing database queries based on user feedback in the form of a collection of labeled examples. We propose a framework based on the notion of a proximity pre-order, and we investigate and compare query repairs for conjunctive queries (CQs) using different such pre-orders. The proximity pre-orders we consider are based on query containment and on distance metrics for CQs.
Cite as

Balder ten Cate, Phokion G. Kolaitis, and Carsten Lutz. Query Repairs. In 28th International Conference on Database Theory (ICDT 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 328, pp. 15:1-15:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{tencate_et_al:LIPIcs.ICDT.2025.15,
  author =	{ten Cate, Balder and Kolaitis, Phokion G. and Lutz, Carsten},
  title =	{{Query Repairs}},
  booktitle =	{28th International Conference on Database Theory (ICDT 2025)},
  pages =	{15:1--15:19},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-364-5},
  ISSN =	{1868-8969},
  year =	{2025},
  volume =	{328},
  editor =	{Roy, Sudeepa and Kara, Ahmet},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2025.15},
  URN =		{urn:nbn:de:0030-drops-229566},
  doi =		{10.4230/LIPIcs.ICDT.2025.15},
  annote =	{Keywords: Query Repairs, Databases, Conjunctive Queries, Data Examples, Fitting}
}
Document
DOI: 10.4230/DagSemProc.10131.2
How can spatial language be learned?

Authors: Kenneth D. Forbus

Published in: Dagstuhl Seminar Proceedings, Volume 10131, Spatial Representation and Reasoning in Language : Ontologies and Logics of Space (2011)

Abstract
How languages are learned is one of the deepest mysteries of cognitive science. This question can be addressed from multiple perspectives. This position paper considers two of them: (1) How do people learn spatial language? (2) Given the wide range of spatial terms in language, how might we bootstrap the linguistic capabilities of intelligent systems that need spatial language to achieve wide and accurate coverage? We discuss each question in turn.
Cite as

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)

Copy BibTex To Clipboard

@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}
}
Document
DOI: 10.4230/DagSemProc.10131.3
How should depiction be represented and reasoned about?

Authors: Kenneth D. Forbus

Published in: Dagstuhl Seminar Proceedings, Volume 10131, Spatial Representation and Reasoning in Language : Ontologies and Logics of Space (2011)

Abstract
Interpreting a scene requires understanding how its visual properties and context yield evidence about the spatial and conceptual properties of what it depicts. Depiction is intimately tied to spatial language, since describing a scene linguistically, or imagining a scene described in language, involves connecting linguistic and spatial knowledge. We focus here on scenes described via sketching.
Cite as

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)

Copy BibTex To Clipboard

@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}
}
  • Refine by Type
  • 4 Document/PDF
  • 2 Document/HTML

  • Refine by Publication Year
  • 2 2025
  • 2 2011

  • Refine by Author
  • 2 Forbus, Kenneth D.
  • 1 Das, Ankita
  • 1 Koitz-Hristov, Roxane
  • 1 Kolaitis, Phokion G.
  • 1 Lutz, Carsten
  • Show More...

  • Refine by Series/Journal
  • 1 LIPIcs
  • 1 OASIcs
  • 2 DagSemProc

  • Refine by Classification
  • 1 Computing methodologies → Causal reasoning and diagnostics
  • 1 Computing methodologies → Modeling methodologies
  • 1 Computing methodologies → Spatial and physical reasoning
  • 1 Information systems → Query languages

  • Refine by Keyword
  • 2 Sketch understanding
  • 2 analogy
  • 2 spatial language
  • 2 spatial reasoning
  • 1 Application
  • Show More...

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact