Satisfiability in composition-nominative logics

Artikel in diesem Heft

1. Selected Papers from the International Scientific Conference INFORMATICS’2011
2. Cognitive traveling in digital space: from keyword search through exploratory information seeking
3. Mining moving object data
4. Satisfiability in composition-nominative logics
5. Intrusion detection system episteme
6. General composition for high level Petri nets and its properties
7. Algorithm of traffic signs recognition based on the rapid transform
8. Modeling generalization and specialization with Extended Conceptual Graphs
9. On building an object-oriented parallel virtual reality system
10. Digital preservation of historical buildings using virtual reality technologies
11. Supporting multiple configuration sources using abstraction
12. Analyzing stereotypes of creating graphical user interfaces
13. Command and control information systems semantic interoperability using a canonical messaging approach
14. Overview and insight into the MONICA research group
15. New approach to remote laboratory in regard to topology change and self-repair feature
16. Process models using hardware in simulation loop