Page 12
Page 12
Philosophical Problems Today
Philosophy of logic and language, and of meaning and communication are central to this volume. The discussion of these issues involves analytical approaches, including semantics and semiotics, philosophy of science, mathematical logic, phenomenology, hermeneutics and some aspects of philosophical anthropology and aesthetics. Philosophy of the Absolute also belongs to this broad repertoire of philosophical problems and disciplines. A number of problems and viewpoints derive from the metaphysical system; any relativistic view on ethical values, for instance, makes sense in relation to some absolute. Metaphysical system building may have come to an end, but after all it belongs to philosophy to remind us of our past.
Perspectives on Aspect
Aims to offer a retrospective view on the past thirty years of research on aspectuality and temporality as well as to develop new perspectives on the future development of the field. Articles contain overviews of the development of the field and/or present the state of the art of current research, suggesting new and upcoming lines of research. An important theme throughout the book is typological variation, and the relevance of empirical data for theory formation.
Perspectives of Systems Informatics ; 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers
This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), held in Akademgorodok (Novosibirsk, Russia), June 27-30, 2006. The conference was held to honour the 75th anniversary of a member of the Russian Academy of Sciences Andrei Ershov (1931–1988) and his outsta- ing contributions towards advancing informatics.
Pedagogically Founded Courseware Generation for Web-Based Learning : An HTN-Planning-Based Approach Implemented in PAIGOS
This book focuses on course generation based on Hierarchical Task Network planning (HTN planning). This course generation framework enables the formalization and application of complex and realistic pedagogical knowledge. The volume describes basic techniques for course generation, which are used to formalize seven different types of courses (for instance, introducing the learner to previously unknown concepts and supporting the learner during rehearsal) and several elementary learning goals (e.g., selecting an appropriate example or exercise). This framework has been implemented and evaluated with good results in several domains, with users from different countries and universities, in the context of an EU project.
Paul Lorenzen -- Mathematician and Logician
Examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics.
Particle Verbs in English : A Cognitive Linguistic Perspective
This book explains why cognitive linguistics offers a plausible theoretical framework for a systematic and unified analysis of the syntax and semantics of particle verbs. It explores the meaning of the verb + particle syntax, the particle placement of transitive particle verbs, how particle placement is related to idiomaticity, and the relationship between idiomaticity and semantic extension. It also offers valuable linguistic implications for future studies on complex linguistic constructions using a cognitive linguistic approach, as well as insightful practical implications for the learning and teaching of English particle verbs.
Paperhive = خلية الأبحاث
In the vast expanse of academic exploration, PaperHive emerges as a sophisticated guiding tool tailored to support academic researchers in their scholarly pursuits. Its purpose is to empower researchers through the intricate lookout for relevant literature and assist them in various writing activities. PaperHive, combines the power of Semantic Scholar and cutting-edge AI technologies to seamlessly navigate the realm of literature exploration and provide the most efficient research experience. To ensure maximum accessibility, PaperHive provides both a mobile application and a website, allowing users to seamlessly browse and conduct research on the go. The platform’s recommendation system offers personalized recommendations based on user interests and paper selection, guiding researchers to the most valuable and relevant sources of information.Moreover, the integrated paraphrasing system produces diverse and accurate paraphrases of short paragraphs with a ROUGE-1 score of 49.46 and a BLEU-1 score of 48.64, enabling efficient and effective communication of research findings. PaperHive also offers a visual representation of the research landscape, aiding users in navigating and gaining a comprehensive understanding of related work.
Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Dedicated to a novel approach for uniform modeling of timed and hybrid systems. The author introduces a time model that allows for both the description of discrete time steps and continuous processes with a discrete time model with infinitesimal step widths.The underlying mathematical structure of this time model is based on the concepts of non-standard analysis. The discrete modeling, i.e., the description of sequential discrete algorithms at different abstraction levels, is done using the abstract state machines formalism. The presentation is well balanced between theoretical elaboration and critical discussion of the applicability of the theoretical results by means of appropriate case studies. The new temporal semantics proposed helps theoreticians as well as practitioners in gaining a better understanding of time models and in building better ...
Open Semantic Technologies for Intelligent System ; 10th International Conference, OSTIS 2020, Minsk, Belarus, February 19–22, 2020, Revised Selected Papers
Constitutes the refereed proceedings of the 10th International Conference on Open Semantic Technologies for Intelligent System, OSTIS 2020, held in Minsk, Belarus, in February 2020. The 14 revised full papers and 2 short papers were carefully reviewed and selected from 62 submissions. The papers mainly focus on standardization of intelligent systems and cover wide research fields including knowledge representation and reasoning, semantic networks, natural language processing, temporal reasoning, probabilistic reasoning, multi-agent systems, intelligent agents.
Ontology Matching
Euzenat and Shvaiko’s book is devoted to ontology matching as a solution to the semantic heterogeneity problem faced by computer systems. Ontology matching aims at finding correspondences between semantically related entities of different ontologies. These correspondences may stand for equivalence as well as other relations, such as consequence, subsumption, or disjointness, between ontology entities.
Ontology Management : Semantic Web, Semantic Web Services, and Business Applications
This volume describes relevant tasks, practical and theoretical challenges, limitations and methodologies, plus available software tools. The editors discuss integrating the conceptual and technical dimensions with a business view on using ontologies, by stressing the cost dimension of ontology engineering and by providing guidance on how up-to-date tooling helps to build, maintain, and use ontologies. Also included is a one-stop reference on all aspects of managing ontological data and best practices on ontology management for a number of application domains.
Ontology Learning and Population from Text: Algorithms, Evaluation and Applications
Ontology Learning and Population from Text: Algorithms, Evaluation and Applications presents approaches for ontology learning from text and will be relevant for researchers working on text mining, natural language processing, information retrieval, semantic web and ontologies. Containing introductory material and a quantity of related work on the one hand, but also detailed descriptions of algorithms, evaluation procedures etc. on the other, this book is suitable for novices, and experts in the field, as well as lecturers.
Ontology Alignment : Bridging the Semantic Gap
Ontology Alignment: Bridging the Semantic Gap introduces novel methods and approaches for semantic integration. In addition to developing new methods for ontology alignment, the author provides extensive explanations of up-to-date case studies. The topic of this book, coupled with the application-focused methodology, will appeal to professionals from a number of different domains.
Ontologies-Based Business Integration
E-business integration is a vision we have developed over a long period of time. As we have worked in business practice for many years prior to and in parallel with our academic research, we have always thought of such - tegration not only as an intellectual challenge but also as a real business tool. Consequently, when we started our project on Ontologies-based R- onciliation for Business Integration (ORBI) in 2004, not only pure science but also business objectives were at the center of our research. We were very happy to be able to form a project consortium that consisted not only of renowned researchers but also of experienced business practitioners from a range of companies. Each played a specific role – as user, provider or co-developer of the application components that are based on the me- ods we have developed. So may this book find its way not only to the desks of researchers and students, but also into the offices and minds of business practitioners worldwide who are dealing with the challenge of integrating their business processes, applications and information.
Ontologies for Agents : Theory and Experiences
On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number of applications have bene?ted from the use of ontologies as a means to achieve semantic interoperability among heterogeneous, distributed systems. In principle ontologies and agents are a match made in heaven, that has failed to happen. What makes a simple piece of software an agent is its ability to communicate in a ”social” environment, to make autonomous decisions, and to be proactive on behalf of its user. Communication ultimately depends on und- standing the goals, preferences, and constraints posed by the user. Autonomy is theabilitytoperformataskwithlittleornouserintervention,whileproactiveness involves acting autonomously with no need for user prompting. Communication, but also autonomy and proactiveness, depend on knowledge. The ability to c- municate depends on understanding the syntax (terms and structure) and the semantics of a language. Ontologies provide the terms used to describe a domain and the semantics associated with them. In addition, ontologies are often comp- mented by some logical rules that constrain the meaning assigned to the terms. These constraints are represented by inference rules that can be used by agents to perform the reasoning on which autonomy and proactiveness are based.
On the move to meaningful internet systemss 2005 : CoopIS, DOA, and ODBASE ; Vol. 3760 : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings Part I
such as the modeling of (legal) regulatory systems and the ubiquitous nature of their usage. Weweregladto seethatin 2005undertheinspiredleadershipofDr. Pilar Herrero, several of earlier successful workshops re-emerged with a second or even third edition (notably WOSE, MIOS-INTEROP and GADA), and that 5 new workshops could be hosted and successfully organized by their respective proposers: AWeSOMe, SWWS, CAMS, ORM and SeBGIS. .
On the move to meaningful internet systems 2007 : OTM 2007 Workshops ; OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007,
it is clear that there is an acute and increasing need to address and discuss in an integrated forum the implied software and system issues as well as methodological, semantical, theoretical and application issues. As we all know, e-mail, the Internet, and even video conferences are not sufficient for effective and efficient scientific exchange. This is why the OnTheMove (OTM) Federated Conferences series has been created to cover the increasingly wide yet closely connected range of fundamental technologies such as data and Web Semantics.
On the move to meaningful internet systems 2007 : CoopIS, DOA, ODBASE, GADA, and IS ; OTM Confederated International Conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II
This two-volume set LNCS 4803/4804 constitutes the refereed proceedings of the five confederated international conferences on Cooperative Information Systems (CoopIS 2007), Distributed Objects and Applications (DOA 2007), Ontologies, Databases and Applications of Semantics (ODBASE 2007), Grid computing, high performance and Distributed Applications (GADA 2007), and Information Security (IS 2007) held as OTM 2007 in Vilamoura, Portugal, in November 2007.
On the move to meaningful internet systems 2007 : CoopIS, DOA, ODBASE, GADA, and IS ; OTM Confederated International Conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I
Constitutes the proceedings of the 5 confederated international conferences on Cooperative Information Systems, Distributed Objects and Applications, Ontologies, Databases and Applications of Semantics, Grid computing, high performance and Distributed Applications, and Information Security held as OTM 2007 in Vilamoura, Portugal, in November 2007.
On the move to meaningful internet systems 2006 : OTM 2006 Workshops ; Vol.4278 ; OTM Confederated International Conferences and Posters, AWeSOMe, CAMS, COMINF ,IS, KSinBIT, MIOS-CIAO, MONET, On To Content, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS,SWWS,SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part II
This two-volume set LNCS 4277/4278 constitutes the refereed proceedings of 14 international workshops held as part of OTM 2006 in Montpellier, France in October/November 2006. The first volume begins with 26 additional revised short or poster papers of the OTM 2006 main conferences.
