Results 71 to 80 of about 3,682,520 (371)
Ontology Driven Analysis of Spatio-temporal Phenomena, Aimed At Spatial Planning And Environmental Forecasting [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2013 Spatial planning is a crucial area for balancing civilization development with environmental protection. Spatial planning has a multidisciplinary nature.
A. Iwaniak +3 more
doaj +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper proposes two projector‐based Hopfield neural network (HNN) estimators for online, constrained parameter estimation under time‐varying data, additive disturbances, and slowly drifting physical parameters. The first is a constraint‐aware HNN that enforces linear equalities and inequalities (via slack neurons) and continuously tracks the ...
Miguel Pedro Silva
wiley +1 more source
RECIIS, 2009 We propose a typology of representational artifacts for health care and life sciences domains and associate this typology with different kinds of formal ontology and logic, drawing conclusions as to the strengths and limitations for ontology of different
Stefan Schulz +3 more
doaj
Aerospace, 2021 Aerospace systems are connected with the operational environment and other systems in general. The focus in aerospace product development is consequently shifting from a singular system perspective to a System-of-Systems (SoS) perspective.
Ludvig Knöös Franzén +4 more
doaj +1 more source
Engineering the Link: From Genome Interaction Maps to Functional Insight
Advanced Biology, EarlyView.Advances in chromosome conformation capture have revealed the genome's 3D organization, yet its causal impact on gene regulation remains elusive. This review highlights emerging genome‐engineering tools ‐ zinc fingers, TALEs, and CRISPR‐Cas9 ‐ that enable targeted manipulation of chromatin loops to dissect structure–function relationships. It discusses
Frido Petersen +5 more
wiley +1 more source
How Philosophical is Informal Logic?
Informal Logic, 2000 Consider the proposition, "Informal logic is a subdiscipline of philosophy". The best chance of showing this to be true is showing that informal logic is part of logic, which in turn is a part of philosophy.
John Woods
doaj +1 more source
Global Numerical Constraints on Trees
, 2014 We introduce a logical foundation to reason on tree structures with constraints on the number of node occurrences. Related formalisms are limited to express occurrence constraints on particular tree regions, as for instance the children of a given node ...
Bárcenas, Everardo, Lavalle, Jesús
core +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceIn previous work it was shown that the logic ALCME, which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference.
Franz Baader, Anton Claußnitzer
doaj +1 more source
Automated Synthesis of Tableau Calculi [PDF]
Logical Methods in Computer Science, 2011 This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method
Renate A. Schmidt, Dmitry Tishkovsky
doaj +1 more source