2 Search Results for "Tutu, Ionut"


Document
Revisiting the Institutional Approach to Herbrand’s Theorem

Authors: Ionut Tutu and José Luiz Fiadeiro

Published in: LIPIcs, Volume 35, 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)


Abstract
More than a decade has passed since Herbrand’s theorem was first generalized to arbitrary institutions, enabling in this way the development of the logic-programming paradigm over formalisms beyond the conventional framework of relational first-order logic. Despite the mild assumptions of the original theory, recent developments have shown that the institution-based approach cannot capture constructions that arise when service-oriented computing is presented as a form of logic programming, thus prompting the need for a new perspective on Herbrand’s theorem founded instead upon a concept of generalized substitution system. In this paper, we formalize the connection between the institution- and the substitution-system-based approach to logic programming by investigating a number of features of institutions, like the existence of a quantification space or of representable substitutions, under which they give rise to suitable generalized substitution systems. Building on these results, we further show how the original institution independent versions of Herbrand’s theorem can be obtained as concrete instances of a more general result.

Cite as

Ionut Tutu and José Luiz Fiadeiro. Revisiting the Institutional Approach to Herbrand’s Theorem. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 304-319, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)


Copy BibTex To Clipboard

@InProceedings{tutu_et_al:LIPIcs.CALCO.2015.304,
  author =	{Tutu, Ionut and Fiadeiro, Jos\'{e} Luiz},
  title =	{{Revisiting the Institutional Approach to Herbrand’s Theorem}},
  booktitle =	{6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
  pages =	{304--319},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-84-2},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{35},
  editor =	{Moss, Lawrence S. and Sobocinski, Pawel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.304},
  URN =		{urn:nbn:de:0030-drops-55419},
  doi =		{10.4230/LIPIcs.CALCO.2015.304},
  annote =	{Keywords: Institution theory, Substitution systems, Herbrand’s theorem}
}
Document
Logical Foundations of Services

Authors: Ionut Tutu

Published in: OASIcs, Volume 35, 2013 Imperial College Computing Student Workshop


Abstract
In this paper we consider a logical system of networks of processes that interact in an asynchronous manner by exchanging messages through communication channels. This provides a foundational algebraic framework for service-oriented computing that constitutes a primary factor in defining logical specifications of services, the way models of these specifications capture service orchestrations, and how properties of interaction-points, i.e. points through which such networks connect to one another, can be expressed. We formalise the resulting logic as a parameterised institution, which promotes the development of both declarative and operational semantics of services in a heterogeneous setting by means of logic-programming concepts.

Cite as

Ionut Tutu. Logical Foundations of Services. In 2013 Imperial College Computing Student Workshop. Open Access Series in Informatics (OASIcs), Volume 35, pp. 111-118, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@InProceedings{tutu:OASIcs.ICCSW.2013.111,
  author =	{Tutu, Ionut},
  title =	{{Logical Foundations of Services}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{111--118},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.111},
  URN =		{urn:nbn:de:0030-drops-42793},
  doi =		{10.4230/OASIcs.ICCSW.2013.111},
  annote =	{Keywords: Formal methods, Service-oriented computing, Institution theory}
}
  • Refine by Author
  • 2 Tutu, Ionut
  • 1 Fiadeiro, José Luiz

  • Refine by Classification

  • Refine by Keyword
  • 2 Institution theory
  • 1 Formal methods
  • 1 Herbrand’s theorem
  • 1 Service-oriented computing
  • 1 Substitution systems

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2013
  • 1 2015

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