Search Results

Abstract

Cite as

Marco Bottalico. Consistency Techniques for Hybrid Simulations. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 255-260, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

@InProceedings{bottalico:LIPIcs.ICLP.2011.255,
  author =	{Bottalico, Marco},
  title =	{{Consistency Techniques for Hybrid Simulations}},
  booktitle =	{Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)},
  pages =	{255--260},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-31-6},
  ISSN =	{1868-8969},
  year =	{2011},
  volume =	{11},
  editor =	{Gallagher, John P. and Gelfond, Michael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.255},
  URN =		{urn:nbn:de:0030-drops-31837},
  doi =		{10.4230/LIPIcs.ICLP.2011.255},
  annote =	{Keywords: Consistency techniques, deterministic approach, stochastic approach}
}