EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Dahl, V.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2007

Czenko, M.R. and Etalle, S. (2007) Core TuLiP - Logic Programming for Trust Management. In: Proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, 8-13 Sep 2007, Porto, Portugal. pp. 380-394. Lecture Notes in Computer Science 4670. Springer Verlag. ISBN 978-3-540-74608-9

2000

Bossi, A. and Etalle, S. and Rossi, S. (2000) Semantics of Input-Consuming Logic Programs. In: Computational Logic (CL), London, UK. pp. 194-208. Springer-Verlag.
Broersen, J.M. and Wieringa, R.J. and Meyer, J.J.C. (2000) A semantics for persistency in propositional dynamic logic. In: First International Conference on Computational Logic (CL2000), 24-28 July 2000, London, UK. pp. 912-925. Lecture Notes in Artificial Intelligence 1861. Springer. ISSN 0302-9743 ISBN 978-3-540-67797-0

This list was generated on Sun May 28 23:41:00 CEST 2017.