Terkko Navigator / -/ Feeds / " ( ( Kieli (puhuttu) )|( Puhuttu kieli )|( Kieli )|( Language )|( Languages ) ) and ("

Descriptive complexity of real computation and probabilistic independence logic

Text Messaging-Based Medical Diagnosis Using Natural Language Processing and Fuzzy Logic

A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications

Logics for algorithmic chemistries

A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification

Representation, Analysis, and Extraction of Knowledge from Unstructured Natural Language Texts

Mathematics, Vol. 9, Pages 1255: The Influence of the Developed Specific Multi-Paradigm Programming in Digital Logic Education

Logic, Philosophy and Physics: A Critical Commentary on the Dilemma of Categories

Language-Agnostic Reproducible Data Analysis Using Literate Programming.

Language-Agnostic Reproducible Data Analysis Using Literate Programming.

A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts

Language-Agnostic Reproducible Data Analysis Using Literate Programming

“Kom Khoi San, kry trug jou land”: Disrupting White Settler Colonial Logics of Language, Race, and Land with Afrikaaps

“Kom Khoi San, kry trug jou land”: Disrupting White Settler Colonial Logics of Language, Race, and Land with Afrikaaps

FRAMING CONTROVERSIAL ACTIONS: REGULATORY FOCUS, SOURCE CREDIBILITY, AND STOCK MARKET REACTION TO POISON PILL ADOPTION

Game description language and dynamic epistemic logic compared

Securing the kids: Geofencing and child wearables

Sensors, Vol. 21, Pages 4154: A Multifunctional Smart Meter Using ANN-PSO Flux Estimation and Harmonic Active Compensation with Fuzzy Voltage Regulation

Sensors, Vol. 21, Pages 4154: A Multifunctional Smart Meter Using ANN-PSO Flux Estimation and Harmonic Active Compensation with Fuzzy Voltage Regulation

Sustainability, Vol. 14, Pages 4627: Innovative Practice of Sustainable Landscape Architecture Education—Parametric-Aided Design and Application

Belief Changes and Cognitive Development: Doxastic Logic $${\mathsf {LCB}}$$ LCB

Runtime Verification of Spatio-Temporal Specification Language

MAVSCOT: A fuzzy logic-based HIV diagnostic system with indigenous multi-lingual interfaces for rural Africa

Attributed and n-ary relations in OWL for knowledge modeling

Meaning and Grammar in the light of Corpus Pattern Analysis

SAwUML – UML-based, contractual software architectures and their formal analysis using SPIN

Editorial: Fuzzy Logic and Artificial Intelligence: A Special Issue on Emerging Techniques and Their Applications

What Proto-logic Could not be

Clinical decision support system, using expert consensus-derived logic and natural language processing, decreased sedation-type order errors for patients undergoing endoscopy

Truth, Proof and Gödelian Arguments : A Defence of Tarskian Truth in Mathematics

The hardest logic puzzle ever

Entropy, Vol. 23, Pages 1120: Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain

A Programmable Ontology Encompassing the Functional Logic of the Drosophila Brain

Symmetry, Vol. 12, Pages 1584: A Novel Categorical Approach to Semantics of Relational First-Order Logic

Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming

Extensions, Numbers and Frege’s Project of Logic as Universal Language

Supporting technology-enabled design education and practices by DFuzzy decision model: applications of cultural and creative product design

Ontological commitment and ontological commitment s

Natural language question answering over knowledge graph: the marriage of SPARQL query and keyword search

The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds

Safety, Vol. 6, Pages 50: A Proposition for Combining Rough Sets, Fuzzy Logic and FRAM to Address Methodological Challenges in Safety Management: A Discussion Paper

Wittgenstein and the Limits of Language

Intelligent virtual case learning system based on real medical records and natural language processing

MTI, Vol. 6, Pages 32: An Enactivist Account of Mind Reading in Natural Language Understanding

Applied Sciences, Vol. 10, Pages 6577: Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic

DNAQL: a query language for DNA sticker complexes

Recursion in programs, thought, and language

Thinking About Causation : A Causal Language with Epistemic Operators

Meta-Analysis of the Functional Neuroimaging Literature with Probabilistic Logic Programming

New Linguistic Description Approach for Time Series and Its Application to Bed Restlessness Monitoring for Eldercare