4 Search Results for "Santos Costa, Vítor"


Volume

LIPIcs, Volume 17

Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)

ICLP 2012, September 4-8, 2012, Budapest, Hungary

Editors: Agostino Dovier and Vítor Santos Costa

Document
Complete Volume
LIPIcs, Volume 17, ICLP'12, Complete Volume

Authors: Agostino Dovier and Vítor Santos Costa

Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)


Abstract
LIPIcs, Volume 17, ICLP'12, Complete Volume

Cite as

Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Proceedings{dovier_et_al:LIPIcs.ICLP.2012,
  title =	{{LIPIcs, Volume 17, ICLP'12, Complete Volume}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2013},
  volume =	{17},
  editor =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012},
  URN =		{urn:nbn:de:0030-drops-41110},
  doi =		{10.4230/LIPIcs.ICLP.2012},
  annote =	{Keywords: Logic Programming, Software Engineering, Mathematical Logic, Knowledge Representation Formalisms and Methods, Problem Solving, Control Methods}
}
Document
Front Matter
Frontmatter, Table of Contents, List of Authors

Authors: Agostino Dovier and Vítor Santos Costa

Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)


Abstract
Frontmatter, Table of Contents, List of Authors

Cite as

Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. i-xvi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@InProceedings{dovier_et_al:LIPIcs.ICLP.2012.i,
  author =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  title =	{{Frontmatter, Table of Contents, List of Authors}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{i--xvi},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.i},
  URN =		{urn:nbn:de:0030-drops-36033},
  doi =		{10.4230/LIPIcs.ICLP.2012.i},
  annote =	{Keywords: Frontmatter, Table of Contents, List of Authors}
}
Document
Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue

Authors: Agostino Dovier and Vítor Santos Costa

Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)


Abstract
We are proud to introduce this special issue of LIPIcs — Leibniz International Proceedings in Informatics, dedicated to the technical communications accepted for the 28th International Conference on Logic Programming (ICLP).

Cite as

Agostino Dovier and Vítor Santos Costa. Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 17-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@InProceedings{dovier_et_al:LIPIcs.ICLP.2012.xvii,
  author =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  title =	{{Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{17--21},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.xvii},
  URN =		{urn:nbn:de:0030-drops-36053},
  doi =		{10.4230/LIPIcs.ICLP.2012.xvii},
  annote =	{Keywords: Logic Programming, Organization Details}
}
  • Refine by Author
  • 3 Dovier, Agostino
  • 3 Santos Costa, Vítor

  • Refine by Classification

  • Refine by Keyword
  • 1 Frontmatter
  • 1 List of Authors
  • 1 Logic Programming
  • 1 Logic Programming, Software Engineering, Mathematical Logic, Knowledge Representation Formalisms and Methods, Problem Solving, Control Methods
  • 1 Organization Details
  • Show More...

  • Refine by Type
  • 3 document
  • 1 volume

  • Refine by Publication Year
  • 3 2012
  • 1 2013

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