yusuke1997/dblp-id-title huggingface dataset:
Detecting logical argumentation in text via communicative discourse tree
Quantifying the exploration performed by metaheuristics
Abstract symbol systems - an exercise of the bottom-up approach in artificial intelligence
A new chaotic multi-verse optimization algorithm for solving engineering optimization problems
Why Turing machine equivalence is (still) important in cognitive science: a reply to Eliasmith
The role of aesthetics in problem solving: some observations and a manifesto
A tuned feed-forward deep neural network algorithm for effort estimation
Are receptors representations?
A centralized planning technique with temporal constraints and uncertainty for multi-agent systems
A clausal resolution method for CTL branching-time temporal logic
Dual PECCS: a cognitive system for conceptual representation and categorization
Parameter optimisation of support vector machine using mutant particle swarm optimisation for diagnosis of metal-oxide surge arrester conditions
Time-series analysis with neural networks and ARIMA-neural network hybrids
Weighting strategy for non-clausal resolution
What do animat models model?
To improve the quality of cluster ensembles by selecting a subset of base clusters
Are human beings humean robots?
Analyzing trajectories of learning processes through behaviour-based entropy
Unifying and extending hybrid tractable classes of CSPs
Solving hierarchies of finite-domain constraints
Inference of causal structure using the unobservable
Ignoring data may be the only way to learn efficiently
A systematic mapping study on agent mining
A fuzzy rule-based generation algorithm in interval type-2 fuzzy logic system for fault prediction in the early phase of software development
Centroid particle swarm optimisation for high-dimensional data classification
Resampling-based noise correction for crowdsourcing
State-of-the-Art in Automated Story Generation Systems Research
Using hypothetical reasoning as a method for belief ascription
On planning while Executing in stationary environments
Extending HCLP with partially ordered hierarchies and composite constraints
Beyond red states and blue states in cognitive science
Dretske, representation, and the mental/non-mental distinction
Performing complex associations using a generalised bidirectional associative memory
The impact of sociality regimes on heterogeneous cooperative-competitive multi-agent reinforcement learning: a study with the predator-prey game
On a compatibility between emergentism and reductionism
Communication using robots: a Perception-action scenario in moderate ASD
P-HS-SFM: a parallel harmony search algorithm for the reproduction of experimental data in the continuous microscopic crowd dynamic models
Preserving sensitive data with deep learning assisted sanitisation process
Optimal allocation of public parking spots in a smart city: problem characterisation and first algorithms
Genetic annealing with efficient strategies to improve the performance for the NP-hard and routing problems
Multi-objective optimization of radiotherapy: distributed Q-learning and agent-based simulation
Hand motion tracking and trajectory matching for dynamic hand gesture recognition
Fuzzy whale optimisation algorithm: a new hybrid approach for automatic sonar target recognition
An integrated framework for multiple-attribute group decision-making with probabilistic double hierarchy linguistic information and application to risk assessment of poverty alleviation households' return to poverty
Fuzzy attribute logic over complete residuated lattices
Generalised Pythagorean fuzzy geometric interactive aggregation operators using Einstein operations and their application to decision making
On learning and testing evaluation functions
Where are all the cockroaches?
Transductive learning with nonlinear flexibility using trace norm minimization and fixed point continuation
Robust H∞ performance for discrete time T-S fuzzy switched memristive stochasticneural networks with mixed time-varying delays
Some approaches to analogical mapping with structure-sensitive distributed representations
A rough set-based association rule approach implemented on a brand trust evaluation model
Emergent command and control architecture for dynamic agent communities
Metaphor as change of representation: an artificial intelligence perspective
An action-oriented perspective of learning in classifier systems
AUTO: supervised learning with full model search and global optimisation
An emergent deep developmental model for auditory learning
A novel Hybrid Harris hawk sine cosine optimization algorithm for reactive power optimization problem
Bi-objective web service composition problem in multi-cloud environment: a bi-objective time-varying particle swarm optimisation algorithm
The paradoxicality of consciousness: a sketch of a theory
AI and the mechanistic forces of darkness
Microcosms for testing common sense reasoning abilities
Modified self-organising maps with a new topology and initialisation algorithm
Modified layer deep convolution neural network for text-independent speaker recognition
An efficient oscillating inertia weight of particle swarm optimisation for tracking optima in dynamic environments
Linking perception and action through motivation and affect
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion"
Integrated framework for EMD-Boruta-LDA feature extraction and SVM classification in coal and gas outbursts
Novel hybrid soft set theories focusing on decision-makers by considering the factors affecting the parameters
Dynamics analysis of delayed Nicholson-type systems involving patch structure and asymptotically almost periodic environments
Fodor, functions, physics, and fantasyland: is AI a Mickey Mouse discipline?
Solving the symbol grounding problem: a critical review of fifteen years of research
Advances in Knowledge Discovery and Data Analysis for Artificial Intelligence
Discovery of spatio-temporal patterns from location-based social networks
Synthetic Data with Global-Local Level for Adversarial-based Domain Adaptation
Do computer simulations really cognize?
On-policy concurrent reinforcement learning
General vague rough approximation: an extended method of fuzzy knowledge representation
An intrusion detection approach based on multiple rough classifiers integration
A declarative concurrent system for protein structure prediction on GPU
Editorial AI, Situatedness, Creativity, and Intelligence; or the Evolution of the Little Hearing Bones
Utopia constrained multi objective optimisation evolutionary algorithm
Cellular automata-based optimised routing for secure data transmission in wireless sensor networks
EEG data analysis based on EMD for coma and quasi-brain-death patients
Machine vs. deep learning comparision for developing an international sign language translator
On generalization/specialization for conceptual graphs
Tractability and artificial intelligence
Connectionism and artificial intelligence: history and philosophical interpretation
On the physical limitations of pattern matching
Measuring the complexity of migration transition: an attempt using metrics
Artificially intelligent recognition of Arabic speaker using voice print-based local features
Game theoretic equilibria and the evolution of learning
Cauchy Grey Wolf Optimiser for continuous optimisation problems
Optimal control strategy for COVID-19 developed using an AI-based learning method
Study on the classification problem of the coping stances in the Satir model based on machine learning
Attributed network embedding with dual fusion strategies
An internal supplemental action measurement to increase the gap of action values and reduce the sensitivity to overestimation error
ATE-SPD: simultaneous extraction of aspect-term and aspect sentiment polarity using Bi-LSTM-CRF neural network
Decision support system (DSS) for traffic prediction and building a dynamic internet community using Netnography technology in the city of Amman
Credit Card Fraud Detection under Extreme Imbalanced Data: A Comparative Study of Data-level Algorithms
Reproducibility in M&S research: issues, strategies and implications for model development environments
Predicate invention and utilization
State observer for coupled cyclic genetic regulatory networks with time delays
Metaheuristic-assisted deep learning model for fake news detection
Connectionist meta-representation for propositional attitudes
A syntactically informed reordering model for statistical machine translation
CF-PPI: Centroid based new feature extraction approach for Protein-Protein Interaction Prediction
Graph decompositions and tree automata in reasoning with uncertainty
A hierarchical stochastic modelling approach for reconstructing lung tumour geometry from 2D CT images
Exchange market for complex commodities: search for optimal matches
A counter-example to all future dynamic systems theories of cognition
An assumption-based truth maintenance system dealing with non-ground justifications
Parallel optimization of tree structures for natural language parsing
Naive Bayes for optimal ranking
Individual strategic profiles in tacit coordination games
Formal software development in the Verification Support Environment (VSE)
Elephant detection using boundary sense deep learning (BSDL) architecture
Enhanced unsupervised neural machine translation by cross lingual sense embedding and filtered back-translation for morphological and endangered Indic languages
Behind the mask: machine morality
Propositional and terminological knowledge representations
Comparisons of several variants of continuous quantum-inspired evolutionary algorithms
A new dandelion algorithm and optimization for extreme learning machine
Hierarchical model and communication by signs, signals and symbols in multiagent environments
Periodic dynamic on a class of neutral-type Rayleigh equations incorporating D operators
Adaptive Neuro Fuzzy Inference System (ANFIS) based wildfire risk assessment
A dynamic fuzzy genetic algorithm for natural image segmentation using adaptive mean shift
A model of pathways to artificial superintelligence catastrophe for risk and decision analysis
Understanding the intent behind sharing misinformation on social media
Simultaneous localisation and mapping for autonomous underwater vehicle using a combined smooth variable structure filter and extended kalman filter
Observables, measurements, and virtual machines
Summarisation of weighted networks
A ladder to human-comparable intelligence: an empirical metric
AFedAvg: communication-efficient federated learning aggregation with adaptive communication frequency and gradient sparse
Structuring global responses of local filters using lateral connections
Human misidentification in Turing tests
The NIST Real-time Control System (RCS): an approach to intelligent systems research
Analysing the power of deep learning techniques over the traditional methods using medicare utilisation and provider data
Introduction to non-standard constraint processing
ZooM: a nested Galois lattices-based system for conceptual clustering
A novel hybrid method for mobile robot path planning in unknown dynamic environment based on hybrid DSm model grid map
Recognition of handwritten Hindu numerals using structural descriptors
Pseudo almost periodic solutions for CNNs with oscillating leakage coefficients and complex deviating arguments
PDDL4J: a planning domain description library for java
Information flow in context-dependent hierarchical Bayesian inference
Weakening the language bias in LINUS
Trust-based access control for collaborative systems
Developmental aspects of expertise: Rationality and generalization
Making meaning happen
New findings on global exponential stability of inertial neural networks with both time-varying and distributed delays
On an open problem in classification of languages
Satellite fault tolerant attitude control based on expert guided exploration of reinforcement learning agent
Analogy just looks like high level perception: why a domain-general approach to analogical mapping is right
Machine learning techniques to predict sensitive patterns to fault attack in the Java Card application
Sewage water management and healthcare monitoring in IoT using Optimized deep residual network
Significance tests or confidence intervals: which are preferable for the comparison of classifiers?
Redundancy checking algorithms based on parallel novel extension rule
Belief spaces as sets of propositions
Using communication to reduce locality in distributed multiagent learning
Intelligent breast cancer recognition using particle swarm optimization and support vector machines
CSPs with counters: a likelihood-based heuristic
Reformulating van Rijsbergen's F β metric for weighted binary cross-entropy
Computationalism is dead; now what?
Human-like learning in a conscious agent
ABC-based distance-weighted k NN algorithm
The message management asynchronous backtracking algorithm
Enhancing dementia diagnosis with Dual-Swarm optimisation and Opposition-Based learning: the DSO-OBL approach
Hybrid learning in signalling games
Hierarchical classifier design for speech emotion recognition in the mixed-cultural environment
Transforming examples for multiclass boosting
Approximate policy iteration using regularised Bellman residuals minimisation
Projection: a mechanism for human-like reasoning in Artificial Intelligence
People are not computers: (most) thought processes are not computational procedures
Prediction of dissolved oxygen in River Calder by noise elimination time series using wavelet transform
Exponential stability on almost periodic RNNs involving mixed delays
Interval-valued pythagorean fuzzy power average-based MULTIMOORA method for multi-criteria decision-making
Sign language video to text conversion via optimised LSTM with improved motion estimation
Leadership in action: how senior management behaviours propel AI adoption and innovation success
Some power Heronian mean operators in multiple attribute decision-making based on q-rung orthopair hesitant fuzzy environment
Stability for patch structure Nicholson's blowflies systems involving distinctive maturation and feedback delays
An optimal detection of fake news from Twitter data using dual-stage deep capsule autoencoder
Precedence Relations in Grammar Forms
Limit laws for terminal nodes in random circuits with restricted fan-out: a family of graphs generalizing binary search trees
A Formal Semantics for Concurrent Systems with a Priority Relation
Scheduling According to Job Priority with Prevention of Deadlock and Permanent Blocking
Concurrent Search and Insertion in 2-3 Trees
Vector assignment schemes for asymmetric settings
Complexity of the Word Problem for Commutative Semigroups of Fixed Dimension
On the Worst Case Performance of Buddy Systems
Expressibility of Output Equals Input
Validation of a Computer Performance Model of the Exponential Queuing Network Family
Towards a Theory of Consistency Enforcement
Constructing a Theory of a Data Structure as an Aid to Program Development
Pipelines: Modelling a software architecture through relations
Decidable Properties of Monadic Recursive Schemas With a Depth Parameter
Some Resource Allocation Policies in a Multi Associative Processor
The Logic of Aliasing
Efficient systematic clustering method for k -anonymization
Efficient Algorithms for Finding Maximum Matchings in Convex Bipartite Graphs and Related Problems
Reactive synthesis with maximum realizability of linear temporal logic specifications
Distributed synthesis for regular and contextfree specifications
PROCOL: A Concurrent Object-Oriented Language with Protocols Delegation and Constraints
Multitype Multiprogramming Models
The Network Complexity and the Turing Machine Complexity of Finite Functions
IEH Graphs. A Novel Generalization of Hypercube Graphs
Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification
Algebras for iteration and infinite computations
Amortized Constant Relaxed Rebalancing Using Standard Rotations
On the size of partial derivatives and the word membership problem
Logic for Improving Integrity Checking in Relational Data Bases
P systems with symport/antiport simulating counter automata
Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach
On Specification of Multiprocessor Computing
Heuristics for Parallel Machine Scheduling with Delivery Times
Weakly Context-Sensitive Languages as Model for Programming Languages
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games
Translation validation of coloured Petri net models of programs on integers
State complexity of deletion and bipolar deletion
Transposition of Large Tabular Data Structures with Applications to Physical Database Organization
A Lower Time Bound for the Knapsack Problem on Random Access Machines
On Parallel Integer Sorting
Priority Systems with many Identical Processes
Online square and cube packing
Evolutionary Systems: A Language Generating Device Inspired by Evolving Communities of Cells
Axioms for Generalized Graphs, Illustrated by a Cantor-Bernstein Proposition
Trace Nets and Process Automata
A Note on the Influence of Program Loading on the Page Fault Rate
Computational complexity via programming languages: constant factors do matter
Querying Datalog Programs with Temporal Logic
Membrane systems with promoters/inhibitors
Laws of Data Refinement
List Ranking on Meshes
Contextual Nets
The Correctness of the Schorr-Waite List Marking Algorithm
An Axiomatic Definition of Synchronization Primitives
A note on pure and p-pure languages
Invariant relations for affine loops
The Expected Additive Weight of Trees
Towards action refinement for true concurrent real time
Strategy synthesis for multi-dimensional quantitative objectives
Automated formal synthesis of provably safe digital controllers for continuous plants
Algebraic Computational Models of OR-Parallel Execution of Prolog
Optimal Divide-and-Conquer to Compute Measure and Contour for a Set of Iso-Rectangles
Synchronized Behaviours of Processes and Rational Relations
Out for coffee: with Rob
Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes
Accepting Zeno words: a way toward timed refinements
Another Look at the "Longest Ascending Subsequence" Problem
Generalized Binary Split Trees
Relations among Simultaneous Complexity Classes of Nondeterministic and Alternating Turing Machines
Stable Duplicate-Key Extraction with Optimal Time and Space Bounds
Drawing Plane Graphs Nicely
Grammars on Partial Graphs
Comments on "A Comparison of Two Synchronizing Concepts by Per Brinch Hansen"
Ideal preemptive schedules on two processors
Operational complexity and right linear grammars
Complexity of Distributed Commit Protocols
Optimal recovery schemes in fault tolerant distributed computing
Approximation schemes for the Min-Max Starting Time Problem
A Synthesis of Several Sorting Algorithms
Refinement of actions for real-time concurrent systems with causal ambiguity
Contextual hyperedge replacement
Editorial: special issue on synthesis
Finding vertex-surjective graph homomorphisms
Metric propositional neighborhood logic with an equivalence relation
An Axiomatic Definition of the Programming Language PASCAL
Load Sharing in Distributed Systems with Failures
Erratum: Coincidental extension of scattered context languages
Watson-Crick finite automata of small size and variants of string assembling systems
On the Definition of ELR(k) and ELL(k) Grammars
The Report on the Standard Hardware Representation for ALGOL 68
The regular languages of wire linear AC 0
Word-representable graphs from a word's perspective
Relational Level Data Structures for Programming Languages
The Clean Termination of Pascal Programs
On the decidability of finding a positive ILP-instance in a regular set of ILP-instances
Postorder Trees and Eulerian Numbers
Parallel communicating grammar systems with terminal transmission
A. Nico Habermann 1932-1993
A Fixed Point Approach to Parallel Discrete Event Simulation
Minimally adequate teacher synthesizes statechart diagrams
An Abstract Machine Theory for Formal Language Parsers
OBSCURE: A Specification Language for Abstract Data Types
Does indirect addressing matter? - A note
Specifying Communication in Distributed Information Systems
Behavioural Approaches to Algebraic Specifications: A Comparative Study
Optimizing the Costs of Hierarchical Quorum Consensus
A Method for Transforming Grammars into LL(k) Form
Precise parameter synthesis for stochastic biochemical systems
Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions
Interpretation and Reduction of Attribute Grammars
Rational Bijection of Rational Sets
General Predicate Transformer and the Semantics of a Programming Language With Go To Statement
Refinement checking on parametric modal transition systems
Dot to dot, simple or sophisticated: a survey on shape reconstruction algorithms
A theoretical comparison of LRU and LRU-K
Sequentielle Analyse kontextfreier Sprachen
Lower Bounds for On-Line Two-Dimensional Packing Algorithms
Refinement of Fair Action Systems
Session-based concurrency, declaratively
Decomposing a Window into Maximal Quadtree Blocks
A Model of a Time Sharing Virtual Memory System Solved Using Equivalence and Decomposition Methods
Synchronous and asynchronous communication(s) between three parties
The Expressive Theory of Stacks
An Efficient General Iterative Algorithm for Dataflow Analysis
Refinement of actions and equivalence notions for concurrent systems
Past is for free: on the complexity of verifying linear temporal properties with past
Explainability requirements as hyperproperties
On Linear List Recursion in Parallel
Correctness proof of a database replication protocol under the perspective of the I/O automaton model
The model checking fingerprints of CTL operators
Deciding probabilistic bisimilarity over infinite-state probabilistic systems
The Virtual Feedback Problem in Hierarchical Representations of Combinational Circuits
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
Machine structure oriented control code logic
Cycle encoding-based parameter synthesis for timed automata safety
A Complete Algebraic Characterization of Behavioral Subtyping
Backtracking with Multi-Level Dynamic Search Rearrangement
The query complexity of estimating weighted averages
Extended multi bottom-up tree transducers
A New Approach to Parallel Computing
Parsing Extended LR(k) Grammars
Special issue on "Comprehending asynchrony in specification and analysis" dedicated to Walter Vogler on the occasion of his 60th birthday
Solving #SAT using vertex covers
Infinitary Parallelism without Unbounded Nondeterminism in CSP
A Model for Data Structures and Its Applications. I
MRE Hierarchical Decomposition of General Queueing Network Models
A Fine-Grained Data-Flow Analysis Framework
Context-free Text Grammars
Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs
Data reduction for directed feedback vertex set on graphs without long induced cycles
Short Resolution Proofs for a Sequence of Tricky Formulas
On the complexity of the identification problem in Hamming spaces
The Algebraic Specification of Abstract Data Types
Lifting non-finite axiomatizability results to extensions of process algebras
On Simplest Possible Solutions for Post Correspondence Problems
On Slender 0L Languages over the Binary Alphabet
Program Proving: Coroutines
Special issue on "Combining Compositionality and Concurrency": part 2
Gray visiting Motzkins
Synthesis and reengineering of persistent systems
Data Refinement of Mixed Specifications
Linearly bounded infinite graphs
Pascal-Clarifications and Recommended Extensions
BRNGLR: a cubic Tomita-style GLR parsing algorithm
Liveness of a mutex algorithm in a fair process algebra
Reduction Rules for Time Petri Nets
A Compositional Dataflow Semantics for Petri Nets
Evaluation des Performances d'un Algorithme de Controle de la Cohérence d'une Base de Données Répartie
Preserving key in XML data transformation
Parsing Regular Grammars with Finite Lookahead
A Useful Lemma for Context-Free Programmed Grammars