Frank Werner

Gerd Wagner

Floriano De Rango

Tuncer Oren

The present book includes a set of selected papers from the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2021) that was held as an online event, from July 7 to 9, 2021. The conference brought together researchers and practitioners interested in methodologies and applications of modeling and simulation. New and innovative solutions are reported in this book. A selection was made after the conference, based also on the conference chairs assessment, reviewers’ assessment, quality of presentation and audience interest, so that this book includes the extended and revised versions of the very best papers of the conference.

International Online Conference (SIMULTECH 2021)

Simulation and Modeling Methodologies, Technologies and Applications

Mircea Diaconescu

Today, web applications are the most important type of software applications. This textbook shows how to design and implement them, using a model-based engineering approach that covers general information management concepts and techniques and the two most relevant technology platforms: JavaScript and Java. The book provides an in-depth tutorial for theory-underpinned and example-based learning by doing it yourself, supported by quiz questions and practice projects. Volume 1 provides an introduction to web technologies and model-based web application engineering, discussing the information management concepts of constraint-based data validation, enumerations and special datatypes. Volume 2 discusses the advanced information management concepts of associations and inheritance in class hierarchies. Web apps are designed using UML class diagrams and implemented with two technologies: JavaScript for front-end (and distributed NodeJS) apps, and Java (with JPA and JSF) for back-end apps. The six example apps discussed in the book can be run, and their source code downloaded, from the book’s website.

Volume 2: Associations and Class Hierarchies

Web Applications with Javascript or Java

"Knowledge representation research is not only formal, it is also descriptiveand normative. Its aim is to implement a formal system which captures a practically relevant body of cognitive faculties employed by humans and capitalizes on its technical strength to extend human knowledge representation and reasoning capabilities. In this monograph, the author develops formalisms for his own notion of a vivid knowledge representation and reasoning system, characterized by the presence of two kinds of negation (weak and strong) and the requirements of restricted reflexivity, constructivity, and non-explosiveness. The book is based on work carried out within an interdisciplinary research project at the Free University of Berlin."--PUBLISHER'S WEBSITE.

Knowledge-based Reasoning with Two Kinds of Negation

Vivid Logic

Michael Schroeder

RuleML 2003 was the second international workshop on rules and rule markup languages for the Semantic Web, held in conjunction with the International Semantic Web Conference (ISWC). The aim of the RuleML workshop series is to stimulate research on all issues related to web rule languages and to provide an annual forum for presenting and discussing new research results. The Semantic Web is a major world-wide endeavor to advance the Web by enriching its multimedia document content with propositional information that can be processed by inference-enabled Web applications. Rules and rule markup languages, such as RuleML, will play an important role in the success of the Semantic Web. Rules will act as a means to draw inferences, to express constraints,tospecifypoliciesforreactingtoevents,totransformdata,etc.Rule markup languages will allow us to enrich Web ontologies by adding de?nitions of derived concepts, to publish rules on the Web, to exchange rules between di?erent systems and tools, etc. RuleML 2003 built on the success of RuleML 2002, which was held in c- junction with ISWC 2002, Sardinia, Italy. The proceedings of RuleML 2002 can be found at http://www.ceur-ws.org/Vol-60/. Special highlights of the RuleML 2003 workshop were the two invited pres- tationsgivenbyPeterChenon“Rules,XML,andtheERModel”andbyHarold Boley on “Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms”. This proceedings volume also contains an invited - per by Francois ̧ Bry and Sebastian Scha?ert on “An Entailment Relation for Reasoning on the Web”.

Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings

Rules and Rule Markup Languages for the Semantic Web

David Pearce

This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation.

European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings

Logics in AI

Today, web applications are the most important type of software applications. This textbook shows how to design and implement them, using a model-based engineering approach that covers general information management concepts and techniques and the two most relevant technology platforms: JavaScript and Java. The book provides an in-depth tutorial for theory-underpinned and example-based learning by doing it yourself, supported by quiz questions and practice projects. Volume 1 provides an introduction to web technologies and model-based web application engineering, discussing the information management concepts of constraint-based data validation, enumerations and special datatypes. Volume 2 discusses the advanced information management concepts of associations and inheritance in class hierarchies. Web apps are designed using UML class diagrams and implemented with two technologies: JavaScript for front-end (and distributed NodeJS) apps, and Java (with JPA and JSF) for back-end apps. The six example apps discussed in the book can be run, and their source code downloaded, from the book’s website. Gerd Wagner is Professor of Internet Technology at Brandenburg University of Technology, Germany, and Adjunct Associate Professor at Old Dominion University, Norfolk, VA, USA. He works in the areas of web engineering and modeling and simulation. Mircea Diaconescu is a Software Architect and Technical Team Leader at Entri GmbH, Berlin. He enjoys to work with the newest web technologies and to build Web of Things projects. Java, JavaScript/NodeJS and C# are his favorite programming languages.

Gerd Wagner

Books

Your next favorite book is out there