BibSonomy :: user  :: iccs ::

bookmarks

publications

(3)   

• Extending SNePSwD with Permissive Belief Revision.
  C'esar F. Pimentel and Maria R. Cravo Proceedings of the 10th International Conference on Conceptual Structures (ICCS 2002), volume2393ofLecture Notes in Computer Science, page271-284. Springer, (2002)
  to revision belief 2002 permissive iccs by iccs and 2 other people on Aug 7, 2007, 11:52 AM
  BibTeX | spam 
• Dynamic Epistemic Logic \& Knowledge Puzzles
  H.P. van Ditmarsch and W. van der Hoek and B.P. Kooi Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume4604ofLecture Notes in Artificial Intelligence, page45-58. Berlin, Heidelberg, Springer-Verlag, July2007.
  to systems dynamic revision belief 2007 epistemic del iccs multiagent invited logic talk by iccs on Aug 2, 2007, 4:27 PM
  BibTeX | spam 
• Belief flow in assertion networks
  Sujata Ghosh and Benedikt Löwe and Erik Scorelle Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume4604ofLecture Notes in Artificial Intelligence, page401-414. Berlin, Heidelberg, Springer-Verlag, July2007.
  to revision belief 2007 theory iccs flow assertion network by iccs on Aug 2, 2007, 4:19 PM
  BibTeX | spam