yusuke1997/dblp-id-title huggingface dataset:
Smooth Curve Extraction by Mean Field Annealing
Semantics and Expressiveness of Disjunctive Ordered Logic
First-order definable counting-only queries
Diversity, dependence and independence
The complexity of satisfiability in non-iterated and iterated probabilistic logics
Approximate kernel partial least squares
Stable polygons of cyclic pursuit
Fast algorithms for implication bases and attribute exploration using proper premises
Correction to: Preface: Selected revised papers from the LION 15 conference
Geometry of relative plausibility and relative belief of singletons
Comparing action descriptions based on semantic preferences
Non-terminating processes in the situation calculus
Time and space complexity of deterministic and nondeterministic decision trees
Locally Strong Coherence in Inference Processes
ESBL: an integrated method for learning from partial information
Searching Minimax Game Trees under Memory Space Constraint
Static and dynamic structural symmetry breaking
Exact 3-satisfiability is decidable in time O(2 0.16254 n )
Automatic Construction of Accurate Models of Physical Systems
Selected Papers of Logic in AI - Editorial
Data-driven Koopman operator approach for computational neuroscience
The multi-agent programming contest from 2005-2010 - From gold collecting to herding cows
A math-heuristic Dantzig-Wolfe algorithm for capacitated lot sizing
Question-Asking Strategies for Horn Clause Systems
Knowledge Representation and Management in ACTIVEMATH
Propositional Truth Maintenance Systems: Classification and Complexity Analysis
ECWA Made Easy
Multi-Agent Dynamic Logics with Informational Test
Learning non-convex abstract concepts with regulated activation networks
Cross-conformal predictors
Higher order generalization and its application in program verification
A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs
On integer closure in a system of unit two variable per inequality constraints
Critical Properties and Complexity Measures of Read-Once Boolean Functions
Modelling a chain of command in the incident command system using sequential characteristic function games
Evolutionary game analysis on government subsidy policy and bank loan strategy in China's distributed photovoltaic market
Strong Conditional Independence for Credal Sets
On look-ahead heuristics in disjunctive logic programming
Analogical proportions in monounary algebras
Default logic generalized and simplified
An Efficient Algorithm for the Minimal Unsatisfiability Problem for a Subclass of CNF
FO(ID) as an extension of DL with rules
Conceptual logic programs
On generalization in moment-based domain adaptation
Human-in-the-loop active learning via brain computer interface
Taxed congestion games with failures
Subsumption and Indexing in Constraint Query Languages with Linear Arithmetic Constraints
Constraints and Universal Algebra
Self-Conditional Probabilities and Probabilistic Interpretations of Belief Functions
Efficient Distribution-Free Population Learning of Simple Concepts
The Kinematics of Cutting Solid Objects
Modeling Connectionist Network Structures: Some Geometric and Categorical Aspects
On the Monotonicity of (LDL) Logic Programs with Set
Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form
Reasoning with system W and infeasible worlds
On the role of fairness and limited backward induction in sequential bargaining games - New behavioral models and analyses
Heuristic search for one-to-many shortest path queries
A metaheuristic for inferring a ranking model based on multiple reference profiles
A Framework for Controlling Model-Based Diagnosis Systems with Multiple Actions
Meeting a deadline: shortest paths on stochastic directed acyclic graphs with information gathering
Reducing reinforcement learning to KWIK online regression
Multi-context systems in dynamic environments
Polynomial function intervals for floating-point software verification
On quantified linear implications
Fundamental conditions on the sampling pattern for union of low-rank subspaces retrieval
Epistemic irrelevance on sets of desirable gambles
The Inheritance of Dynamic and Deontic Integrity Constraints
Algorithms, approximation, and empirical studies in behavioral and computational social choice - Preface
Using Tactics to Reformulate Formulae for Resolution Theorem Proving
Hypersequents, logical consequence and intermediate logics for concurrency
A new stochastic approach for solution of Riccati differential equation of fractional order
A new modal logic for reasoning about space: spatial propositional neighborhood logic
Combining formal concept analysis and translation to assign frames and semantic role sets to French verbs
A multiparametric view on answer set programming
A Probabilistic Matching Algorithm for Computer Vision
Propositional Semantics for Disjunctive Logic Programs
A framework for multi-robot node coverage in sensor networks
Learning-Theoretic Perspectives of Acceptable Numberings
Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation
Learning dynamic algorithm portfolios
Mixed deterministic and probabilistic networks
Quasi-classical reasoning in paraconsistent databases
Markov Properties and Factorization of Possibility Distributions
On Coherent Conditional Probabilities and Disintegrations
Is computational complexity a barrier to manipulation?
Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques
The Kreisel Length-of-Proof Problem
Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs
Guest Editorial: Temporal representation and reasoning
A new methodology for developing deduction methods
Comparing multiagent systems research in combinatorial auctions and voting
CAPSUL: A constraint-based specification of repeating patterns in time-oriented data
A Proof of the Vose-Liepins Conjecture
Building multi-agent systems using Jason
Application of constraints to formal verification and artificial intelligence
Inductive proof search modulo
A kd-tree algorithm to discover the boundary of a black box hypervolume - Or how to peel potatoes by recursively cutting them in halves
Generalized modus Ponens using various implications and T-norm product with threshold
Negation as Failure for Disjunctive Logic Programming
Guest editors' preface to special issue on interval temporal logics
On a rule-based interpretation of default conditionals
An adaptive model for human syllogistic reasoning
A Continuum of Discrete Systems
Computational social choice for coordination in agent networks
A Discrete-Time Quantized-State Hopfield Neural Network
Foreword to special issue for ISAIM 2018
Message delay and DisCSP search algorithms
On Differential Invariants of Planar Curves and Recognizing Partially Occluded
Neighborhood density information in clustering
Preface to the special issue on analogies: from mathematical foundations to applications and interactions with ML and AI
Probabilistic modelling, inference and learning using logical theories
Guest editorial: Temporal representation and reasoning
Extending the alternating-offers protocol in the presence of competition: models and theoretical analysis
Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem
An Algebraic Model for Generating and Adapting Neural Networks by Means of Optimization Methods
Criteria of efficiency for set-valued classification
Portfolio theorem proving and prover runtime prediction for geometry
Probabilistic query answering over inconsistent databases
A taxonomy of parallel strategies for deduction
Socially conscious stability for tiered coalition formation games
Massively Parallel Computations on Many-variable Polynomials
On 2D constrained discrete rigid transformations
Clustering, coding, and the concept of similarity
An alternative representation of Fractal Gene Regulatory Networks facilitating analysis and interpretation
Set based logic programming
On commutativity based Edge Lean search
Towards a geometry deductive database prover
Applicable algebra and artificial intelligence
Computations on One Dimensional Cellular Automata
The dark side of interval temporal logic: marking the undecidability border
Realtime gray-box algorithm configuration using cost-sensitive classification
Convenient adjacencies for structuring the digital plane
Dynamic search trajectory methods for global optimization
Inferring Minimal Functional Dependencies in Horn and q-Horn Theories
Exploring the boundary of half-positionality
An Argumentation Framework in Default Logic
Data science meets optimization II
Model simplification for supervised classification of metabolic networks
Impossibility results for belief contraction
Designing Mathematical Libraries Based on Requirements for Theorems
Spatial reasoning with rectangular cardinal relations - The convex tractable subalgebra
Exploration costs as a means for improving performance in multiagent systems
Another Perspective on Default Reasoning
Learning from obstructions: An effective deep learning approach for minimum vertex cover
Log A G: An algebraic non-monotonic logic for reasoning with graded propositions
On-Line Learning with Malicious Noise and the Closure Algorithm
Characterizing Crossover in Genetic Algorithms
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving
The Universal Approximation Property
On the benefits of knowledge compilation for feature-model analyses
State duration and interval modeling in hidden semi-Markov model for sequential data analysis
Foreword to this special issue: conformal and probabilistic prediction with applications
A Bayesian reinforcement learning approach in markov games for computing near-optimal policies
Predicting optimal solution cost with conditional probabilities - Predicting optimal solution cost
Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights
Modelling and Solving Employee Timetabling Problems
Special issue on multi-agent systems
Minimal hypotheses: extension-based semantics to argumentation
Model-Based and Qualitative Reasoning: An Introduction
Data-driven algorithm selection and tuning in optimization and signal processing
Formal testing for separation assurance
Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB
An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving
Advances in the Understanding and Use of Conditional Independence
Multiple-source adaptation theory and algorithms - addendum
Temporal Resolution Using a Breadth-First Search Algorithm
A new definition for feature selection stability analysis
Probabilistic causal bipolar abstract argumentation: an approach based on credal networks
Detecting and repairing anomalous evolutions in noisy environments - Logic programming formalization and complexity results
Modal Nonmonotonic Logics Demodalized
Ineractive Scheduling as a Constraint Satisfiability Problem
Full hierarchical dependencies in fixed and undetermined universes
Foundations of Entity - Relationship Modeling
On matrices and K-relations
Generalization and Specialization Strategies for Learning r.e. Languages
On the Partial Semantics for Disjunctive Deductive Databases
A Recognition Network Model-Based Approach to Dynamic Image Understanding
Correction to: Parametrized topological complexity of collision‑free motion planning in the plane
Robust domain adaptation
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols
Editorial: Temporal Representation and Reasoning
TALplanner: A temporal logic based forward chaining planner
An improvement of Random Node Generator for the uniform generation of capacities
The Relative Complexity of Resolution and Cut-Free Gentzen Systems
Free poset algebras and combinatorics of cones
Using statistics to make expert systems "user-acquainted"
Multiple-Instance Learning of Real-Valued Geometric Patterns
Ordinals II: Some Applications and a Functorial Approach
Deep Blue's contribution to AI
Introducing statistical consistency for infinite chance constraints
Challenges to complexity shields that are supposed to protect elections against manipulation and control: a survey
Genetic algorithms and particle swarm optimization for exploratory projection pursuit
Relevance sensitive belief structures
A nondeterministic well-founded semantics
A formal definition and a sound implementation of analogical reasoning in logic programming
Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning
Spanning-tree based coverage of continuous areas by a mobile robot
On the universal approximation property of radial basis function neural networks
A Linear Programming Approach to Reasoning about Probabilities
Automated generation of illustrated proofs in geometry and beyond
Interchangeability with thresholds and degradation factors for Soft CSPs
A Temporal Logic-Based Approach for the Description of Object Behavior Evolution
Global Solutions for Nonlinear Systems Using Qualitative Reasoning
Possibilistic Merging and Distance-Based Fusion of Propositional Information
Heuristics as Markov chains
Inductive conformal anomaly detection for sequential detection of anomalous sub-trajectories
Local Computation with Valuations from a Commutative Semigroup
Online learning of variable ordering heuristics for constraint optimisation problems
From Conditional Events to Conditional Measures: A New Axiomatic Approach
Revising event calculus theories to recover from unexpected observations
A Reasoning Model Based on the Production of Acceptable Arguments
An investigation of parametrized difference revision operators
On the Linear Structure of Betting Criterion and the Checking of Coherence
Automated analysis of the difficulty of secondary school geometry theorems
"All the world's a stage": incongruity humour revisited
Approximation and dependence via multiteam semantics
Extension and equivalence problems for clause minimal formulae
Labelled splitting
Using Automata Theory for Characterizing the Semantics of Terminological Cycles
A formal concept analysis of harmonic forms and interval structures
Effective IG heuristics for a single-machine scheduling problem with family setups and resource constraints
Parameter Learning in Object-Oriented Bayesian Networks
Multilayer Neural Networks and Polyhedral Dichotomies
Incorporating statistical information into expert classification systems to reduce classification costs
Partial equilibrium logic
Data model descriptions and translation signatures in a multi-model framework
Justification logics, logics of knowledge, and conservativity
Optimal probability aggregation based on generalized brier scoring
A preferential semantics for causal reasoning about action
A logic of argumentation for specification and verification of abstract argumentation frameworks
The Unique Horn-Satisfiability Problem and Quadratic Boolean Equations
Analytic center cutting plane method for multiple kernel learning
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention
Bounded variability of metric temporal logic
Errata: "The relationship between knowledge, belief, and certainty"
Definite Clause Programs are Canonical (over a suitable domain)
Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems
Multivariate time series analysis from a Bayesian machine learning perspective
Computational Mereology: A Study of Part-of Relations for Multimedia Indexing
Optimization of heuristic search using recursive algorithm selection and reinforcement learning
The USP Farmers herding team
Experimental evaluation of pheromone models in ACOPlan
Attribute and Unification Grammar: A Review and Analysis of Formalisms
Combinatorial and geometric problems in imaging sciences
Hyperparameter autotuning of programs with HybridTuner
Extending Constraint Logic Programming for Temporal Reasoning
Formalization of gyrovector spaces as models of hyperbolic geometry and special relativity
Guest editorial: Revised selected papers from the LION 16 conference
Correction to: Directed Lovász Local Lemma and Shearer's Lemma
An Se-Tree-Based Prime Implicant Generation Algorithm
On Completeness theorems for Feature Logics
Factor analysis of ordinal data via decomposition of matrices with grades
An application of formal concept analysis to semantic neural decoding
A dual RAMP algorithm for single source capacitated facility location problems
The IBMAP approach for Markov network structure learning
Computational Dynamics: Modeling and Visualizing Trajectory Flows in Phase Space
Polynomial Time Uniformization and Non-standard Methods
A BRKGA-DE algorithm for parallel-batching scheduling with deterioration and learning effects on parallel machines under preventive maintenance consideration
Festschrift in honor of Oliviero Stock - - Preface
How many crowdsourced workers should a requester hire?
About Classical Logic and Imperative Programming
Using agent- and organisation-oriented programming to develop a team of agents for a competitive game
A program to create new geometry proof problems
Probability Density Decomposition for Conditionally Dependent Random Variables Modeled by Vines
Foreword on the relationship of computer algebra with mathematics and physics - Special issue on applications of computer algebra
Symmetries of knowledge bases
Incidence structures and Stone-Priestley duality
On those Boolean functions that are coset leaders of first order Reed-Muller codes
Integrating statistical theory with statistical databases
Derivative of functions over lattices as a basis for the notion of interaction between attributes
Weighted heuristic anytime search: new schemes for optimization over graphical models
A study of homogeneity in relational databases
A BDD SAT Solver for Satisfiability Testing: An Industrial Case Study
A semiotic perspective on polysemy
Foreword: special issue on formalisation of geometry, automated and interactive geometric reasoning
Supporting User-Defined Granularities in a Spatiotemporal Conceptual Model
Optimal decompositions of matrices with grades into binary and graded matrices
Betti numbers of polynomial hierarchical models for experimental designs
Valid attacks in argumentation frameworks with recursive attacks
On the Complexity of Recognizing Regions Computable by Two-Layered Perceptrons
Purposive Discovery of Operators
DWAM - A WAM Model Extension for Disjunctive Logic Programming
Parsing as semantically guided constraint solving: the role of ontologies
Automated theorem provers: a practical tool for the working mathematician?
Active integrity constraints for general-purpose knowledge bases
A Bayesian interpretation of the confusion matrix
The foundations of DeLP: defeating relations, games and truth values
Applying the persistent set approach in temporal reasoning
Manipulation Complexity of Same-System Runoff Elections
On some statistical procedures for stock selection problem
Combining and automating classical and non-classical logics in classical higher-order logics
Erratum for: A Study of Homogeneity in Relational Databases [Annals of Mathematics and Artificial Intelligence 33(2) (2001) 379-414]
On Inductive Inference of Cyclic Structures
Ranking kinematics for revising by contextual information
Learning from masked analogies between sentences at multiple levels of formality
Prioritized repairing and consistent query answering in relational databases
A unifying learning framework for building artificial game-playing agents
Is VAT really single linkage in disguise?
Reasoning composite beliefs using a qualitative approach
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Derivation and analysis of parallel-in-time neural ordinary differential equations
Kernel collaborative online algorithms for multi-task learning
Sorting, Linear Time and the Satisfiability Problem
Polynomial-Time Computable Stable Models
Embedding and automating conditional logics in classical higher-order logic
Galois theory for analogical classifiers
Building a Knowledge Base: An Example
On the complexity of rational verification
Weighted and Choquet L p distance representation of comparative dissimilarity relations on fuzzy description profiles
Bargaining with incomplete information
Practical reasoning using values: an argumentative approach based on a hierarchy of values
Reasoning on temporal class diagrams: Undecidability results
A new variant of the A-algorithm which closes a node at most once
Editorial: Imprecise probability perspectives on artificial intelligence
Digital continuity of rotations in the 2D regular grids
From Ants to A(ge)nts: A Special Issue on Ant-Robotics
Digital forensics and investigations meet artificial intelligence
P-log: refinement and a new coherency condition
The Generative Power of Feature Geometry
In the Realm of Agents
Editorial: Annals of Mathematics and Artificial Intelligence special issue on multi-robot coverage, search, and exploration
Ranking policies in discrete Markov decision processes
PAC-learning in the presence of one-sided classification noise
Conditional Obligation, Deontic Paradoxes, and the Logic of Agency
Extended RDF: Computability and complexity issues
The application of conformal prediction to the drug discovery process
A Recursion Planning Analysis of Inductive Completion
Equilibrium graphs
Theory-relational belief revision
On multivariate network analysis of statistical data sets with different measures of association
Contrary-to-duty reasoning with preference-based dyadic obligations
An Algebraic Representation of Calendars
Probabilities of causation: Bounds and identification
Sparse conformal prediction for dissimilarity data
Functional and multivalued dependencies in nested databases generated by record and list constructor
A formal approach to attack graphs
Complexity and Undecidability Results for Logic Programming
On finding a shortest isothetic path and its monotonicity inside a digital object
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics
Graded Similarity-Based Semantics for Nonmonotonic Inferences
Spines of random constraint satisfaction problems: definition and connection with computational complexity
Attribute-incremental construction of the canonical implication basis
Anytime Clausal Reasoning
Boolean factors as a means of clustering of interestingness measures of association rules
Separoids: A Mathematical Framework for Conditional Independence and Irrelevance
Proof of the Interval Satisfiability Conjecture
Deterministic FOIES are Strictly Weaker
Controlling weighted voting games by deleting or adding players with or without changing the quota
A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision
Scheduling jobs on a single serial-batching machine with dynamic job arrivals and multiple job types
Solving the resolution-free SAT problem by submodel propagation in linear time
Categorical Shape Theory as a Formal Language for Pattern Recognition?
Sufficient conditions for the existence of a sample mean of time series under dynamic time warping
A normative programming language for multi-agent organisations
Readable automated proofs of ruler and compass constructions
The future starts now
Increasing interpretations
Seminormal Stratified Default Theories
Using Computational Learning Strategies as a Tool for Combinatorial Optimization
Conformal predictions for information fusion - A comparative study of p-value combination methods
Multi-robot collaboration for robust exploration
Functional Dependencies among Boolean Dependencies
Somewhat Finite Approaches to Infinite Sentences
Logical aspects of multi-agent systems
Variable space diversity, crossover and mutation in MOEA solving many-objective knapsack problems
A multi-algorithm pathfinding method: Exploiting performance variations for enhanced efficiency
Coalition formation games - preface
Lemma and cut strategies for propositional model elimination