2 Search Results for "Arias-Hern�ndez, Richard"

Document
DOI: 10.4230/LIPIcs.CSL.2020.25
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

Authors: Matthias Hoelzel and Richard Wilke

Published in: LIPIcs, Volume 152, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

Abstract
We present syntactic characterisations for the union closed fragments of existential second-order logic and of logics with team semantics. Since union closure is a semantical and undecidable property, the normal form we introduce enables the handling and provides a better understanding of this fragment. We also introduce inclusion-exclusion games that turn out to be precisely the corresponding model-checking games. These games are not only interesting in their own right, but they also are a key factor towards building a bridge between the semantic and syntactic fragments. On the level of logics with team semantics we additionally present restrictions of inclusion-exclusion logic to capture the union closed fragment. Moreover, we define a team based atom that when adding it to first-order logic also precisely captures the union closed fragment of existential second-order logic which answers an open question by Galliani and Hella.
Cite as

Matthias Hoelzel and Richard Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 152, pp. 25:1-25:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)

Copy BibTex To Clipboard

@InProceedings{hoelzel_et_al:LIPIcs.CSL.2020.25,
  author =	{Hoelzel, Matthias and Wilke, Richard},
  title =	{{On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics}},
  booktitle =	{28th EACSL Annual Conference on Computer Science Logic (CSL 2020)},
  pages =	{25:1--25:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-132-0},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{152},
  editor =	{Fern\'{a}ndez, Maribel 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.CSL.2020.25},
  URN =		{urn:nbn:de:0030-drops-116681},
  doi =		{10.4230/LIPIcs.CSL.2020.25},
  annote =	{Keywords: Higher order logic, Existential second-order logic, Team semantics, Closure properties, Union closure, Model-checking games, Syntactic charactisations of semantical fragments}
}
Document
DOI: 10.4230/DagSemProc.10471.3
Pair Analytics: Capturing Reasoning Processes in Collaborative Visual Analytics

Authors: Richard Arias-Hernández, L. Kaastra, Tera Marie Green, and Brian D. Fisher

Published in: Dagstuhl Seminar Proceedings, Volume 10471, Scalable Visual Analytics (2011)

Abstract
Studying how humans interact with abstract, visual representations of massive amounts of data provides knowledge about how cognition works in visual analytics. This knowledge provides guidelines for cognitive-aware design and evaluation of visual analytic tools. Different methods have been used to capture and conceptualize these processes including protocol analysis, experiments, cognitive task analysis, and field studies. In this article, we introduce Pair Analytics: a method for capturing reasoning processes in visual analytics. We claim that Pair Analytics offers two advantages with respect to other methods: (1) a more natural way of making explicit and capturing reasoning processes and (2) an approach to capture social and cognitive processes used to conduct collaborative analysis in real-life settings. We support and illustrate these claims with a pilot study of three phenomena in collaborative visual analytics: coordination of attention, cognitive workload, and navigation of analysis.
Cite as

Richard Arias-Hernández, L. Kaastra, Tera Marie Green, and Brian D. Fisher. Pair Analytics: Capturing Reasoning Processes in Collaborative Visual Analytics. In Scalable Visual Analytics. Dagstuhl Seminar Proceedings, Volume 10471, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@InProceedings{ariashernandez_et_al:DagSemProc.10471.3,
  author =	{Arias-Hern\'{a}ndez, Richard and Kaastra, L. and Green, Tera Marie and Fisher, Brian D.},
  title =	{{Pair Analytics: Capturing Reasoning Processes in Collaborative Visual Analytics}},
  booktitle =	{Scalable Visual Analytics},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10471},
  editor =	{Daniel A. Keim and Stefan Wrobel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10471.3},
  URN =		{urn:nbn:de:0030-drops-29382},
  doi =		{10.4230/DagSemProc.10471.3},
  annote =	{Keywords: Pair analytics, qualitative methods}
}
  • Refine by Author
  • 1 Arias-Hernández, Richard
  • 1 Fisher, Brian D.
  • 1 Green, Tera Marie
  • 1 Hoelzel, Matthias
  • 1 Kaastra, L.
  • Show More...

  • Refine by Classification
  • 1 Theory of computation → Higher order logic

  • Refine by Keyword
  • 1 Closure properties
  • 1 Existential second-order logic
  • 1 Higher order logic
  • 1 Model-checking games
  • 1 Pair analytics
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2011
  • 1 2020

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

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