yusuke1997/dblp-id-title huggingface dataset:
Parameter selection based on fuzzy logic to improve UAV path-following algorithms
Two adaptive logics of norm-propositions
The principle of signature exchangeability
The monadic second-order logic of graphs XV: On a conjecture by D. Seese
The countable versus uncountable branching recurrences in computability logic
A concept approach to input/output logic
Conditionals and consequences
An optimal construction of Hanf sentences
Fuzzy system for intelligent word recognition using a regular grammar
The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
A note on orthogonality of subspaces in Euclidean geometry
A hybrid evolutionary model for supplier assessment and selection in inbound logistics
Explaining default intuitions using maximum entropy
The paradoxes of permission an action based solution
Journal of Applied Logic Special Volume on Neural-Symbolic Systems
The eco-cognitive model of abduction II: Irrelevance and implausibility exculpated
Iterated privation and positive predication
Hypothesizing about signaling networks
Recognition of damaged letters based on mathematical fuzzy logic analysis
Opacity and the double life of singular propositions
Paraconsistent Informational Logic
A planner agent that tries its best in presence of nondeterminism
From Bayesian epistemology to inductive logic
Special Issue on Hybrid Logics
The three bases for the enthymeme: A dialogical theory
Reflecting rules: A note on generalizing the deduction theorem
Combinations of tense and deontic modality: On the R t approach to temporal logic with historical necessity and conditional obligation
Can logic be combined with probability? Probably
Conventional controller design based on Takagi-Sugeno fuzzy models
A multiple-valued logic approach to the design and verification of hardware circuits
Complete axiomatizations for XPath fragments
Normative positions within an algebraic approach to normative systems
Summarizing information by means of causal sentences through causal graphs
The problem of coincidence in a theory of temporal multiple recurrence
Bayesian networks for greenhouse temperature control
TPS: A hybrid automatic-interactive system for developing proofs
LEO-II and Satallax on the Sledgehammer test bench
Precise specification matching for adaptive reuse in embedded systems
An ordered credibility contrast semantics for finite probability agreement
One-dimensional vs. two-dimensional based features: Plant identification approach
Bridging Curry and Church's typing style
Only knowing with degrees of confidence
Deciding the word problem in pure double Boolean algebras
Group announcement logic
An intelligent task analysis approach for special education based on MIRA
Undoing the effects of action sequences
A geometric principle of indifference
Lightweight hybrid tableaux
Transitivity in coherence-based probability logic
Dark programming and the case for the rationality of programs
Authenticity: a red herring?
Experimenting with computing
Supporting the formal verification of mathematical texts
The normative aspect of signalling and the distinction between performative and constative
On database query languages for K-relations
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
A neural cognitive model of argumentation with application to legal inference and decision making
Combining Probability and Logic
On assertion and denial in the logic for pragmatics
Denotation of contextual modal type theory (CMTT): Syntax and meta-programming
Modal definability of first-order formulas with free variables and query answering
Breast cancer MRI diagnosis approach using support vector machine and pulse coupled neural networks
Similarity-based relaxed instance queries
Logical methods in artificial intelligence applications
Deontic action logic, atomic boolean algebras and fault-tolerance
Combined reasoning by automated cooperation
Model checking hybrid logics (with an application to semistructured data)
Sufficient completeness verification for conditional and constrained TRS
A family of Gödel hybrid logics
Applying automated deduction to natural language understanding
Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies
Formalization of Reliability Block Diagrams in Higher-order Logic
Learning discrete Bayesian network parameters from continuous data streams: What is the best strategy?
Measuring inaccuracy of uncertain doxastic states in many-valued logical systems
Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications
Logical Investigations on Assertion and Denial
Stratification of normative systems with intermediaries
A cirquent calculus system with clustering and ranking
Cut-free common knowledge
The computational complexity of scenario-based agent verification and design
Automatic knowledge learning and case adaptation with a hybrid committee approach
Abduction: A categorical characterization
An intelligent fault detection system for a heat pump installation based on a geothermal heat exchanger
Towards refinement of abductive or inductive hypotheses through propagation
Towards classifying propositional probabilistic logics
Computation, hypercomputation, and physical science
Reasoning about visibility
SLAP: Specification logic of actions with probability
On the structure of paraconsistent extensions of Johansson's logic
Agential obligation as non-agential personal obligation plus agency
Why indeterminate probability is rational
Semantics for more plausible deontic logics
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
Similarity based approximate reasoning: fuzzy control
MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics
Naturalizing logic: Errors of reasoning vindicated: Logic reapproaches cognitive science
Corrigendum to "A decidable multi-modal logic of context" [Journal of Applied Logic 1 (1-2) (2003) 119-133]
Abduction and Induction in Artificial Intelligence
An encompassing framework for Paraconsistent Logic Programs
Translating regular expression matching into transducers
A reward-based approach for preference modeling: A case study
Combining probability and logic: Papers from Progic 2011
Logic-Based Agent Verification
Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack
Complexity of hybrid logics over transitive frames
Circle graphs and monadic second-order logic
Automatic grape bunch detection in vineyards with an SVM classifier
Reconsideration of circumscriptive induction with pointwise circumscription
A formalisation of violation, error recovery, and enforcement in the bit transmission problem
A brief history of negation
The categorical imperative: Category theory as a foundation for deontic logic
An algebraic approach to belief contraction and nonmonotonic entailment
Epistemic protocols for dynamic gossip
Towards the logic of projective identification
Epistemology and artificial intelligence
Representable posets
Integrating external deduction tools with ACL2
Abducted by Bayesians?
Probabilistic argumentation systems: A new way to combine logic with probability
Using the finite element method and data mining techniques as an alternative method to determine the maximum load capacity in tapered roller bearings
The expressibility of fragments of Hybrid Graph Logic on finite digraphs
The existence of superluminal particles is consistent with relativistic dynamics
The axiomatization of override and update
Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic?
Simplified forms of computerized reasoning with distance semantics
Deductive temporal reasoning with constraints
Tractable query answering and rewriting under description logic constraints
Extended-order algebras
Models for a paraconsistent set theory
Future determination of entities in Talmudic public announcement logic
Factored performance functions and decision making in continuous time Bayesian networks
Formalization of the ad hominem argumentation scheme
Topological FL ew -algebras
Robot location estimation in the situation calculus
Special issue SOCO14-JAL
On the complexity of bribery and manipulation in tournaments with uncertain information
A model of type theory in simplicial sets: A brief introduction to Voevodsky's homotopy type theory
Selected papers from the Logic in Databases Workshop 2008
Special issue on logics for intelligent agents and multi-agent systems
Question answering from structured knowledge sources
Reasoning about negligibility and proximity in the set of all hyperreals
Extending adaptive world modeling by identifying and handling insufficient knowledge models
Using inductive reasoning for completing OCF-networks
A brief review of the ear recognition process using deep neural networks
Stochastic λ-calculi: An extended abstract
Agent deliberation in an executable temporal framework
Investigation on evolutionary predictive control of chemical reactor
Efficiently checking propositional refutations in HOL theorem provers
A study on anomaly detection ensembles
Dynamics of Knowledge and Belief
Challenging epistemology: Interactive proofs and zero knowledge
The modelling and design process of coordination mechanisms in the supply chain
Propositional dynamic logic for searching games with errors
Strongly polynomial sequences as interpretations
Action negation and alternative reductions for dynamic deontic logics
Inheritance, Generics and Binary Methods in Java
Stereoscopic Visualization across two Parallel Walls
Psychological Attachment Style Determination Using a Word Space Model
Social Influence, Market Manipulators, Hardware and Software as New Factors for Cryptocurrency Pricing: A Survey
Selection of the Decision Variables for the Habanero Chili Peppers (Capsicum chinense Jacq.) Using Machine Learning
0-1 Integer Programming for Computing Semi-Stable Semantics of Argumentation Frameworks
Mechatronic Design of a Low-Cost Smart Wheelchair Controlled by Joystick and Voice Commands
Evolutive Layers in M3GP Basis for Symbolic Deep Learning Models
A Rule-Based Meronymy Extraction Module for Portuguese
Automatic Semantic Role Labeling using Selectional Preferences with Very Large Corpora
Generation of Feature Vectors for Identifying Medical Entities in Spanish
Camera as Position Sensor for a Ball and Beam Control System
Uso de Diagramas de Estado UML para la Modelación del Desempeño de Programas Paralelos
Estrategia de procesamiento paralelo para la solución del problema térmico-mecánico acoplado aplicado a un sistema 4D utilizando el método de elemento finito
Less is More, More or Less... Finding the Optimal Threshold for Lexicalization in Chunking
Siamese Convolutional Neural Network for ASL Alphabet Recognition
Follower Behavior Analysis via Influential Transmitters on Social Issues in Twitter
Application of GANs to Augment the Mammography Repository
An Exponential Linear Model Matching for a Closed Kinematics Chain
Adding Social Aspects to the Automatic Generation of Narratives
Efectos de la interpolación sobre la segmentación en imaginología celular
Development of a Normalized Hadith Narrator Encyclopedia with TEI
Relation between Titles and Keywords in Japanese Academic Papers using Quantitative Analysis and Machine Learning
Velocity Estimation by Using a State Reconstructor for Stabilizing a Two Degree of Freedom Mechanical Manipulator
Brain-Computer Interface (BCI) Development for Motor Disabled People Integration in the Manufacturing SME
Luminescence Properties of Nanomaterials
Architecture of a Socio-Emotional Conversational Agent Capable of Identifying Intentions within a Socratic Dialogue
Mining the News: Trends, Associations, and Deviations
Predicting the Future of Text: A Hybrid Approach to Next-Word Prediction
Multi-objective Evolutionary Algorithm Based on Decomposition with Adaptive Adjustment of Control Parameters to Solve the Bi-objective Internet Shopping Optimization Problem (MOEA/D-AACPBIShOP)
Sampling-Based Motion Planning: A Survey
Permutation Based Algorithm Improved by Classes for Similarity Searching
Selección de atributos y casos para el clasificador NN a través de conjuntos aproximados y algoritmos inspirados en la naturaleza
Systematic Literature Review on Cybersecurity and its Influence on Cyber Attacks Targeting IoT Devices
Method For Recognition of Ocluded Objects
Formación de Medidas de Equivalencias entre Conjuntos
Diseño óptimo de transformadores de Hilbert sin multiplicadores con base en el uso de un subfiltro simple
On Multicriteria Mixed Integer Linear Programming Based Tools for Location Problems-An Updated Critical Overview Illustrated with a Bicriteria DSS
An Exploratory Study of the Use of Senses, Syntax and Cross-Linguistic Information for Subjectivity Detection in Spanish
Group Decision Making and Graphical Visualization in E-cognocracy
Lexical Function Detection in Spanish Collocations using Transformer Architecture
Little Wins: Collecting, Preparing and Publishing Resources for Assamese Word Sense Disambiguation
Framework for heterogeneous data management: An application case in a NoSQL environment from a Climatological Center
Synchronizing Hyperchaotic Maps to Encode/Decode Information
Machine Translation for Low-Resource English-Mizo Pair Encountering Tonal Words
A Mixed Hardware/Software SOFM Training System
Tropical Cyclone Simulations with WRF Using High Performance Computing
Predicting Student's Attributes from their Physiological Response to an Online Course
Inferring Relations and Annotations in Semantic Networks Application to Radiology
Color Matching using Time Series Searching in Color Databases
Evaluation of Data Quality: A Cryptographic Approach
Memetic Algorithm with Hungarian Matching Based Crossover and Diversity Preservation
Using Ontology Network for Interoperation of Product Industrial Data Standards
What's Your Style? Automatic Genre Identification with Neural Network
Proposal for a Forensic Action Guide for Internet of Things (IoT) Environments
Water Stress Challenges: Mathematical Modeling of Water Resource Management
Machine Learning for the Prediction of Anemia in Children Under 5 Years of Age by Analyzing their Nutritional Status Using Data Mining
Sentence Similarity Techniques for Short vs Variable Length Text using Word Embeddings
Deep-Learning-based Electrical Fault Detection in Photovoltaic Modules through Aerial Infrared Imaging: Addressing Data Complexity
SensMask: An Intelligent Mask for Assisting Patients during COVID-19 Emergencies
Colorization of Monochrome Hyperspectral Images
Influencing Factors on Individual Economic Decision Making: A Computational Mobile Model
PromptMaster: Engineering Essentials and Basic NLP Tools
Precision Event Coreference Resolution Using Neural Network Classifiers
Methodologies for Reducing the Amount of Required Images Used for Articled-Object Recognition
Simulating and Visualizing Real-Time Crowds on GPU Clusters
Depth-First Reasoning on Trees
A heuristic approach for blind source separation of instant mixtures
On Coherente Maintenance in Human-Machine Dialogue whit Contextual Ellipses
Una arquitectura multi-agente para apoyar el uso de comunidades de práctica en las organizaciones
Integración de modelos de agrupamiento y reglas de asociación obtenidos de múltiples fuentes de datos
3D Game of Values in Unity
Natural Language Processing Approach Using a Neural Network Ensemble (CNN-HSNN) for Skin Cancer and Multi-Disease Classification
Memory Binary Particle Swarm Optimization (MBPSO) Applied to a Spectrum Sharing Problem
Prescriptive Analytics-based Methodologies for Healthcare Data: A Systematic Literature Review
Identifying Repeated Sections within Documents
Recognizing Musical Entities in User-generated Content
Including Users Preferences in the Decision Making for Discrete Many Objective Optimization Problems
Identification of the Workspace of a Hexapod Mobile Robot Using Multobjective Optimization
Optimizing the Performance of the IDS Through Feature-Relevant Selection Using PSO and Random Forest Techniques
Cybersecurity and Internet of Things. Outlook for this decade
A Proposal of Robust Condition Monitoring Scheme for Industrial Systems
Procedimiento divide y vencerás para el diseño de territorios comerciales
Application of Multi-Criteria Decision Analysis to the Selection of Software Measures
An Intelligent Learning Environment for Computational Thinking
Experimental Results of Testing a Direct Monocular Visual Odometry Algorithm Outdoors on Flat Terrain under Severe Global Illumination Changes for Planetary Exploration Rovers
Clustering Analysis in "Instant Delivery" Services: Examining the Urban, Logistics, and Social Challenges in Mexico City
Unsupervised Image Segmentation based Graph Clustering Methods
Inferring Social Isolation in Older Adults through Ambient Intelligence and Social Networking Sites
Comparative Study between Kleinberg Algorithm and Biased Selection Algorithm for Construction of Small World Networks
The Role of Conjunctions in Adjective Polarity Analysis in Czech
A Formula Embedding Approach to Math Information Retrieval
Knowledge Representation and Phonological Rules for the Automatic Transliteration of Balinese Script on Palm Leaf Manuscript
Expert Fuzzy System Determining Dengue, Zika, Chikungunya and Yellow Fever Infection
Math Word Problem Solving: Operator and Template Techniques with Multi-Head Attention
Offshore Wind Farm Layout Optimization via Differential Evolution
Clustering XML Documents using Structure and Content Based in a Proposal Similarity Function (OverallSimSUX)
Design of a Speed Adaptive Controller for a PMSM using Artificial Intelligence
An Analysis on the Corrective Formula for Multiple Choice Questions
Un Enfoque Neuronal al Seguimiento de un Objeto a través de su Tamaño y su Localización
Reconstrucción de Parámetros y Variables de Estado para una Clase de Sistemas Caóticos con Aplicación en Codificación y Decodificación de Información
Analog Algorithms with Discontinuous States and Non-Unique Evolution Operators: Computability and Stability
PS I Love You: Privacy Aware Sentiment Classification
Property Modifiers and Intensional Essentialism
Optimization by the Finite Element Method of a Commercial Sedan Automobile Monocoque for Best Response to an Impact Collision
A Methodology Based on Effective Practices to Develop Educational Software
Comparative Analysis of Classification Models Using Midjourney-generated Images in the Realm of Machine Learning
Selección de características para datos de expresión de los genes mediante microarreglos usando recocido simulado guiado por la entropía conjunta multivariada
Multi-label Emotion Classification using Content-Based Features in Twitter
Hybrid Model of Convolutional Neural Network and Support Vector Machine to Classify Basal Cell Carcinoma
Prerequisites of in-Context Learning for Transformers on Queries
Tetrahedral Grid Generators and the Eigenvalue Calculation with Edge Elements
SVM based Learning System for the Detection of Depression in Social Networks
Efficient Geographic Routing for Ad Hoc Vehicle Networks
Stylometry-based Approach for Detecting Writing Style Changes in Literary Texts
Deep Learning Based Emulation of Radiative Transfer Code for Atmospheric Correction of Satellite Images
Extracting Context of Math Formulae Contained inside Scientific Documents
Detección de los Fallos en Procesos Reales Basada en Modelos Intervalares y Múltiples Ventanas Temporales Deslizantes
Detección de ruido y aprendizaje basado en información actual
Real Time Vision Based Overtaking Assistance System for Drivers at Night on Two-Lane Single Carriageway
HAMP: A Hardware Accelerator Multi-Platform Benchmark for High Performance Heterogeneous Computing
Reducing the Number of Canonical Form Tests for Frequent Subgraph Mining
Ambient Computing Research for Healthcare: Challenges, Opportunities and Experiences
Sentiment Analysis of COVID19 Reviews Using Hierarchical Version of d-RNN
Securing mHealth Applications Using IoTsecM Security Modelling: Dentify.Me mApp Case Study for Urgent Care Management
A Community Detection Approach to Identify Hedging Language Patterns
Computing Symbolic Expressions in Analog Circuits Using Nullors
Automatic System for COVID-19 Diagnosis
A Comparative Study in Machine Learning and Audio Features for Kitchen Sounds Recognition
Topic Modelling and Sentiment Analysis via News Headlines, NLP Methods on Australian Broadcasting Commission
Automatic Theorem Proving for Natural Logic: a Case Study on Textual Entailment
Estudio de la dinámica global para un modelo de Evasión-Inmune de un tumor cancerígeno
Validating Design Patterns for Mobile Groupware Applications by Expert Users: a USAER Case
Procedimiento para obtener modelos lineales de cinética de color en frutos
B-Splines Based Data Association Method for the SLAM Problem in Complex Environments
Image Contrast Enhancement: The Synergistic Power of a Dual-Gamma Correction Function and Evolutionary Algorithms
Deflexiones en trabes de sección transversal rectangular con cartelas parabólicas sometidas a una carga concentrada
Data Integration for the Evaluation of Cancer Evolution in Mexico through Data Visualization
Extraction of the Underlying Structure of Systematic Risk from Non-Gaussian Multivariate Financial Time Series Using Independent Component Analysis: Evidence from the Mexican Stock Exchange
Facial Expressions Recognition in Sign Language Based on a Two-Stream Swin Transformer Model Integrating RGB and Texture Map Images
Diagnosis de Sistemas Dinámicos: Un Modelo de Conocimiento que Permite Integrar la Evolución del Sistema en el Proceso de Diagnosis
New High-Performance Full Adders Using an Alternative Logic Structure
Scheduling Fault Recovery Operations in Real-Time Systems
Output regulation and consensus of a class of multi-agent systems under switching communication topologies
A Data Machine Learning-driven Approach to Explore Resilience and Sustainability of Mexico's Water Resource Management
Hardware Implementation of a Non-Linear Observer for a Diabetes Mellitus Type 1 Mathematical Model
Classification Trees vs. Logistic Regression in the Generic Skill Development in Engineering
A Fuzzy Approach to Mute Sensitive Information in Noisy Audio Conversations
Breast, Lung and Liver Cancer Classification from Structured and Unstructured Data
Comparison of the Response Times of MongoDB and PostgreSQL According to Type of Query in Geographical Databases
Towards a Proto Artificial General Intelligence: The Role of Large Language Model Ontologies in its Development
WIFROWAN: Wrapped Imbalanced Fuzzy-Rough Ordered Weighted Average Nearest Neighbor Classification
Aplicación de lógica difusa para el particionado hardware/software en sistemas embebidos
Measurement, Characterization and Reconstruction of Computing Time and Transporting Time for Real-Time Telecontrol Systems
Benefits and challenges of military artificial intelligence in the field of defense
Patrones de Sistemas de Primero y Segundo Orden, en un Ambiente de Instrumentación Virtual
Development of Agricultural Knowledge Graphs through the Reuse of Ontologies
Benchmarking of Averaging Methods Using Realistic Simulation of Evoked Potentials
Inferences for Enrichment of Collocation Databases by means of Semantic Relations
Integration of an Inverse Optimal Neural Controller with Reinforced-SLAM for Path Panning and Mapping in Dynamic Environments
Neural Control for a Differential Drive Wheeled Mobile Robot Integrating Stereo Vision Feedback
Bert for Classification of Russian Functional Styles
Introduction to the Thematic Section on Computational Linguistics
Hybrid heuristic for dynamic location-allocation on micro-credit territory design
Building a Data Warehouse for Social Media: Review and Comparison
Using Machine Learning for Extracting Information from Natural Disaster News Reports
Hindi Visual Genome: A Dataset for Multi-Modal English to Hindi Machine Translation
AstraMT: Instruction-Tuned Few-Shot Assamese-English Translation with Context-Aware Prompting and Reranking
Evolutionary Automatic Text Summarization using Cluster Validation Indexes