Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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), July 2000, London, UK.
pp. 912-925.
Lecture Notes in Artificial Intelligence 1861.
Springer.
ISSN 0302-9743
This list was generated on Thu May 24 05:57:36 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||