yusuke1997/dblp-id-title huggingface dataset:
Preface to the special issue on computational logics in multi-agent systems
Consciousness and Complexity: The Cognitive Quest
Improving parity games in practice
Probabilistic heuristic estimates
Qualitative and quantitative conditions for the transitivity of perceived causation: - Theoretical and experimental results
Back and Forth between Continuous and Discrete for the Working Computer Scientist
Relational concept discovery in structured datasets
Prime forms and minimal change in propositional belief bases
A model for learning the news in social networks
Real-time solving of computationally hard problems using optimal algorithm portfolios
Can one design a geometry engine? - On the (un)decidability of certain affine Euclidean geometries
A framework for modular ERDF ontologies
Instance space analysis for a personnel scheduling problem
Nonrecursive Incremental Evaluation of Datalog Queries
Analyzing bandit-based adaptive operator selection mechanisms
Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations
Minimal bases of temporal attribute implications
A continuous analog for 4-dimensional objects
Skin lesion feature vectors classification in models of a Riemannian manifold
Special issue on conceptual structures
Temporal Reasoning for a Collaborative Planning Agent in a Dynamic Environment
Technical Aspects of the Digital Library of Mathematical Functions
Inference Guiding in Propositional Knowledge Bases
Dynamic Maintenance of the Transitive Closure in Disjunctive Graphs
A parallel memory-efficient epistemic logic program solver: harder, better, faster
Research Issues and Trends in Spatial and Temporal Granularities
Automation of triangle straightedge-and-compass constructions using automated planning
Hermes: a simple and efficient algorithm for building the AOC-poset of a binary relation
Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry
Guest editorial: Special issue - revised selected papers of the LION 5 conference
Automated verification of refinement laws
On the Equivalence of Upward and Downward Inheritance Reasoners
Agents and Digital Twins for the engineering of Cyber-Physical Systems: opportunities, and challenges
Modelling defeasible and prioritized support in bipolar argumentation
Efficient Boustrophedon Multi-Robot Coverage: an algorithmic approach
The structure, design principle, and strategies of Mulreg
Default consequence relations from topology and measure theory
Belief revision in structured probabilistic argumentation - Model and application to cyber security
An improved multi-task least squares twin support vector machine
Apportioned margin approach for cost sensitive large margin classifiers
35 years of math and AI
Probabilistic logic under coherence: complexity and algorithms
Geometric and cognitive differences between logical diagrams for the Boolean algebra B 4
Reasoning About Time in the Situation Calculus
Efficient suspect selection in unreachable state diagnosis
A New Algorithm for Shortest Paths Among Obstacles in the Plane
Sensor Placement for Diagnosability
On the distance of databases
Horn Minimization by Iterative Decomposition
An Exercise in an Interactive Geometrical Research
UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
The SAT+CAS method for combinatorial search with applications to best matrices
Preface for the special issue on Ontologies and Logic Programming for Query Answering
Least squares approach to K-SVCR multi-class classification with its applications
A Theory of Frame Transformations for Belief Combination
Erratum to: Analyzing restricted fragments of the theory of linear arithmetic
Dualization, Decision Lists and Identification of Monotone Discrete Functions
Independence and Possibilistic Conditioning
Computing weighted solutions in ASP: representation-based method vs. search-based method
Inductive Venn Prediction
The monoids of orders eight, nine & ten
Logic program proportions
Parallel algorithm for computing fixpoints of Galois connections
Alternating DCA for reduced-rank multitask linear regression with covariance matrix estimation
Solving Hierarchical Constraints over Finite Domains with Local Search
Decomposition of Multidimensional Distributions Represented by Perfect Sequences
Backtracking and Random Constraint Satisfaction
Algorithm portfolio selection as a bandit problem with unbounded losses
Filters-based revision
Functional dependencies are helpful for partial materialization of data cubes
Functional dependencies on extended relations defined by regular languages
Automated theorem proving by resolution in non-classical logics
Logic programming in tensor spaces
Lange and Wiehagen's Pattern Language Learning Algorithm: An Average-Case Analysis with Respect to its Total Learning Time
Guest editorial: Marco Somalvico memorial issue
A general method for deciding about logically constrained issues
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers
Diagnosing Tim-Varying Misbehavior: An Approach Based on Model Decomposition
Top-Down Development of Layered Fault Tolerant Systems and its Problems- a Denotic Perspective
Tetrahedral tile pasting systems
Comparing the notions of optimality in CP-nets, strategic games and soft constraints
Choosing reference classes and building provisional models
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
Average Case Results for Satisfiability Algorithms Under the Random-Clause-Width Model
Bayesian optimization over the probability simplex
Logical and algorithmic properties of independence and their application to Bayesian networks
Tightly integrated probabilistic description logic programs for representing ontology mappings
A survey on the applications of variable neighborhood search algorithm in healthcare management
Statistical consultation - Who's the expert?
Tableau-based automata construction for dynamic linear time temporal logic*
Two AGM-style characterizations of model repair
A robust multiobjective model for the integrated berth and quay crane scheduling problem at seaside container terminals
Planning in domains with derived predicates through rule-action graphs and local search
Bribery in voting with CP-nets
Optimizations in computing the Duquenne-Guigues basis of implications
A spatio-temporal framework for managing archeological data
Stochastic Independence in a Coherent Setting
Numerical treatment of nonlinear Emden-Fowler equation using stochastic technique
The Galois lattice as a hierarchical structure for topological relations
Warm fusion in Stratego: A case study in generation of program transformation systems
Time-penalised trees (TpT): introducing a new tree-based data mining algorithm for time-varying covariates
Extending the Maximum Entropy Approach to Variable Strength Defaults
Approximately classic judgement aggregation
A parsimony tree for the SAT2002 competition
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts
Invariants for homology classes with application to optimal search and planning problem in robotics
A computer agent that develops visual compositions based on the ER-model
Region-based theory of discrete spaces: A proximity approach
The Expected Complexity of Analytic Tableaux Analyses in Propositional Calculus - II
Uncertainty in Beliefs and Preferences: Conditions for Optimal Alternatives
How to deal with unbelievable assertions
Strong bounds on the approximability of two Pspace-hard problems in propositional planning
Rule-Based Languages
A Generalized Euclidean Algorithm for Geometry Theorem Proving
External sources of knowledge and value invention in logic programming
Exception diagnosis in multiagent contract executions
Effective deadlock resolution with self-interested partially-rational agents
Stochastic process semantics for dynamical grammars
Computing most probable worlds of action probabilistic logic programs: scalable estimation for 10 30, 000 worlds
Focused most probable world computations in probabilistic logic programs
Probabilistic optimal solution assessment for DCOPs
Using clausal deductive databases for defining semantics in disjunctive deductive databases
Herding cows with JIAC V
Learning via finitely many queries
A Deontic Approach to Database Integrity
Maximal state independent approximations to minimal real change
Approximate integrity constraints in incomplete databases with limited domains
Robust inference of trees
On tree-preserving constraints
Duration Consistency Filtering for Qualitative Simulation
Further Contributions to Characterizing Diagnosis
Recent Work at the Interface of Logic, Combinatorics and Computer Science
Mechanical certification of FOL ID cyclic proofs
Efficient editing and data abstraction by finding homogeneous clusters
Consistency properties and set based logic programming
Deductive belief change
Generalized Resolution for 0-1 Linear Inequalities
Integrating answer set programming and constraint logic programming
Correction to: Preface
The structure of the overhanging relations associated with some types of closure systems
Universal probability-free prediction
A logic-algebraic approach to decision taking in a railway interlocking system
On the implication problem for cardinality constraints and functional dependencies
A Unifying Version-Space Representation
Learning machiavellian strategies for manipulation in Stackelberg security games
Iterative-deepening search with on-line tree size prediction
How Expressive is Statified Aggregation?
How does incoherence affect inconsistency-tolerant semantics for Datalog±?
Learning preference representations based on Choquet integrals for multicriteria decision making
Propositional lower bounds: Algorithms and complexity
An Effective Polynomial-Time Heuristic for the Minimum-Cardinality IIS Set-Covering Problem
Conformal decision-tree approach to instance transfer
Persistence and minimality in epistemic logic
Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers
Belief models: An order-theoretic investigation
An Order-Based Theory of Updates for Closed Database Views
Beliefs, Time and Incomplete Information in Multiple Encounter Negotiations Among Autonomous Agents
Editorial: Strategies in Automated Deduction
Representing and Reasoning about Concurrent Actions with Abductive Logic Programs
A statistical approach to knowledge acquisition for expert systems
Logical Preference Representation and Combinatorial Vote
Compositional reasoning using intervals and time reversal
A combinatorial technique for generation of digital plane using GCD
Robust visual tracking using information theoretical learning
Toward leaner binary-clause reasoning in a satisfiability solver
Why-provenance information for RDF, rules, and negation
Relational concept analysis: mining concept lattices from multi-relational data
Logic Knowledge Bases With Two Default Rules
Model checking multi-agent systems with logic based Petri nets
Search for the best decision rules with the help of a probabilistic estimate
Guest editorial: revised selected papers from the LION 8 conference
Application of the L-fuzzy concept analysis in the morphological image and signal processing
The Algebra of Genetic Algorithms
On-line Motion Planning: Case of a Planar Rod
SDL, A Stochastic Algorithm for Learning Decision Lists with Limited Complexity
Exploiting conjunctive queries in description logic programs
Ontology-based semantic search on the Web and its combination with the power of inductive reasoning
Preface to the special issue on "Concept Lattice and their Applications" (CLA-2011)
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
Quantifying the relationship between software design principles and performance in Jason: a case study with simulated mobile robots
Remarks on the future of AI: machines and communication
Non-mutual captures in cyclic pursuit
Invariants for the FoCaL language
Preface selected revised papers from the LION 14 conference
An Overview of Backtrack Search Satisfiability Algorithms
Preliminary numerical investigations of conformal predictors based on fuzzy logic classifiers
A local approach to concept generation
Two cryptomorphic formalizations of projective incidence geometry
Formalizing the Repair Process - Extended Report
Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search
Some interesting research directions in satisfiability
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
A SAT approach to query optimization in mediator systems
On Induction-Free Provability
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells
A category theory approach to the semiotics of machine learning
New Proofs in Default Logic Theory
Preface to the special issue: ISAIM 2016
Statistical guidance in symbolic learning
Multi-objective optimization with an adaptive resonance theory-based estimation of distribution algorithm
Counterfactual Reasoning by (means of) Defaults
Theoretical aspects of robust SVM optimization in Banach spaces and Nash equilibrium interpretation
A framework for comparing query languages in their ability to express boolean queries
A Graphical Characterization of Lattice Conditional Independence Models
About the unification type of $\mathbf {K}+\square \square \bot $
Improving local-search metaheuristics through look-ahead policies
Multi-valued logic in graph transformation theory and self-adaptive systems
Many-Valued Logic and Mixed Integer Programming
Path planning algorithm for mobile robots based on clustering-obstacles and quintic trigonometric Bézier curve
Multi-robot area patrol under frequency constraints
Some Results on the Computational Complexity of Symmetric Connectionist Networks
A Formal Analysis of the Role of Multi-Point Crossover in Genetic Algorithms
A survey of temporal extensions of description logics
Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining
Redundancy Elimination with a Lexicographic Solved Form
A linear relation between input and first layer in neural networks
Potential applications of three-way multidimensional scaling and related techniques to integrate knowledge from multiple experts
Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems
Refining complexity analyses in planning by exploiting the exponential time hypothesis
Complexity results for answer set programming with bounded predicate arities and implications
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
Hybridizing Nonmonotonic Inheritance with Theorem Proving
Resolution Proofs of Matching Principles
Impact of Boolean factorization as preprocessing methods for classification of Boolean data
The expressive rate of constraints
Cost-location aware heuristic algorithm for hybrid SDN deployment
Boosting Complete Techniques Thanks to Local Search Methods
Modeling Moving Objects over Multiple Granularities
On extreme points of p-boxes and belief functions
Scheduling in the Situation Calculus: A Case Study
Fast Algebraic Methods for Interval Constraint Problems
Models and algorithms for competitive facility location problems with different customer behavior
Semigraphoids and Structures of Probabilistic Conditional Independence
Deontic Logic as Founded on Nonmonotonic Logic
A data-driven approach to neural architecture search initialization
Multi-adjoint concept lattices with heterogeneous conjunctors and hedges
Two-phase Matheuristic for the vehicle routing problem with reverse cross-docking
Minimal Belief and Negation as Failure in Multi-Agent Systems
The Case of the Lying Postman: Decoys and Deception in Negotiation
Analyzing restricted fragments of the theory of linear arithmetic
Heuristic Search and Pruning in Polynomial Constraints Satisfaction
A toolbox for adding knowledge-based modules to existing statistical software
Logic programming with infinite sets
An Ordering on Subgoals for Planning
Finding the likely behaviors of static continuous nonlinear systems
On the completeness of an identifiability algorithm for semi-Markovian models
On the complexity of binary samples
On Stochastic Conditional Independence: the Problems of Characterization and Description
Commitment-based negotiation semantics for accountability in multi-agent systems
Optimal Sequencing of Contract Algorithms
A Borda count for collective sentiment analysis
Database Repairs and Analytic Tableaux
Lattice point of view for argumentation framework
Producing and verifying extremely large propositional refutations - Have your cake and eat it too
Algorithm portfolios for noisy optimization
Computing change and specificity with equational logic programs
Database preference queries - a possibilistic logic approach with symbolic priorities
Logic Programming and Software Maintenance
A Theory of Nonmonotonic Rule Systems II
POPMUSIC as a matheuristic for the berth allocation problem
On pruning techniques in map-reduce style CbO algorithms
A series of revisions of David Poole's specificity
The Variety Generated by Perfect BL-Algebras: an Algebraic Approach in a Fuzzy Logic Setting
Optimizing doubly stochastic matrices for average consensus through swarm and evolutionary algorithms
Social choice rules driven by propositional logic
Diagnosing double regular systems
Congruence relations on some hyperstructures
Mathematical Knowledge Management in HELM
Animal-robots collective intelligence
Inference in possibilistic network classifiers under uncertain observations
My six encounters with Victor Marek - a personal account
Sequent forms of Herbrand theorem and their applications
Maintenance scheduling problems as benchmarks for constraint algorithms
Boosting evolutionary algorithm configuration
Overview of Disjunctive Logic Programming
Formal Proofs About Rewriting Using ACL2
The impact of available information on negotiation results
Competing hypotheses and abductive inference
Recognition of interval Boolean functions
Learning cluster-based structure to solve constraint satisfaction problems
Static and Dynamic Aspects of Goal-Oriented Concurrency Control
Equivalence between answer-set programs under (partially) fixed input
Minimising inequality in multiagent resource allocation
Combinatorial properties of support vectors of separating hyperplanes
Design and implementation of symbolic algorithms for the computation of generalized asymptotes
Preferences in artificial intelligence
Introducing reactive modal tableaux
Correction: Personalized choice prediction with less user information
Preface for the special issue devoted to AISC 2014
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion"
A conformal prediction approach to explore functional data
The complexity of agent design problems: Determinism and history dependence
Knowledge Based Supervised Fuzzy-Classification: An Application to Image Processing
New methods for proving the impossibility to solve problems through reduction of problem spaces
Cooperative exploration and protection of a workspace assisted by information networks
Logics in AI: post-proceedings JELIA06 (Editorial)
Bounds on depth of decision trees derived from decision rule systems with discrete attributes
On the Construction of Hierarchie Models
Confluence operators and their relationships with revision, update and merging
Generalizations of matched CNF formulas
The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach
Generalised subclasses of meromorphically $ q $-starlike function using the Janowski functions
Better degree of approximation by modified Bernstein-Durrmeyer type operators
Shape preserving properties of $ (\mathfrak{p}, \mathfrak{q}) $ Bernstein Bèzier curves and corresponding results over $ [a, b] $
Solution of Abel's integral equation by modified Taylor wavelet with error analysis
On wavelet type generalized Bézier operators
Integral Baskakov type operator with quadratic order of approximation
Preface of the special issue on analysis in data science: Methods and applications
Sampling in $ \Lambda $-shift-invariant subspaces of Hilbert-Schmidt operators on $ L^2(\mathbb{R}^d) $
Concept and attribute reduction based on rectangle theory of formal concept
Bound state solutions for fractional Schrödinger-Poisson systems
Using distribution analysis for parameter selection in repstream
Relay selection based on social relationship prediction and information leakage reduction for mobile social networks
Evaluation of parallel and sequential deep learning models for music subgenre classification
Image enhancement algorithm using adaptive fractional differential mask technique
Global convergence of hybrid conjugate gradient method and its application to nonparametric estimation
Revisiting Mazur separable quotient problem (1932)
A generalized projection iterative method for solving non-singular linear systems
Extended dissipativity-based sampled-data controller design for fuzzy distributed parameter systems
A Sim2real method based on DDQN for training a self-driving scale car
Unified fast algorithms for building concept lattices
Error analysis of classification learning algorithms based on LUMs loss
Optimal Z 1 -eigenvalue inclusion intervals for tensors and their application
A real-time aggregate data publishing scheme with adaptive ω -event differential privacy
Homography estimation along short videos by recurrent convolutional regression network
Error analysis on regularized regression based on the Maximum correntropy criterion
Parameters identification and trajectory optimization of free-floating space robots
Multivalued hybrid contraction that involves Jaggi and Pata-type inequalities
Web services recommendation leveraging semantic similarity computing
Deferred statistical boundedness on time scales
Almost sure convergence for the maxima and minima of strongly dependent nonstationary multivariate Gaussian sequences
On modified Post-Widder operators which fix exponentials
Kernel-based online gradient descent using distributed approach
Ideal convergence in modified IFNS and $ \mathcal{L} $-fuzzy normed space
Granule description based on possible attribute analysis
Summation of Gaussian shifts as Jacobi's third Theta function
Network(graph) data research in the coordinate system
Network centralities, demographic disparities, and voluntary participation
Sketch-based image retrieval via CAT loss with elastic net regularization
Fuzzy-enhanced robust fault-tolerant control of IFOC motor with matched and mismatched disturbances
A Lévy risk model with ratcheting and barrier dividend strategies
"Reducing the number of dimensions of the possible solution space" as a method for finding the exact solution of a system with a large number of unknowns
Behavior in $ L^\infty $ of convolution transforms with dilated kernels
On asymptotically deferred statistical equivalent sequences of order $ { \alpha} $ in probability
Improvement in track and intensity prediction of hurricane Florence 2018 using WRF and HWRF models with regression analysis
On the k-error linear complexity for p n -periodic binary sequences via hypercube theory
Sparse regularized learning in the reproducing kernel banach spaces with the \begin{document}$ \ell^1 $\end{document} norm
New proofs of Khinchin's law of large numbers and Lindeberg's central limit theorem -PDE's approach
Semi-exponential operators connected to $ x^3 $. A probabilistic perspective
Uniform attractors of stochastic three-component Gray-Scott system with multiplicative noise
AIMS: Average information matrix splitting
Fuzzy approximation based on $ \tau- \mathfrak{K} $ fuzzy open (closed) sets
A survey: Reward distribution mechanisms and withholding attacks in Bitcoin pool mining
A new property of Bernstein operators on simplex
Alternative criteria for admissibility and stabilization of singular fractional order systems
Starlike functions associated with $ \tanh z $ and Bernardi integral operator
On multidimensional Urysohn type generalized sampling operators