yusuke1997/dblp-id-title huggingface dataset:
KBFS: K-Best-First Search
Offline handwritten signature verification using local and global features
Modeling temporal processes via belief networks and Petri nets, with application to expert systems
Multiple UAV exploration of an unknown region
Improving machine learning in early drug discovery
A cost-reducing question-selection algorithm for propositional knowledge-based systems
Random Planar Shapes and Their Statistical Recognition
An Optimal Strategy for the Constrained Cycle Cover Problem
Circumscriptive Semantics for Updating Knowledge Bases
A new tractable class of constraint satisfaction problems
Common Theoretical Formulation of the Pattern Recognition, Identification, and Detection Problems
Clique detection with a given reliability
A novel feature-based approach to characterize algorithm performance for the traveling salesperson problem
On Geometric and Topological Reasoning in Robotics
Decision procedures for extensions of the theory of arrays
Altruism in coalition formation games
Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts
Symmetric approximate linear programming for factored MDPs with application to constrained problems
Techniques for Bayesian analysis in expert systems
Multiple Models of Physical Systems - Modeling Intermittent Faults, Inaccuracy, and Tests in Diagnosis
Bagging strategies for learning planning policies
RAMP algorithms for the capacitated facility location problem
Recursive decomposition and bounds of the lattice of Moore co-families
Set-structured and cost-sharing heuristics for classical planning
Novel SVM-based classification approaches for evaluating pancreatic carcinoma
A Singular web service for geometric computations
Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms
Towards Reasoning about Hoare Relations
Best-effort adaptation
D: Set-theoretic query language capturing LOGSPACE
A Category of Geometric Spaces: Some Computational Aspects
GeneRa: A problem generator for radiotherapy treatment scheduling problems
Multi-modal nonmonotonic logics of minimal knowledge
Mechanizing common knowledge logic using COQ
Jeffrey's rule of conditioning in a possibilistic framework - An analysis of the existence and uniqueness of the solution
Algebras for Agent Norm-Regulation
Probabilistic Argumentation Systems and Abduction
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
Hypergraphs of multiparty secrets
A representation for coordination fault detection in large-scale multi-agent systems
Combining probabilistic algorithms, Constraint Programming and Lagrangian Relaxation to solve the Vehicle Routing Problem
A practical approach to model checking Duration Calculus using Presburger Arithmetic
Finding Essential Attributes from Binary Data
Knowledge-based multi-criteria optimization to support indoor positioning
Computing Extended Abduction Through Transaction Programs
A survey of approximability and inapproximability results for social welfare optimization in multiagent resource allocation
Distributed coordination of emergency medical service for angioplasty patients
Physician scheduling problem in Mobile Cabin Hospitals of China during Covid-19 outbreak
RGITL: A temporal logic framework for compositional reasoning about interleaved programs
AMAI Special Issue on Temporal Representation and Reasoning
Discovering state constraints for planning with conditional effects in Discoplan (part I)
Preface to the special issue
Identifying Terminal Distinguishable Languages
Introduction to the special issue: selected papers from EMAS 2022
Toward the complexity of the existence of wonderfully stable partitions and strictly core stable coalition structures in enemy-oriented hedonic games
Dynamic symmetry-breaking for Boolean satisfiability
Computing triadic generators and association rules from triadic contexts
Restricted Prior Inference for Complex Uncertainty Structures
Chunking and cooperation in particle swarm optimization for feature selection
Dual embeddings and metrics for word and relational similarity
On the antiderivatives of x p /(1 - x) with an application to optimize loss functions for classification with neural networks
Agents via Mixed-Mode Computation in Linear Logic
Vertex-Ant-Walk - A robust method for efficient exploration of faulty graphs
Restricted semantics for default reasoning
A study of universal morphological analysis using morpheme-based, holistic, and neural approaches under various data size conditions
Erratum: Preface to special issue on concept lattice and their applications 2008
New Approaches for Understanding the Asymptotic Complexity of A Tree Searching
Developing the aggregate empirical side of computational social choice
An algebraic framework for temporal attribute characteristics
Constructing infinite models represented by tree automata
On biased random walks, corrupted intervals, and learning under adversarial design
Nonmonotonic Consequences in Default Domain Theory
Definability, Decidability, Complexity
On the constructive orbit problem
Erratum to: Database preference queries - a possibilistic logic approach with symbolic priorities
Simulations of nuclear fusion diagnostics based on projections with Venn predictors and context drift detection
Reliable indoor location prediction using conformal prediction
Stochastic Discrimination
Using multi-agent simulation to understand trading dynamics of a derivatives market
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
Knowledge cores in large formal contexts
Combinatorial and discrete geometric problems in image analysis
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions
Belief revision in a microworld
Efficiently Searching a Graph by a Smell-Oriented Vertex Process
Editor's remarks
Combination Calculi for Uncertainty Reasoning: Representing Uncertainty Using Distributions
Leveraging cluster backbones for improving MAP inference in statistical relational models
Efficient approximate verification of B and Z models via symmetry markers
A note from the Editor-in-Chief
Upward refinement operators for conceptual blending in the description logic ℰ ℒ ++
Boolean lexicographic optimization: algorithms & applications
FlexiMine - A Flexible Platform for KDD Research and Application Development
Lang's Universal molecule algorithm
Hyperequivalence of logic programs with respect to supported models
Raising awareness without disclosing truth
On the security of individual data
Efficient and inefficient ant coverage methods
Interpretations of Open Default Theories in Non-Monotonic Logics
Preserving confidentiality while reacting on iterated queries and belief revisions
Automated triangle constructions in hyperbolic geometry
The statistics of state-spaces
Reasoning about temporal properties of rational play
Calibration methods in imbalanced binary classification
Unifying Agent Systems
The Tabu Search Metaheuristic: How we used it
DYANA: Best-First Hierachical Diagnosis Based on Differential Equation Models
Parametrized topological complexity of collision-free motion planning in the plane
A New Algebraic Tool for Automatic Theorem Provers
An adaptive human learning optimization with enhanced exploration-exploitation balance
The Flisvos-2017 multi-agent system
A dissimilarity-based framework for generating inconsistency-tolerant logics
MOO - MicroJIAC agents operating oxen
RAMP experiments in solving the uncapacitated facility location problem
Nested Expressions in Logic Programs
A novel method for solving universum twin bounded support vector machine in the primal space
Fixed Point Theorems in Logic Programming
On Rules of Abduction
Straightening Euclidean Invariants
The complexity of embedded axiomatization for a class of closed database views
Integration and Conditioning in Numerical Possibility Theory
Constructing Armstrong tables for general cardinality constraints and not-null constraints
An NP-complete fragment of fibring logic
Probabilistic Default Reasoning with Conditional Constraints
Guest editorial: Revised selected papers from the LION 13 conference
A new causal discovery heuristic
On exact selection of minimally unsatisfiable subformulae
Collective combinatorial optimisation as judgment aggregation
Exact Satisfiability, a Natural Extension of Set Partition and Its Average Case Behavior
Preface special issue on agents and robots for reliable engineered autonomy (AREA 2023)
Go! - A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents
Tableau reasoning for description logics and its extension to probabilities
Linearly ordered semigroups for fuzzy set theory
Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
An occurrence-based model of word categorization
Local Projective and Affine Invariants
Where logic and agents meet
Representing Diagnosis Knowledge
Domain independent heuristics for online stochastic contingent planning
Hardness results for approximate pure Horn CNF formulae minimization
Argonauts: a working system for motivated cooperative agents
A Fast Parallel SAT-Solver - Efficient Workload Balancing
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
On the Asymptotic Performance of IDA*
Natural language processing and intelligent interfaces
An algorithmic debugging approach for belief-desire-intention agents
On the intertranslatability of non-monotonic logics
Consistency, Redundancy, and Implied Equalities in Linear Systems
Gaussoids are two-antecedental approximations of Gaussian conditional independence structures
Enhancing DLV instantiator by backjumping techniques
A data model and algebra for probabilistic complex values
Finding optimal solutions to the graph partitioning problem with heuristic search
A faster implementation of EQ and SE queries for switch-list representations
Approximate Matching of Polygonal Shapes
On Frequent Sets of Boolean Matrices
Multiple k -opt evaluation multiple k -opt moves with GPU high performance local search to large-scale traveling salesman problems
Parallel machine scheduling with linearly increasing energy consumption cost
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
Families of multi-level Legendre-like arrays
Construction of High-Order Deceptive Functions Using Low-Order Walsh Coefficients
A semantic approach to concept lattice-based information retrieval
A fast compound algorithm for mining generators, closed itemsets, and computing links between equivalence classes
Strong and uniform equivalence of nonmonotonic theories - an algebraic approach
Matching couples with Scarf's algorithm
Multiprobabilistic prediction in early medical diagnoses
A labelling framework for probabilistic argumentation
Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT
IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment
Pattern recognition by an optical thin-film multilayer model
The giving tree: constructing trees for efficient offline and online multi-robot coverage
A Unary Representation Result for System T
Distance semantics for database repair
Characterization Of sampling patterns for low-tt-rank tensor retrieval
Structured Proof Procedures
Weight constraint programs with evaluable functions
Dealing with explicit preferences and uncertainty in answer set programming
Evaluating trustworthiness from past performances: interval-based approaches
Two hemispheres - two networks: a computational model explaining hemispheric asymmetries while reading ambiguous words
Lattice map spiking neural networks (LM-SNNs) for clustering and classifying image data
Simplified handling of iterated term schemata
Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
Efficient implicit Lagrangian twin parametric insensitive support vector regression via unconstrained minimization problems
The theory of interval probabilistic logic programs
Global view on reactivity: switch graphs and their logics
From Logic Programming Towards Multi-Agent Systems
Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry
Resource-Bounded Paraconsistent Inference
Explanatory Diagnoses and Their Characterization by Circumscription
Hypergeometric structures in Feynman integrals
The Dimension Method in Elementary and Differential Geometry
Synthesis with rational environments
Biclustering meets triadic concept analysis
Automated conjecturing III - Property-relations conjectures
A General Framework for Time Granularity and Its Application to Temporal Reasoning
Revising the link between L-Chu correspondences and completely lattice L-ordered sets
Syntactical Models and Fixed Points for the Basic Logic of Proofs
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
Two Components of an Action Language
Model-Based Diagnosis of Analog Electronic Circuits
Practical Issues on the Projection of Polyhedral Sets
SMART-JaCaMo: an organization-based team for the multi-agent programming contest
Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions
Abductive logic programming agents with destructive databases
On domain generators for the evaluation of action reversibility in STRIPS
On the complexity of Entailment in Propositional Multivalued Logics
Proving Ramsey's Theorem by the Cover Set Induction: A Case and Comparison Study
State-Saving Transformations for Efficient Bottom-Up Evaluation of Logic Programs and Rule-Based Systems
Optimization strategies for the bilevel network design problem with affine cost functions
Reasoning on Infeasibility in Distributed Collaborative Computing Environment
Optimal Implementation of Morphological Operations on Neighborhood-Connected Parallel Computers
On the hardness of bribery variants in voting with CP-nets
Ordinals I: Basic Notions
Why it Might Pay to Assume That Languages are infinite
An Object-Oriented Deductive Language
On Some Vagaries of Vagueness and Information
Parameter tuning of continuous Hopfield network applied to combinatorial optimization
Appropriate inferences of data dependencies in relational databases
Multi-trainer binary feedback interactive reinforcement learning
Structured argumentation dynamics
Contextual array grammars and array P systems
Stable models and difference logic
Learning with cone-based geometric models and orthologics
On Computing Boolean Functions by a Spiking Neuron
Semantic string operation for specializing AHC algorithm for text clustering
A Learning Procedure for Mathematics
Intelligent Backtracking in CLP(R)
Efficient matching of nonrectangular shapes
Schema versioning and database conversion techniques for bi-temporal databases
The Possibilistic Handling of Irrelevance in Exception-Tolerant Reasoning
Joint desirability foundations of social choice and opinion pooling
Probability, coherent belief and coherent belief changes
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
Nonmonotonicity and Compatibility Relations in Belief Structures
Minimal ordering constraints for some families of variable symmetries
Logic Programming and Reasoning with Incomplete Information
On the algebra of regular sets - Properties of representable Stonian p-ortholattices
Controlling the Complexity in Model-Based Diagnosis
Reasoning with Conditional Axioms
Capacity, Complexity, Construction
Modelling default and likelihood reasoning as probabilistic reasoning
Guest editorial: special issue - revised selected papers of the LION 6 conference
Interval-based temporal functional dependencies: specification and verification
A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus
The RABTree and RAB-Tree: lean index structures for snapshot access in transaction-time databases
Modularity-based decompositions for valued CSP
Mutual conditional independence and its applications to model selection in Markov networks
Lattice-based and topological representations of binary relations with an application to music
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes
Knowledge representation analysis of graph mining
Guest editors' foreword: special section on local pattern mining in graph-structured data
Statistical learning based on Markovian data maximal deviation inequalities and learning rates
Recursion Theoretic Models of Learning: Some Results and Intuitions
Characterizing functional dependencies in formal concept analysis with pattern structures
Classifying the valence of autobiographical memories from fMRI data
Learning tractable NAT-modeled Bayesian networks
Deception, Dominance and Implicit Parallelism in Genetic Search
Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
Automated discovery of angle theorems
Analysis of parallel algorithms using pipeline architectures in computer vision applications
Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains
Mental states as multi-context systems
Logic of temporal attribute implications
Disjoint essential sets of implicates of a CQ Horn function
Classifier-based constraint acquisition
Belief change and argumentation in multi-agent scenarios
Relative deviation learning bounds and generalization with unbounded loss functions
Turing Complexity of Behncke-Leptin C * -algebras with a Two-Point Dual
An extended knowledge compilation map for conditional preference statements-based and generalized additive utilities-based languages
Foreword - Formalization of geometry, automated and interactive geometric reasoning
"Possible is Certain" is Desirable and Can Be Expressive
Multi-resolution continuous normalizing flows
Hierarchies of Polynomially Solvable Satisfiability Problems
Engineering a multi-agent system in Jason and CArtAgO - Multi-agent programming contest 2017
Indepth combinatorial analysis of admissible sets for abstract argumentation
A polynomial-time maximum common subgraph algorithm for outerplanar graphs and its application to chemoinformatics
Logic, Semigroups and Automata on Words
Neural Networks and Heuristic Search
A semiparametric generative model for efficient structured-output supervised learning
A theory of subtree matching and tree kernels based on the edit distance concept
Solving quantified verification conditions using satisfiability modulo theories
Some Artefacts of Integer-computer Circles
Representation Theory for Default Logic
Nonlinear multi-output regression on unknown input manifold
What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration
A propositional theorem prover to solve planning and other problems
A full first-order constraint solver for decomposable theories
Relating Logic Programming Theories of Actions and Partial Order Planning
On a hypergraph probabilistic graphical model
The Complexity of Minimum Partial Truth Assignments and Implication in Negation-Free Formulae
Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
A non-preferential semantics of non-monotonic modal logic
Automatic error function learning with interpretable compositional networks
An integrated prolog architecture for symbolic and numeric executions
Conditional Independence Structures Examined via Minors
Implication and axiomatization of functional and constant constraints
Similarity Preservation in Default Logic
Directed Lovász local lemma and Shearer's lemma
Improving Performance of Heterogeneous Agents
Discovering the suitability of optimisation algorithms by learning from evolved instances
Evolution of Gaussian Process kernels for machine translation post-editing effort estimation
The DARPA Advanced Logistics Project
A model and a first analysis of distributed-search contraction-based strategies
Sufficient Conditions for Deceptive and Easy Binary Functions
Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation
The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs
An approach to automatic deductive synthesis of functional programs
Improving exact algorithms for MAX-2-SAT
Feasibility in Capacitated Networks: The Effect of Individual Arcs and Nodes
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions
Type-based computation of knowledge graph statistics
Fast strong planning for fully observable nondeterministic planning problems
Search algorithms for automated negotiation in large domains
Large scale variable fidelity surrogate modeling
Lengths of Semigraphoid Inferences
NeVer: a tool for artificial neural networks verification
The use of a strategy language for solving search problems
Preface - Special issue on commonsense reasoning for the semantic web
Programming with Non-Determinism in Deductive Databases
A new approach for preference-based argumentation frameworks
Formalization of a normalization theorem in simplicial topology
Personalized choice prediction with less user information
NSLPCD: Topic based tweets clustering using Node significance based label propagation community detection algorithm
Paraconsistent Declarative Semantics for Extended Logic Programs
An introduction to fuzzy answer set programming
Contextual Deontic Logic: Normative Agents, Violations and Independence
A polynomial relational class of binary CSP
From bogtrotting to herding: a UCD perspective
Irreducible bin packing and normality in routing open shop
A Resource Logic for Multi-Agent Plan Merging
Mechanical Theorem Proving in Projective Geometry
Improving angular speed uniformity of rational parameterization using piecewise radical reparameterization
Undecidable Statements and Random Graphs
Alternating-offers bargaining in one-to-many and many-to-many settings
Evolving objects in temporal information systems
Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances
Describing Symmetrical Structures in Logic
Modeling and shadowing paraconsistent BDI agents
Modular Specifications with Supernormal Defaults
Implicates and reduction techniques for temporal logics
Solving Propositional Satisfiability Problems
Preface to special issue on concept lattice and their applications 2008
Introduction to the special issue on belief revision, argumentation, ontologies, and norms
Introspective and Elaborative Processes in Rational Agents
The Skyline algorithm for POMDP value function pruning
Privacy stochastic games in distributed constraint reasoning
Decision Planning Knowledge Representation Framework: A Case-Study
A Groebner bases-based approach to backward reasoning in rule based expert systems
A subdivision algorithm to reason on high-degree polynomial constraints over finite domains
Combining assisted and automated deduction
Factorization of fuzzy concept lattices with hedges by modification of input data
Cooperative behavior of nano-robots as an analogous of the quantum harmonic oscillator
Guest editorial: revised selected papers from the AMAI 2014 special track on Computational Social Choice
A Data Dtructure for Arc Insertion and Regular Path Finding
Dynamic Non-Bayesian Decision Making in Multi-Agent Systems
Argumentation frameworks as constraint satisfaction problems
A Perspective on Symbolic Mathematical Computing and Artificial Intelligence
Probabilistic Situation Calculus
How to Build a Prototype for a Distributed Digital Mathematics Archive Library
Automated Theorem Proving in Mathematics
From informal to formal proofs in Euclidean geometry
Formalizing complex plane geometry
The relationship between knowledge, belief and certainty
Improving multi-agent systems using Jason
Relative and absolute order-of-magnitude models unified
Coherent lower and upper conditional previsions defined by Hausdorff inner and outer measures to represent the role of conscious and unconscious thought in human decision making