In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
WeiterlesenThis book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
WeiterlesenGaševic and his co-authors try to fill this gap by covering the subject of MDA application for ontology development on the ...
WeiterlesenThis book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
WeiterlesenThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
WeiterlesenThe volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and ...
WeiterlesenIn this book, Jos de Bruijn and his coauthors lay the foundations for understanding the requirements that shape the description ...
WeiterlesenPresents the latest research findings in fuzzy RDF data modeling and management. Fuzziness widely exist in many data and ...
WeiterlesenComputing in context has become a necessity in modern and intelligent IT - plications. With the use of mobile devices and ...
WeiterlesenProcess algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties ...
WeiterlesenThis volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
WeiterlesenThis book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...
WeiterlesenOn behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference ...
WeiterlesenThis volume presents: the foundations of a unified morphosemantic theory of number; insight into the flow of information ...
WeiterlesenPart I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...
WeiterlesenThe technical research paper section of the proceedingscontains pure - search papers as well as research results in application ...
WeiterlesenThe papers are organized in topical sections on engineering multi-agent systems, multi-agent planning and learning, multi-agent ...
WeiterlesenThis book gives an overview on fundamental issues within the field of multimedia metadata focusing on contextualized, ubiquitous, ...
WeiterlesenMultimodal Processing and Interaction: Audio, Video and Text presents high quality, state-of-the-art research ideas and results ...
WeiterlesenThis book constitutes the refereed post-conference proceedings of the First International Workshop on Multiple-Aspect Analysis ...
Weiterlesen