yusuke1997/dblp-id-title huggingface dataset:
Complexity Issues in Preference Elicitation and Manipulation
Bag-Connected Tree-Width: A New Parameter for Graph Decomposition
Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes
Common Derivations in Locally Determined Logic Programs
Dalal's Revision in Sentential Decision Diagrams
Stochastic Game Modelling for Distributed Constraint Reasoning with Privacy
Exact Graph Coloring Algorithms of Getting Partial and All Best Solutions
International Symposium on Artificial Intelligence and Mathematics, AI&M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002
Considering User Preference and Acceptance of Next Generation Route Guidance Systems
Exact Projection Functions for Floating Point Number Constraints
Computing multiple c-revision using OCF knowledge base
An Exponential Tail Bound for Lq Stable Learning Rules. Application to k-Folds Cross-Validation
On the Evolvability of Monotone Monomials with a (1+1) Evolutionary Algorithm
Probabilistic Sequential Diagnosis by Compilation
Multi-armed bandits with episode context
Z-Equilibrium For a CSP Game
Causal Discovery by Randomness Test
Querying DL-lite Knowledge Bases from Hidden Datasets
Finding read-once refutations in 2CNF formulas and variants - a parameterized perspective
Default Logic Generalized and Simplified
Towards a Unified Theory of State Abstraction for MDPs
Constraint Composite Graph-Based Lifted Message Passing for Distributed Constraint Optimization Problems
Representations of All Solutions of Boolean Programming Problems
PAC-Learning in the Presence of One-sided Classification Noise
The Maximum Likelihood Approach to Voting on Social Networks
Opening Pandora's Box: the Correlated Case
A Model for Optimizing Recalculation Schedules to Minimize Regret
Decomposition Methods for the Travelling Purchaser Problem
Quartet-Based Learning of Hierarchical Latent Class Models: Discovery of Shallow Latent Variables
Dynamic Algorithm Portfolios
Approximating minimum representations of key Horn functions
A Complete Axiomatization for Blocks World
Probabilistic ‘If-Then’ Rules: On Bayesian Conditionals and Probabilistic Implications
Using mathematics on an industrial scale
Dynamic Programming Bounds from Decision Diagrams
Towards a Rule-Based Interpretation of Conditional Defaults
Efficient First Order Superlinear Algorithms
Weighted Best First Search for Graphical Models
Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits
On hierarchies over the SLUR class
Adaptable Boundary Sets
On the Efficiency of Backtracking Algorithms for Binary Constraint Satisfaction Problems
Toward parallel search for optimization in graphical models
Hybrid Quantum-Classical Algorithms for Solving the Weighted CSP
Model Quality Assessment in Membrane Proteins Using predicted Lipid Accessibility Profiles
Probably Approximately Correct (PAC) Exploration in Reinforcement Learning
Stochastic Binary Decision Diagrams
Parallel Setup for computing the Homological Region Adjacency Tree of a 3D binary image
Reversing the Classification of Weighted Rule Ensembles
A Survey of Approximability and Inapproximability Results for Social Welfare Optimization in Multiagent Resource Allocation
Partially Preordered Inconsistent Lightweight Ontologies in Possibility Theory
Controlling Weighted Voting Games by Deleting or Adding Players with or without Changing the Quota
Probabilistic Analysis of Random Mixed Horn Formulas
Robust Optimization using Machine Learning for Uncertainty Sets
Finding the Straight Skeleton for 3D Orthogonal Polyhedrons: A Combinatorial Approach
Variants of Quantified Linear Programming and Quantified Linear Implication
Improvement of Boosting Algorithm by Modifying the Weighting Rule
Partial Collective Matrix Factorization and its PAC Bound
Kernelization, Generation of Bounds, and the Scope of Incremental Computation for Weighted Constraint Satisfaction Problems
From Sentiment Analysis to Preference Aggregation
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits
Bounded Branching and Modalities in Non-Deterministic Planning
SAT as a Programming Environment for Linear Algebra and Cryptanalysis
Grammar-Based Integer Programming Models and Methods for Employee Scheduling Problems
The Separation Problem for Binary Decision Diagrams
Minimal Residual Approaches for Policy Evaluation in Large Sparse Markov Chains
Behavioural social choice: a status report
Improving Exact Algorithms for MAX-2-SAT
Extending the Tractability of the Clique Problem via Graph Classes Generalizing Treewidth
Logical Analysis of Multiclass Data with Relaxed Patterns
The NumbersWithNames Program
A Quotient Construction on Markov Chains with Applications to the Theory of Generalized Simulated Annealing
Using Abstraction for Generalized Planning
The Numerical Stability of Kernel Methods
Classifier Utility Visualization by Distance-Preserving Projection of High Dimensional Performance D
A Hybrid Approach to NER by Integrating Manual Rules into MEMM
Paired Sampling in Density-Sensitive Active Learning
Interval-Based Multicriteria Decision Making
Lower Bounds for Adversarially Robust PAC Learning
A General Agnostic Active Learning Algorithm
Biased Minimax Probability Machine for Medical Diagnosis
Trick Costs for α μ and New Relatives
The performance of a new hybrid classifier based on boxes and nearest neighbors
Benchmarking recovery theorems for the DC-SBM
Explicit Logics of Knowledge and Conservativity
Approximating Common Voting Rules by Sequential Voting in Multi-Issue Domains
Heuristics for a Brokering Set Packing Problem
A Semi-Algebraic Description of Naive Bayes Models with Two Hidden Classes
An Alternative Formulation of Dynamic-Programming Updates for POMDPs
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2020, Fort Lauderdale, Florida, USA, January 6-8, 2020
Valid parameters for predictive state representations
Sampling for Approximate Inference in Continuous Time Bayesian Networks
Detecting and monitoring the progress of powdery mildew disease in squash using hyperspectral imaging and artificial neural networks
Scalable Inference in Hierarchical Generative Models
On quadratization of pseudo-Boolean functions
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016
Conflict-point formulation of intersection control for autonomous vehicles
On Construction of a Digital Plane using GCD Algorithm
Implementations of two algorithms for the threshold synthesis problem
A Method for Generating all the Prime Implicants of Binary CNF Formulas
On the computational complexities of Quantified Integer Programming variants
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018
Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables
Generalized and Bounded Policy Iteration for Interactive POMDPs
On Sample Reuse Methods for Answering k-wise Statistical Queries
Junta Distributions and the Average-Case Complexity of Manipulating Elections
Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting
Hardness Results for Approximate Pure Horn CNF Formulae Minimization
Assigning indivisible and categorized items
Learning the structure of Bayesian Networks using constraint programming
A Peek at the Cryptol Language
Parameterization of Boolean functions by vectorial functions and associated constructions
Bounds for Regret-Matching Algorithms
Parameterized Analysis for the Group Activity Selection Problem on Graphs
Spines of Random Constraint Satisfaction Problems: Definition and Impact on Computational Complexity
On Dillon's class H of Niho bent functions and o-polynomials
Making Recommendations when Users Experience Fatigue
Dualization of Boolean functions Using Ternary Decision Diagrams
Ordered direct implicational basis of a finite closure system
Negative Results on Learning Dependencies with Queries
Interalgorithmic Consolidation for Pattern Recognition Applied to Melanoma Genomic Data
Finding Optimal POMDP Controllers Using Quadratically Constrained Linear Programs
Extending the Bellman equation for MDPs to continuous actions and cont. time in the discounted case
Symmetric Primal-Dual Approximate Linear Programming for Factored MDPs
Sudoku as a SAT Problem
Independence, Decomposability and Functions which Take Values into an Abelian Group
Multimodal Nonmonotonic Logics of Minimal Knowledge
Learning Buyer Behavior under Realistic Pricing Restrictions
Solution Sets for DCOPs and Graphical Games: Metrics and Bounds
Cones of Nonnegative Quadratic Pseudo-Boolean Functions
Complexity of First Order ID-Logic
Rare Class Discovery Based on Active Learning
Horse foraging behavior detection using Recurrent Neural Networks
Interpretability of Bayesian Network Classifiers: OBDD Approximation and Polynomial Threshold Functions
Detecting and Exploiting Global Structures in MIP
A Weighted Majority Voting based on NMI for Cluster Analysis
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2014, Fort Lauderdale, FL, USA, January 6-8, 2014
Boole's probability bounding problem, linear programming aggregations, and nonnegative quadratic pseudo-Boolean functions
Detecting Low Complexity Clusters by Skewness and Kurtosis in Data Stream Clustering
Project Debater - an autonomous debating system
Networks of morphological relations
A Theory of Learning with Competing Objectives and User Feedback
Hyperequivalence of Programs and Operators
Learning via Finitely Many Queries
Inferring Utilities from Negotiation Actions
Robust Domain Adaptation
Pasting Systems with Picture Tiles Yielding Interesting Patterns
Decompositions Based on Decision Diagrams
On the union of orthants in the n-space
A Classification Model to Predict the Rate of Decline of Kidney Function
Efficient SAT-Encoding of Linear CSP Constraints
Domain Adaptation--Can Quantity compensate for Quality?
An analysis of breadth-first beam search using uniform cost trees
Secure Combinatorial Optimization Simulating DFS Tree-Based Variable Elimination
Principled Approaches for Learning to Defer with Multiple Experts
Theoretical Comparison between the Gini Index and Information Gain Criteria
Learning Intelligent Theorem Proving from Large Formal Corpora
Extensions on Tiered Coalition Formation Games
Revisiting Partially Preordered Possibilistic DL-Lite – An Extended Abstract
A combinatorial min-max theorem and minimization of pure-Horn functions
Strong Equivalence of Nonmonotonic Theories -- an Algebraic Approach
Ubiquitous monotone and almost-monotone Boolean functions in systems biology
On analysis of unicity of Jeffrey's rule of conditioning in a probabilistic framework
Boolean functions with long prime implicants
Bi-tone and k-tone decompositions of Boolean functions
Solving influence diagrams using heuristic search
Solving Non-Linear Pseudo-Boolean Optimization Problems by Constraint Integer Programming
Coherent lower and upper conditional previsions with respect to inner and outer Hausdorff measures and their insights for modelling human decisions in AI
Approximate Convex Decomposition of 3D Digital Object Surface Using Scalar Triple Product of Vectors
On the convergence of the convex relaxation method and distributed optimization of Bethe free energy
Analysis of Greedy Robot-Navigation Methods
Hybrid Approaches Based on Lagrangian Relaxation
On the gap between ess(f) and cnf_size(f)
Duality in Knowledge Sharing
Topological Measurement of Deep Neural Networks Using Persistent Homology
More Flexible Term Schematisations via Extended Primal Grammars
Optimality Conditions for Distributive Justice
A Pigeon-Hole Based Encoding of Cardinality Constraints
Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums
Generalized Opinion Pooling
Assertional-based Removed Set Revision of DL-LiteR Belief Bases
Generalizations of Watched Literals for Backtracking Search
Generalization Bounds for Minimum Volume Set Estimation based on Markovian Data
Stable Models and Difference Logic
Bayes-Adaptive POMDPs: A New Perspective on the Explore-Exploit Tradeoff in Partially Observable Domains
Narrowing confidence interval width of PAC learning risk function by algorithmic inference
Minimizing Output Error in Multi-Layer Perceptrons
The Power of Symmetry for Nash Stable Additively Separable Hedonic Games
Logical analysis of data: Estimation of cause-effect relationship under noise with applications in classification of natural water springs
A general framework for approximating min sum ordering problems
The Expressive Rate of Constraints
Approximate Linear Programming for Solving Hybrid Factored MDPs
Construction of a Bayesian DAG from Conditional Independencies
Building Incomplete but Accurate Models
Meta-inductive Probability Aggregation and Optimal Scoring
Logical Analysis of Multiclass Data
On the Goal Value of a Boolean Function
On the locality of action domination in sequential decision making
A Fast Way to Produce Optimal Fixed-Depth Decision Trees
Adaptivity gap of the SBFE problem
Neural Diffusion Graph Convolutional Network for Predicting Heat Transfer in Selective Laser Melting
Efficient Value-Function Approximation via Online Linear Regression
Boolean and Matroidal Independence in Uncertainty Theory
Learning Optionality and Repetition
Smart Sprayer for Precision Weed Control Using Artificial Intelligence: Comparison of Deep Learning Frameworks
International Symposium on Artificial Intelligence and Mathematics, AI&Math 2006, Fort Lauderdale, Florida, USA, January 4-6, 2006
Generalization Bounds for Partially Linear Models
Extracting Relevant Information from Samples
A Non-Preferential Semantics of Non-Monotonic Modal Logic
On the Linear Programming Duals of Temporal Reasoning Problems
Ensemble Correlation Coefficient
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting
Approximation Techniques for Space-Efficient Compilation in Abductive Inference
Approximate Probabilistic Constraints and Risk-Sensitive Optimization Criteria in Markov Decision Processes
A Statistical Mechanics Approach to Random Euclidean MAX TSP
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008
Bayesian Model Averaging Across Model Spaces via Compact Encoding
Mining logic models in the presence of noisy data
Planning Aims for a Network of Horizontal and Overhead Sensors
Preferences, Constraints, Uncertainty, and Multi-Agent Scenarios
Evaluation of DNF Formulas
Modeling and Reasoning with Star Calculus
On the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean Formulas
On Resolution Like Proofs of Monotone Self-Dual Functions
Deductive Algorithmic Knowledge
Joint Desirability Foundations of Social Choice and Opinion Pooling
Similarity measures in formal concept analysis
Approximation Strategies for Routing in Stochastic Dynamic Networks
Using Genetic Algorithms and Gene Expression Programming to Estimate Evapotranspiration with Limited Meteorological Data
Circular Partial Words and Arrays
Enhanced Delta-tolling: Traffic Optimization via Policy Gradient Reinforcement Learning
Applying Search Based Probabilistic Inference Algorithms to Probabilistic Conformant Planning: Preliminary Results
A Formal Proof of the Banach-Tarski Theorem in ACL2(r)
Strategy Representation and Compression for Influence Diagrams
Two Paradigms of Nonmonotonic Reasoning
On aggregating binary relations using 0-1 integer linear programming
A Sheaf Model of Contradictions and Disagreements. A (very) Preliminary Report
A Comparison of 2D Regular Grids based on Digital Continuity of Rotations
Improving Configuration Checking for Satisfiable Random k-SAT Instances
A Local Search Algorithm for the Min-Sum Submodular Cover Problem
Quantitative measures of organizational degree induced by mobile agents
Explicit Manifold Representations for Value-Function Approximation in Reinforcement Learning
Computational Approaches to Open Problems in Combinatorics
Using the Central Limit Theorem for Belief Network Learning
Geometrically Motivated Nonstationary Kernel Density Estimation on Manifold
Another Way to Browse the Search Space For Some Transformations from CSP to SAT
Extending Formal Models of the Doctrine of Double Effect with Emotions
Verifying RUP Proofs of Propositional Unsatisfiability
Optimizing Decision Making via Submodular Surrogates
Dissociation-Based Oblivious Bounds for Weighted Model Counting
The Influence of Operational Cost on Estimation
Hydra formulas and directed hypergraphs: A preliminary report
Partial Boolean Functions for QBF Semantics
Formalizing Alexander duality through BDDs
Stochastic Evaluation of Symmetric Boolean Functions
Generalization Bounds for Learning with Linear and Quadratic Side Knowledge
Tableau-Based Model Generation for Relational Syllogistic Logics
Time series data identification and optimization with the measurements of potential bias and discrimination issues based on pseudo-Boolean functions
Recovering Social Networks by Observing Votes
A Successive Approximation Algorithm for Coordination Problems
Symmetry Breaking in Constraint Satisfaction
Learning under p-Tampering Attacks
Formalization of Concepts
Sublinear-Time Adaptive Data Analysis
Parking search equilibrium and its implications for parking management
On the size of CNF formulas with high propagation strength
Application of Hierarchical Hybrid Encodings to Solve CSPs as Equivalent SAT Problems
Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs
Identification of Causal Effects in Linear SEMs using the Instrumental Variable Function
Testing Unsatisfiability of Constraint Satisfaction Problems via Tensor Products
Integrating Answer Programming and Constraint Logic Programming
Detection of Knee Osteoarthritis using Light-weight CNN
The Effect of Domain Modeling on Efficiency of Planning
Typical-Case Challenges to Complexity Shields That Are Supposed to Protect Elections Against Manipulation and Control: A Survey
False-Name-Proof Recommendations in Social Networks
Scalable Action Respecting Embedding
Formalizing Mathematics using the Lean Theorem Prover
On Visibility Problems in the Plane -- Solving Minimum Vertex Guard Problems by Successive Approximations
A Bayesian Approach to Cluster Validation
From Machine Ethics To Machine Explainability and Back
Bribery in Voting Over Combinatorial Domains Is Easy
A Randomization Strategy for Combinatorial Search
Graph decomposition heuristic for machine scheduling problems
Towards Formalized Matrix Analysis and Algorithms
Privacy for the Distributed Stochastic Algorithm with Breakouts
Practical Challenges in Explicit Ethical Machine Reasoning
Solving Constrained Nonlinear Optimization Problems Through Constraint Partitioning
On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
Is Formalizing Semifield Duality Worth it?
Non-clairvoyant Scheduling with Predictions
Two-dimensional Oxide Picture Languages
A Simple Yet Effective Framework for Optimization Problems
Elephant in the Room: Non-Smooth Non-Convex Optimization
Warped Landscapes and Random Acts of SAT Solving
Estimating the Number of Local Maxima for k-SAT Instances
Generating models of a matched formula with a polynomial delay
Reinforcement Learning with Limited Reinforcement: Using Bayes Risk for Active Learning in POMDPs
From Acceptation Relations to Causality Ascription in a Belief Function Framework
Traffic Optimization For a Mixture of Self-interested and Compliant Agents
Pattern-based Classification and Survival Analysis of Chronic Kidney Disease
Prior Information Based Bayesian Infinite Mixture Model
Backbone Guided Dynamic Local Search for Propositional Satisfiability
Probabilistic Knowledge Representation Using Gröbner Basis Theory
Towards a Unifying View on Monotone Constructive Definitions
Conjunctive Choice Logic
Optimally handling commitment issues in online throughput maximization
Complexity of Shift Bribery in Hare, Coombs, Baldwin, and Nanson Elections
Low-rank Feature Selection for Reinforcement Learning
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2012, Fort Lauderdale, Florida, USA, January 9-11, 2012
The Complexity of Controlling Condorcet, Fallback, and k-Veto Elections by Replacing Candidates or Voters
Proof planning Non-standard Analysis
Towards Understanding the Min-Sum Message Passing Algorithm for the Minimum Weighted Vertex Cover Problem: An Analytical Approach
A Lazy Approach to Online Learning with Constraints
An Interpretation of Consistent Belief Functions in Terms of Simplicial Complexes
Monads for composing categorical and probabilistic meanings
Optimal Sequential Multi-Way Number Partitioning
Information Gain Versus Gain Ratio: A Study of Split Method Biases
LTE Misbehavior Detection in Wi-Fi/LTE Coexistence Under the LAA-LTE Standard
Short paper: lightweight remote attestation using physical functions
Shatter: Using Threshold Cryptography to Protect Single Users with Multiple Devices
Robust deep-learning-based radio fingerprinting with fine-tuning
TextLogger: inferring longer inputs on touch screen using motion sensors
Countering Relay and Spoofing Attacks in the Connection Establishment Phase of Wi-Fi Systems
Proceedings of the Third ACM Conference on Wireless Network Security, WISEC 2010, Hoboken, New Jersey, USA, March 22-24, 2010
DEMO: Illuminating the BlindSpot: Efficient Single-Node Selective Jamming for LoRaWAN
Attacks and improvements to an RIFD mutual authentication protocol and its extensions
Algorithm selection framework for cyber attack detection
Inside job: diagnosing bluetooth lower layers using off-the-shelf devices
A comprehensive formal analysis of 5G handover
Adversarial Learning for Cross Layer Security
LTESniffer: An Open-source LTE Downlink/Uplink Eavesdropper
A secure privacy-preserving roaming protocol based on hierarchical identity-based encryption for mobile networks
LNGate: powering IoT with next generation lightning micro-payments using threshold cryptography
Advancing attacker models of satellite-based localization systems: the case of multi-device attackers
Expedited Beacon Verification for VANET
A framework to test and fuzz wi-fi devices
Performance evaluation of key management schemes for wireless legacy smart grid environments: poster
Opinion: Security Lifetime Labels - Overcoming Information Asymmetry in Security of IoT Consumer Products
Energy attacks and defense techniques for wireless systems
honeyM: a framework for implementing virtual honeyclients for mobile devices
RFID-based supply chain partner authentication and key agreement
MR-iNet Gym: Framework for Edge Deployment of Deep Reinforcement Learning on Embedded Software Defined Radio
Guardian Positioning System (GPS) for Location Based Services
Unveiling Privacy Risks in WebGPU through Hardware-based Device Fingerprinting
Valkyrie: a generic framework for verifying privacy provisions in wireless networks
Security for cyber-physical systems: case studies with medical devices, robots, and automobiles
Attacks on time-of-flight distance bounding channels
Wireless and Mobile Security Research and Teaching in the Post-Pandemic World
A measurement study of tracking in paid mobile applications
Machine Learning-based Prevention of Battery-oriented Illegitimate Task Injection in Mobile Crowdsensing
Physical layer location privacy issue in wireless small cell networks
Cross-protocol attacks: weaponizing a smartphone by diverting its bluetooth controller
SNOW-Vi: an extreme performance variant of SNOW-V for lower grade CPUs
Detection of malicious packet dropping in wireless ad hoc networks based on privacy-preserving public auditing
Take a Bite of the Reality Sandwich: Revisiting the Security of Progressive Message Authentication Codes
Swipe2Pair: Secure and Fast In-Band Wireless Device Pairing
A First Look at Code Obfuscation for WebAssembly
GPS+: a back-end coupons identification for low-cost RFID
Efficient, Scalable, and Resilient Vehicle-Centric Certificate Revocation List Distribution in VANETs
Physical-layer attacks on chirp-based ranging systems
Can Android Applications Be Identified Using Only TCP/IP Headers of Their Launch Time Traffic?