yusuke1997/dblp-id-title huggingface dataset:
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Temporal Granularity and Indeterminacy in Reasoning About Actions and Change: An Approach Based on the Event Calculus
Logical analysis of data - the vision of Peter L. Hammer
The Complexity of Symmetry-Breaking Formulas
Actors, Actions, and Initiative in Normative System Specification
The complexity of Boolean constraint satisfaction local search problems
The F-logic Approach for Description Languages
Hybridizing Concept Languages
Targeting solutions in Bayesian multi-objective optimization: sequential and batch versions
Signifiers for conveying and exploiting affordances: from human-computer interaction to multi-agent systems
A clausal resolution method for branching-time logic ECTL +
Soft computing methods for multiobjective location of garbage accumulation points in smart cities
CROSBY: Financial Data Interpretation as Model-Based Diagnosis
Remarks on computational learning theory
Enhancing numerical constraint propagation using multiple inclusion representations
On Dynamically Presenting a Topology Course
Using formal methods with SysML in aerospace design and engineering
Mechanical Theorem Proving in the Local Theory of Surfaces
The Complexity of Read-Once Resolution
Bayesian optimization for learning gaits under uncertainty - An experimental comparison on a dynamic bipedal walker
Formulating an approach to develop a system for the temporal analysis of clinical trial data: the POSCH AI project
The price to pay for forgoing normalization in fair division of indivisible goods
An Adaptive Reasoning Approach Towards Efficient Ordering of Composite Hypotheses
Costly information providing in binary contests
Probability propagation
Hierarchical Model for Analysis and Recognition of Handwritten Characters
Autonomous sets for the hypergraph of all canonical covers
Cellular Automata, Matrix Substitutions and Fractals
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems
A lagrangian-based approach for universum twin bounded support vector machine with its applications
Prioritized assertional-based removed sets revision of DL-Lite belief bases
A Procedural Semantics for Stratified Database Updates
Sentence entailment in compositional distributional semantics
Static Semantics for Normal and Disjunctive Logic Programs
Satisfiability-Based Algorithms for Boolean Optimization
Using the affordance concept for model design in agent-based simulation
Feature extraction from optimization samples via ensemble based symbolic regression
Controlling selection areas of useful infeasible solutions for directed mating in evolutionary constrained multi-objective optimization
Proof systems and transformation games
Representation and Reconstruction of Polygons and Polyhedra Using Hierarchical Extended Gaussian Images
MADTwin: a framework for multi-agent digital twin development: smart warehouse case study
Quantum Mereotopology
Preface: Selected revised papers from the LION 15 conference
An Algorithm for Model-Based Diagnosis That Considers Time
Route Generation and Description Using a Logical and an Analogical Framework
Embedding Complex Decision Procedures Inside an Interactive Theorem Prover
An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs
The Mathematical Modeling of Heuristics
A dynamic programming strategy to balance exploration and exploitation in the bandit problem
On the Vapnik-Chervonenkis dimension of computer programs which use transcendental elementary operations
Fitting discrete polynomial curve and surface to noisy data
Information and probabilistic reasoning
Notes on the existence of a solution in the pairwise comparisons method using the heuristic rating estimation approach
Latent binary MRF for online reconstruction of large scale systems
Fuzzy Mathematical Morphology
Formalizing a Logic for Logic Programming
Elimination Procedures for Mechanical Theorem Proving in geometry
Unrestricted vs restricted cut in a tableau method for Boolean circuits
Towards a model of creative understanding: deconstructing and recreating conceptual blends using image schemas and qualitative spatial descriptors
Robust Statistical Methods of 2D and 3D Image Description
Sequential composition of propositional logic programs
A new approach to hybrid probabilistic logic programs
Properties of Sensitivity Analysis of Bayesian Belief Networks
A Survey of Some Combinatorial Results Concerning Functional Dependencies in Database Relations
My work with Victor Marek: a mathematician looks at answer set programming
Tennis manipulation: can we help serena williams win another tournament? - Or can we control a knockout tournament with reasonable complexity?
Structures of opposition induced by relations - The Boolean and the gradual cases
Guest editors' preface to the special issue on conformal prediction and its applications
Common equivalence and size of forgetting from Horn formulae
Feature uncertainty bounds for explicit feature maps and large robust nonlinear SVM classifiers
Reconstruction of polygonal sets by constrained and unconstrained double probing
Variational Bayes via propositionalized probability computation in PRISM
Geometry and Search in Motion Planning
Submodularity and its application to some global constraints
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
A review of the relations between logical argumentation and reasoning with maximal consistency
Preface - Special issue on applications of computer algebra
Iterative Dutch combinatorial auctions
Finding the Minimum Weight IIS Cover of an Infeasible System of Linear Inequalities
Coverage for robotics - A survey of recent results
Safe navigation in adversarial environments
Extending Answer Sets for Logic Programming Agents
Flyspeck II: the basic linear programs
Speculative Computation Through Consequence-Finding in Multi-Agent Environments
Temporal Methods: Multi-Dimensional Modeling of Sequential Circuits
Blending under deconstruction
Integrating optimized item selection with active learning for continuous exploration in recommender systems
Order-sorted equational generalization algorithm revisited
A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logic Programs
Cognition and Neurocomputation
Query answering in circumscribed OWL2 profiles
Spam detection in social media using convolutional and long short term memory neural network
Guest editorial: special issue on answer set programming and other computing paradigms
AF-ABLE in the multi agent contest 2009
Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
A Preliminary Specification Methodology for Model-based Diagnosis
Correction to: The logic of secrets and the interpolation rule
Resolution cannot polynomially simulate compressed-BFS
On the relation among answer set solvers
Bargaining over multiple issues in finite horizon alternating-offers protocol
Kernel classification using a linear programming approach
Pseudo-Additive Measures and Triangular-Norm-Based Conditioning
Functions-as-constructors higher-order unification: extended pattern unification
Mining closed patterns in relational, graph and network data
Completeness theorems for reactive modal logics
Chance constrained conic-segmentation support vector machine with uncertain data
Non-Determinism in Logic-Based Languages
Equilibrium logic
Information-based distance measures and the canonical reflection of view updates
On Stratified Disjunctive Programs
Near-term advances in quantum natural language processing
Toward incremental computation of argumentation semantics: A decomposition-based approach
Energy allocation and payment: a game-theoretic approach
The SAT2002 competition
Time Series Generation by Recurrent Neural Networks
Relating Logic Programs Via Program Maps
Circuits in Bounded Arithmetic, Part I
Introduction to the special volume on knowledge discovery and discrete mathematics and a tribute to the memory of Peter L. Hammer
Software abstraction of elements of statistical strategy
Solving job shop scheduling with setup times through constraint-based iterative sampling: an experimental analysis
A quantitative approach to belief revision in structured probabilistic argumentation
Distributed problem solving in social insects
Towards Specifying Norms
A Qualitative Approach to Syllogistic Reasoning
Interval-valued soft constraint problems
Digitized rotations of 12 neighbors on the triangular grid
Distributed multirobot exploration, mapping, and task allocation
Analogical proportions
Locally Determined Logic Programs and Recursive Stable Models
A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
The complexity of priced control in elections
Introducing the Mathematical Category of Artificial Perceptions
Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation
Graphical reasoning in compact closed categories for quantum computation
Aggregated Fuzzy Answer Set Programming
Appendix: Short Description of Existing Provers
A behavioral perspective on social choice
Proof-checking Euclid
Using argument strength for building dialectical bonsai
Heuristics Used by HERBY for Semantic Tree Theorem Proving
Decomposition of object-oriented database schemas
Nonmonotonic Reasoning: From Complexity to Algorithms
Two parameter-tuned multi-objective evolutionary-based algorithms for zoning management in marine spatial planning
Programming Rational Agents in a Modal Action Logic
Notes on desirability and conditional lower previsions
On the connection between many-valued contexts and general geometric structures
Planning in partially-observable switching-mode continuous domains
Graphoid properties of epistemic irrelevance and independence
Representing von Neumann-Morgenstern Games in the Situation Calculus
Answer set based design of knowledge systems
Computing envelopes in dynamic geometry environments
Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
ALOGTIME and a Conjecture of S. A. Cook
Simplification Rules for the Coherent Probability Assessment Problem
An abstract view on optimizations in propositional frameworks
Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas
Special cause management: a knowledge-based approach to statistical process control
Analyzing cognitive processes from complex neuro-physiologically based data: some lessons
Sound and Complete Qualitative Simulation Needs "Quantitative" Filtering
Generalized feature similarity measure
Complex Probabilistic Modeling with Recursive Relational Bayesian Networks
Generalization of association rules through disjunction
General information spaces: measuring inconsistency, rationality postulates, and complexity
Towards automated proving in solid geometry
To be fair, use bundles
Selecting a subset of diverse points based on the squared euclidean distance
On deciding subsumption problems
Binary image reconstruction from a small number of projections and the morphological skeleton
Introducing reactive Kripke semantics and arc accessibility
Foundations of distributed interaction systems
Avoiding Duplicate Proofs with the Foothold Refinement
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach
Adaptation of Declaratively Represented Methods in Proof Planning
Homological spanning forest framework for 2D image analysis
On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty
Most Relevant Explanation: computational complexity and approximation methods
Integrated inventory and production policy for manufacturing with perishable raw materials
Multi-agent programming contest 2017: BusyBeaver team description
Query answering under probabilistic uncertainty in Datalog+ / - ontologies
Tumato 2.0 - a constraint-based planning approach for safe and robust robot behavior
Consistency-Based and Abductive Diagnoses as Generalized Stable Models
Exact Complexity of Problems of Incompletely Specified Automata
Query answering DL-lite knowledge bases from hidden datasets
Approximate Qualitative Temporal Reasoning
Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics
Reliable region predictions for automated valuation models
Neural networks in Fréchet spaces
Multi-agent programming contest 2017 - The twelfth edition of the MAPC
General Temporal Knowledge for Planning and Data Mining
Controlling sub-tournaments: easy or hard problem? - Theoretical vs. practical analysis
Spectral schemes as ringed lattices
On variable-weighted exact satisfiability problems
Correction to: Log A G: An algebraic non-monotonic logic for reasoning with graded propositions
The undecidability of proof search when equality is a logical connective
On Line 2-Satisfiability
Recognition of Simple Enlarged Horn Formulas and Simple Extended Horn Formulas
Planning for multiple measurement channels in a continuous-state POMDP
Applying robotic frameworks in a simulated multi-agent contest - TUBDAI team description multi-agent programming contest 2017
On the investigation of hyper-heuristics on a financial forecasting problem
The representation and manipulation of the algorithmic probability measure for problem solving
Branch-and-Cut Solution of Inference Problems in Propositional Logic
Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems
Modeling Genetic Algorithms with Markov Chains
The logic of secrets and the interpolation rule
Exploiting focal points among alternative solutions: Two approaches
Term Matching on a Mesh-Connected Array of Processors
Syntax and Semantics for a Fuzzy Temporal Constraint Logic
A Feature-based Syntax/Semantics Interface
Automated generation of geometric theorems from images of diagrams
Complexity of shift bribery for iterative voting rules
An Empirical Study of the 4-valued Kripke-Kleene and 4-valued Well-Founded Semantics in Random Propositional Logic Programs
Some Formal Properties of Stratified Feature Grammars
Distributive mereotopology: extended distributive contact lattices
The Application of Automated Reasoning to Questions in Mathematics and Logic
On Stratified Belief Base Compilation
A Cost Effective Question-Asking Strategy for Horn Clause Systems
Recursive decomposition tree of a Moore co-family and closure algorithm
Symbolic representation of user-defined time granularities
A formal mathematical framework for modeling probabilistic hybrid systems
Guest editorial: revised selected papers from the LION 12 conference
A hybrid simulated annealing and variable neighborhood search algorithm for the close-open electric vehicle routing problem
Disjunctive databases for representing repairs
Erratum to: The RABTree and RAB- Tree: lean index structures for snapshot access in transaction-time databases
Portfolio approaches for constraint optimization problems
An Overview of a Formal Framework for Managing Mathematics
Controlled query evaluation with open queries for a decidable relational submodel
Dexter: a guide to selecting the best design for an industrial screening experiment
ISAIM-2022: international symposium on artificial intelligence and mathematics
Automated Reasoning with Function Evaluation for COCOLOG
Conditional Independence in A Coherent Finite Setting
Path homotopy invariants and their application to optimal trajectory planning
Constraint-based learning for non-parametric continuous bayesian networks
Parallel cooperative propositional theorem proving
On Skolemization in Constrained Logics
Improving the anytime behavior of two-phase local search
On Multiple Spline Approximations for Bayesian Computations
Special issue on learning and intelligent optimization
Classes of Spatio-Temporal Objects and their Closure Properties
A three-valued semantics for querying and repairing inconsistent databases
Road networks structure analysis: A preliminary network science-based approach
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate
A dual-population search differential evolution algorithm for functional distributed constraint optimization problems
Category localization semantics for specification refinements
Group planning with time constraints
Semantics for a theory of defeasible reasoning
Bayesian learning of Bayesian networks with informative priors
Polynomial-Time Inference of All Valid Implications for Horn and Related Formulae
On hedonic games with common ranking property
Complexity of control by partitioning veto elections and of control by adding candidates to plurality elections
Automating the Synthesis of Decision Procedures in a Constructive Metatheory
Theory and algorithms for learning with rejection in binary classification
Tractable representations for Boolean functional synthesis
Rewriting input expressions in complex algebraic geometry provers
Standard Forms for Rational Linear Arithmetic in Constraint Logic Programming
Preference Logics: Towards a Unified Approach to Nonmonotonicity in Deductive Reasoning
Automated Production of Traditional Proofs for Theorems in Euclidean Geometry
Compact representations of all members of an independence system
Kripke modelling and verification of temporal specifications of a multiple UAV system
Design of optimal quasi-developable surface via simulated annealing based shape-parameter-search algorithm
Boosting conditional probability estimators
On stability of a formal concept
Secure Agents
Exact algorithms for two integer-valued problems of searching for the largest subset and longest subsequence
Correction to: Gaussoids are two-antecedental approximations of Gaussian conditional independence structures
A geometric approach to deploying robot swarms
TAME: Using PVS strategies for special-purpose theorem proving
Preferring Daignoses Using a Partial Order On Assumptions
Tradeoffs in the empirical evaluation of competing algorithm designs
Gibbs and Markov Properties of Graphs
Uncertain reasoning
Boolean Query Optimization and the 0-1 Hyperbolic Sum Problem
Nonmonotonic reasoning from conditional knowledge bases with system W
Efficient data structures for backtrack search SAT solvers
On Semidefinite Programming Relaxations of (2+p)-SAT
Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory
On Non-Determinism in Machines and Languages
The complexity of homomorphisms and renamings for minimal unsatisfiable formulas
Testing satisfiability of CNF formulas by computing a stable set of points
Temporal representation and reasoning in artificial intelligence: Issues and approaches
An optimal bidimensional multi-armed bandit auction for multi-unit procurement
Coloration Neighbourhood Search With Forward Checking
Classes of linear programs solvable by coordinate-wise minimization
Characterization of Desirable Properties of General Database Decompositions
Complexity Results for HTN Planning
Learning invariant features using inertial priors
Non-determinism in Deductive Databases - Preface
Strong order equivalence
On the finite representation of linear group equivariant operators via permutant measures
STCSP - Structured Temporal Constraint satisfaction Problems
Towards a better integration of modelers and black box constraint solvers within the product design process
Learning parallel portfolios of algorithms
Auction design with costly preference elicitation
Preface to the special issue on geometric reasoning
Efficient exploration of unknown indoor environments using a team of mobile robots
Contextual rational closure for defeasible ALC
Semantical investigations into nonmonotonic and probabilistic logics
Disjunctive LP + Integrity Constraints = Stable Model Semantics
The Local Minima of the Error Surface of the 2-2-1 XOR Network
Breaking the curse of dimensionality: hierarchical Bayesian network model for multi-view clustering
On the decentralized coordination of herding activities: a Jadex-based solution
A split-combination approach to merging knowledge bases in possibilistic logic
Stability of accuracy for the training of DNNs via the uniform doubling condition
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems
An Empirical Test of Patterns for Nonmonotonic Inference
The Expressiveness of Locally Stratified Programs
On Maximal Frequent and Minimal Infrequent Sets in Binary Matrices
Set-theoretic completeness for epistemic and conditional logic
Detecting Stable Matrices
Black-box combinatorial optimization using models with integer-valued minima
New tractable classes for default reasoning from conditional knowledge bases
A resistant learning procedure for coping with outliers
kNN Classification: a review
Adversarial attacks on graph-level embedding methods: a case study
Efficient Querying and Animation of Periodic Spatio-Temporal Databases
Conformal prediction of biological activity of chemical compounds
Solving morphological analogies: from retrieval to generation
Knowledge transfer in SVM and neural networks
Causal dynamic inference
Efficient segmentation with the convex local-global fuzzy Gaussian distribution active contour for medical applications
Used car salesman problem: A differential auction-barter market
Knowledge forgetting in propositional μ-calculus
Well-founded and Stationary Models of Logic Programs
Proving BDI Properties of Agent-Oriented Programming Languages
Dualization of boolean functions using ternary decision diagrams
Learning under p-tampering poisoning attacks
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5
ESTES: a statistical expert system for time series analysis
Regular path queries under approximate semantics
A Heuristic Technique for Multi-Agent Planning
Representing and solving finite-domain constraint problems using systems of polynomials
From Hilbert's program to a logic tool box
Representing Epistemic Uncertainty by Means of Dialectical Argumentation
Reasoning about non-immediate triggers in biological networks
Applying Restriction Constraints to Deductive Databases
Generalized Disjunctive Well-Founded Semantics for Logic Programs
General default logic
Implementing Euclid's straightedge and compass constructions in type theory
A study on the predictive strength of fractal dimension of white and grey matter on MRI images in Alzheimer's disease
Incomplete Deductive Databases
Improving configuration checking for satisfiable random k-SAT instances
About some UP-based polynomial fragments of SAT
An Invitation to Fiberwise Topology: The General Framework for Multicolored Images in Pattern Recognition and Some so its Artificial Intelligence Aspects
Accelerating difficulty estimation for conformal regression forests
Probability logic and optimization SAT: The PSAT and CPA models
From Conditional Independences to Factorization Constraints with Discrete Random Variables
Forgetting for knowledge bases in DL-Lite
Interpreting rate-distortion of variational autoencoder and using model uncertainty for anomaly detection
Easy Cases of Probabilistic Satisfiability
Topological measurement of deep neural networks using persistent homology
Formalization of geometry, automated and interactive geometric reasoning
Advances in preference handling: foreword
Making model checking feasible for GOAL
A symbolic algebra for the computation of expected utilities in multiplicative influence diagrams
Arity and alternation: a proper hierarchy in higher order logics
An integrated bi-objective U-shaped assembly line balancing and parts feeding problem: optimization model and exact solution method
A formal analysis of interest-based negotiation
Efficient design of experiments for sensitivity analysis based on polynomial chaos expansions
On the isomorphism problem of concept algebras
Deep learning models for brain machine interfaces
A hybrid clonal selection algorithm for the location routing problem with stochastic demands
Current application of conformal prediction in drug discovery - Two useful applications
A Modal Contrastive Logic: The Logic of 'but'
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms