2 Search Results for "Bochman, Alexander"

@InProceedings{bochman_et_al:LIPIcs.ICLP.2011.11,
  author =	{Bochman, Alexander and Lifschitz, Vladimir},
  title =	{{Yet Another Characterization of Strong Equivalence}},
  booktitle =	{Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)},
  pages =	{11--15},
  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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.11},
  URN =		{urn:nbn:de:0030-drops-31674},
  doi =		{10.4230/LIPIcs.ICLP.2011.11},
  annote =	{Keywords: Strong equivalence, logic program}
}

@InProceedings{bochman:DagSemProc.07351.11,
  author =	{Bochman, Alexander},
  title =	{{Enhanced Contraction and (In)dependence Preliminary report}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07351.11},
  URN =		{urn:nbn:de:0030-drops-12049},
  doi =		{10.4230/DagSemProc.07351.11},
  annote =	{Keywords: Contractions, dependence}
}

• Refine by Author
• 2 Bochman, Alexander
• 1 Lifschitz, Vladimir

• Refine by Classification

• Refine by Keyword
• 1 Contractions
• 1 Strong equivalence
• 1 dependence
• 1 logic program

• Refine by Type
• 2 document

• Refine by Publication Year
• 1 2007
• 1 2011