Formalizing events and their effects using logic / F.P.M. DignumA language for modelling knowledge bases : based on linguistics, founded in logic / Franciscus Petrus Maria DignumNegations of transactions and their use in the specification of dynamic and deontic integrity constraints / F.P.M. Dignum, J.-J. Ch. MeyerSolving a time tabling problem by constraint satisfaction / by F.P.M. Dignum, W.P.M. Nuijten and L.M.A. JanssenA formal specification of deadlines using dynamic deontic logic / F. Dignum, H. Weigand and E. Verharen
author
Programmeercursus Assembly voor de Commodore 64 / Derek Bush, Peter Holmes ; [vert. uit het Engels door: Frank Dignum ... et al.]The paradoxes of deontic logic revisited: a computer science perspective, or: Should computer scientists be bothered by the concerns of philosophers? / J.-J.Ch. Meyer, F.P.M. Dignum, and R.J. WieringaThe role of deontic logic in the specification of information systems / J.-J.Ch. Meyer, R.J. Wieringa and F.P.M. DignumCommunication modeling, the language/action perspective / [ed.: Frank Dignum ... et al.]Programmeercursus Assembly voor de Commodore 64 / Derek Bush, Peter Holmes ; [vert. uit het Engels door Frank Dignum ... et al.]