Results 21 to 30 of about 185,172 (275)
An Ontology-Based Knowledge Representation Method for Typhoon Events from Chinese News Reports
ISPRS International Journal of Geo-Information, 2023 Typhoons are destructive weather events. News media reports contain large amounts of typhoon information. Transforming this information into useful knowledge to provide a basis for mining typhoon knowledge and supporting disaster prevention and relief is
Danjie Chen +3 more
doaj +1 more source
A Review on Mechanical Proving and Formalization of Mathematical Theorems
IEEE AccessThe field of artificial intelligence represents a frontier and a focal point of contemporary technological development. As an important embodiment of artificial intelligence applied to theoretical-level research, mechanical proving has been a subject of ...
Si Chen +3 more
doaj +1 more source
Concrete Semantics with Coq and CoqHammer
, 2018 The "Concrete Semantics" book gives an introduction to imperative programming languages accompanied by an Isabelle/HOL formalization. In this paper we discuss a re-formalization of the book using the Coq proof assistant.
A Chlipala +7 more
core +1 more source
Online Tests in the News Browser: Linguistic and Speech Genre Characteristics [PDF]
Жанры речи, 2020 The object of the study are online tests in a news browser (Yandex, Mail.ru). The research focuses on the linguistic and genre characteristics of the test link – a part of this test, presented in the news browser as a link or icon and containing the ...
Vadim Viktorovich Dementyev
doaj +1 more source
A Formalization of the Theorem of Existence of First-Order Most General Unifiers
, 2012 This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS.
A. B. Avelar +23 more
core +2 more sources
Formalization of Universal Algebra in Agda [PDF]
, 2018 In this work we present a novel formalization of universal algebra in Agda. We show that heterogeneous signatures can be elegantly modelled in type-theory using sets indexed by arities to represent operations. We prove elementary results of heterogeneous
Gadea, Alejandro Emilio +2 more
core +1 more source
Enhancing the Ostrom social-ecological system framework through formalization
Ecology and Society, 2014 Frameworks play an important role in analyzing social-ecological systems (SESs) because they provide shared concepts and variables that enable comparison between and accumulation of knowledge across multiple cases. One prominent SES framework focusing on
Jochen Hinkel +2 more
doaj +1 more source
Algebraization Levels in the Study of Probability
Mathematics, 2021 The paper aims to analyze how the different degrees of mathematical formalization can be worked in the study of probability at non-university educational levels.
María Burgos +2 more
doaj +1 more source
Mathematics, 2023 The increasing significance of theorem proving-based formalization in mathematics and computer science highlights the necessity for formalizing foundational mathematical theories. In this work, we employ the Coq interactive theorem prover to methodically
Dakai Guo, Wensheng Yu
doaj +1 more source