LILaC - paper abstract

Obligation change in dependence logic and situation calculus

Abstract:

PDF

PostScript

PostScript, gzipped

Bibtex-entry:

@InProceedingsDemolombeHerzig-Deon04,
  AUTHOR =       "Demolombe, Robert and Herzig, Andreas",
  TITLE =        "Obligation change in dependence logic and situation calculus",
  BOOKTITLE =    "Proc. 7th Int. Workshop on Deontic Logic in Computer Science (DEON 2004)",
  YEAR =         "2004",
  publisher =     {Springer Verlag],
  series =  	{LNAI},
  number =  	{3065},
  pages =    	"57--73",
}