Search results for: Edward Hermann Haeusler
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Ecology Based Decentralized Agent Management System > 72-91
Lecture Notes in Computer Science > Advances in Artificial Intelligence - SBIA 2008 > Knowledge Representation and Reasoning > 167-176
Lecture Notes in Computer Science > Advances in Conceptual Modeling - Challenging Perspectives > Invited Talks > 34-44
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Ecology Based Decentralized Agent Management System > 92-110
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Web Science > 502-518
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Ubiquitous and Context Aware Systems > 519-533