Results 1 to 10 of about 75,739 (170)
Logics of Statements in Context-Category Independent Basics
Mathematics, 2022 Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms.
Uwe Wolter
doaj +1 more source
Ontology-based Knowledge System and Team Verification Tool for Competitive Pokemon
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2021 Competitive Pokemon is a domain with rich semantics and complex relationships between its elements. Current research in the domain has focused on developing AI agents to select moves within a match, ignoring the problem of team building.
Daniel Verdear, Ubbo Visser
doaj +1 more source
Description logic programs [PDF]
Proceedings of the twelfth international conference on World Wide Web - WWW '03, 2003 We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR) contained within this intersection: Description Logic ...
Benjamin N. Grosof +3 more
openaire +3 more sources
Spatiotemporal Data Mining Problems and Methods
Analytics, 2023 Many scientific fields show great interest in the extraction and processing of spatiotemporal data, such as medicine with an emphasis on epidemiology and neurology, geology, social sciences, meteorology, and a great interest is also observed in the study
Eleftheria Koutsaki +2 more
doaj +1 more source
A NEUTROSOPHIC DESCRIPTION LOGIC [PDF]
New Mathematics and Natural Computation, 2006 Description Logics (DLs) are appropriate, widely used, logics for managing structured knowledge. They allow reasoning about individuals and concepts, i.e. set of individuals with common properties. Typically, DLs are limited to dealing with crisp, well defined concepts. That is, concepts for which the problem whether an individual is an instance of it
HAIBIN WANG +3 more
openaire +5 more sources
An Occurrence Description Logic [PDF]
Logical Investigations, 2022 Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative
Badie, Farshad; id_orcid 0000-0003-1534-3332 +1 more
openaire +2 more sources
Applied Sciences, 2022 Laser powder bed fusion (LPBF) provides a rapid and cost-effective solution for fabricating metallic parts with near full density and high precision, strength, and stiffness directly from metallic powders. In LPBF, process variables are widely recognised
Zuyu Li +3 more
doaj +1 more source
On bisimulations for description logics [PDF]
Information Sciences, 2015 42 ...
Ali Rezaei Divroodi, Linh Anh Nguyen
openaire +2 more sources
Description logics of context [PDF]
Journal of Logic and Computation, 2013 We introduce Description Logics of Context (DLCs)—an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy's tradition of treating contexts as formal objects over which one can quantify and express first-order properties.
Szymon Klarman +1 more
openaire +2 more sources
The Form in Formal Thought Disorder: A Model of Dyssyntax in Semantic Networking
AI, 2022 Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal ...
Farshad Badie, Luis M. Augusto
doaj +1 more source