yusuke1997/dblp-id-title huggingface dataset:
Maximizing submodular or monotone approximately submodular functions by multi-objective evolutionary algorithms
Convolutional spectral kernel learning with generalization guarantees
Epsilon-Transformation: Exploiting Phase Transitions to Solve Combinatorial Optimization Problems
Inductive Learning of Structural Descriptions: Evaluation Criteria and Comparative Review of Selected Methods
Conspiracy Numbers for Min-Max Search
Higher Order Rule Characterization of Heuristics for Compass and Straight Edge Constructions in Geometry
Geometric Reasoning with Logic and Algebra
Local Consistency in Parallel Constraint Satisfaction Networks
Low-rank decomposition meets kernel learning: A generalized Nyström method
A Computational Approach to George Boole's Discovery of Mathematical Logic
Learning adaptation knowledge to improve case-based reasoning
The Metaphorical Brains
The automated understanding of simple bar charts
Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT
A formal analysis of why heuristic functions work
An experimental evaluation of simplicity in rule learning
Verification of agent navigation in partially-known environments
Decision making with multiple objectives using GAI networks
Brain-actuated interaction
From here to human-level AI
Forgetting in multi-agent modal logics
Negotiation and Cooperation in Multi-Agent Environments
H. A. Simon, The Sciences of the Artificial
Tractability-preserving transformations of global cost functions
A Logic of Universal Causation
Alternating-offers bargaining with one-sided uncertain deadlines: an efficient algorithm
Generating SAT instances with community structure
GAS, A Concept on Modeling Species in Genetic Algorithms
The well-designed logical robot: Learning and experience from observations to the Situation Calculus
Optimizing group learning: An evolutionary computing approach
A review of the textbook Graph-based Knowledge Representation
Commonsense Reasoning about Causality: Deriving Behavior from Structure
Compactly representing utility functions using weighted goals and the max aggregator
NovPhy: A physical reasoning benchmark for open-world AI systems
Subjective Inference with Multiple Evidence
Deriving Consensus in Multiagent Systems
Abstraction in data-sparse task transfer
Word sense disambiguation with pictures
Computing and restoring global inverse consistency in interactive constraint satisfaction
Backward-chaining evolutionary algorithms
Solving conflicts in information merging by a flexible interpretation of atomic propositions
Understanding Positioning from Multiple Images
A Generalization of Collapsible Cases of Circumscription
Neural network ensembles: evaluation of aggregation algorithms
On the Logic of Iterated Belief Revision
Low Overhead Alternatives to SSS
When security games hit traffic: A deployed optimal traffic enforcement system
An efficient algorithm for counting Markov equivalent DAGs
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications
Order-sorted logic programming with predicate hierarchy
Continuous Case-Based Reasoning
Efficient algorithms for game-theoretic betweenness centrality
Yet some more complexity results for default logic
A Commonsense Language for Reasoning about Causation and Rational Action
Least commitment in Graphplan
Probabilistic Logic Revisited
A semantics for probabilistic hybrid knowledge bases with function symbols
Annotated revision programs
Parameterised verification for multi-agent systems
State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning
Measuring universal intelligence: Towards an anytime intelligence test
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL
"Guess what I'm doing": Extending legibility to sequential decision tasks
Resolution for Max-SAT
Tractable approximate deduction for OWL
Pouring liquids: A study in commonsense physical reasoning
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
(Re)Conceptualizing trustworthy AI: A foundation for change
A New Theorem in Particle Physics Enabled by Machine Discovery
Knowledge-Level Analysis of Belief Base Operations
Temporal prepositions and their logic
The Structure-Mapping Engine: Algorithm and Examples
Optimal cruiser-drone traffic enforcement under energy limitation
Qualitative rigid-body mechanics
The complexity and generality of learning answer set programs
Agent planning programs
Local search for Boolean Satisfiability with configuration checking and subscore
Incremental Interpretation
Model Verification and Improvement Using DISPROVER
Risk-averse policy optimization via risk-neutral policy optimization
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints
Viewing Control Structures as Patterns of Passing Messages
A Statistical Approach to Adaptive Problem Solving
Asynchronous aggregation and consistency in distributed constraint satisfaction
Axiomatic characterization of PageRank
Tractable approximations for temporal constraint handling
Stephanie Forrest, ed., Emergent Computation: Self-Organizing, Collective, and Cooperative Phenomena in Natural and Artificial Computing Networks
Comparing human behavior models in repeated Stackelberg security games: An extended study
Brain or Mind? A Review of Allen Newell's Unified Theories of Cognition
Finding explanations of inconsistency in multi-context systems
Using background knowledge in case-based legal reasoning: A computational model and an intelligent learning environment
Online joint bid/daily budget optimization of Internet advertising campaigns
Eric R. Kandel, In Search of Memory: The Emergence of a New Science of Mind , W.W. Norton (2006) 352 pp
Judea Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
The complexity of decision problems about equilibria in two-player Boolean games
Regression and progression in stochastic domains
Dual-track spatio-temporal learning for urban flow prediction with adaptive normalization
Effective and fast module extraction for nonempty ABoxes
When is it better not to look ahead?
A General Branch and Bound Formulation for Understanding and Synthesizing And/Or Tree Search Procedures
Learning constraints through partial queries
An Event Drive Integration Reasoning Scheme for Handling Dynamic Threats in an Unstructured Environment
Algorithms for electric vehicle scheduling in large-scale mobility-on-demand schemes
Quantifying the uncertainty of a belief net response: Bayesian error-bars for belief net inference
First order LUB approximations: characterization and algorithms
Using Hidden Nodes in Bayesian Networks
Knowledge-based strategies for multi-agent teams playing against Nature
Discovering visual concept structure with sparse and incomplete tags
The Anomalous Extension Problem in Default Reasoning
An Algorithm for Finding MAPs for Belief Networks Through Cost-Based Abduction
Using Chunking to Solve Chess Pawn Endgames
Resolving crises through automated bilateral negotiations
Abductive Consequence Relations
Fair distribution of delivery orders
YAGO2: A spatially and temporally enhanced knowledge base from Wikipedia
Determination of Social Laws for Multi-Agent Mobilization
Potential-based bounded-cost search and Anytime Non-Parametric A *
Efficient Compositional Modeling for Generating Causal Explanations
On the Independence Assumption Underlying Subjective Bayesian Updating
Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75-111]
Emotional conversation generation with heterogeneous graph neural network
Kurzweil's argument for the success of AI
McCarthy variations in a modal key
On some tractable classes in deduction and abduction
Decomposable constraints
A Correction to "Agent Searching in a Tree and the Optimality of Iterative Deepening"
Weighted synergy graphs for effective team formation with heterogeneous ad hoc agents
Shifting viewpoints: Artificial intelligence and human-computer interaction
An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report
On the Input/Output behavior of argumentation frameworks
Boolean connection algebras: A new approach to the Region-Connection Calculus
Revenue monotonicity in deterministic, dominant-strategy combinatorial auctions
Strike while the iron is
When move acceptance selection hyper-heuristics outperform Metropolis and elitist evolutionary algorithms and when not
Distributed Revision of Composite Beliefs
Speech Understanding Systems
Exploring the psychology of LLMs' moral and legal reasoning
Default reasoning from conditional knowledge bases: Complexity and tractable cases
Strategyproof Mechanism for Two-Sided Matching with Resource Allocation
LAZY Propagation: A Junction Tree Inference Algorithm Based on Lazy Evaluation
Measuring power in coalitional games with friends, enemies and allies
A unified momentum-based paradigm of decentralized SGD for non-convex models and heterogeneous data
Gödel-Dummett linear temporal logic
Review of Stirling's Theory of Conditional Games
The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning
Automated query learning with Wikipedia and genetic programming
Configuration landscape analysis and backbone guided local search: Part I: Satisfiability and maximum satisfiability
Dealing with logical omniscience: Expressiveness and pragmatics
Train-O-Matic: Supervised Word Sense Disambiguation with no (manual) effort
Measures of Uncertainty in Expert Systems
On the power of clause-learning SAT solvers as resolution engines
A Common Representation for Problem-Solving and Language-Comprehension Information
Arc-Consistency for Continuous Variables
No regrets about no-regret
Probabilistic reasoning about epistemic action narratives
Computational properties of argument systems satisfying graph-theoretic constraints
Multi-Player Alpha-Beta Pruning
Expressive probabilistic description logics
Robust planning with incomplete domain models
Combining gaze and AI planning for online human intention recognition
An Admissible and Optimal Algorithm for Searching AND/OR Graphs
Balanced Q-learning: Combining the influence of optimistic and pessimistic targets
The Structure of Ill Structured Problems
Bounding the cost of learned rules
Semantical considerations on multiagent only knowing
Intrinsically motivated model learning for developing curious robots
Portioning using ordinal preferences: Fairness and efficiency
Arc-consistency with linear programming reduced costs (applied to stable set in chordal graphs)
Spatiotemporal recursive hyperspheric classification with an application to dynamic gesture recognition
The Book of Why: The New Science of Cause and Effect, Judea Pearl, Dana Mackenzie. Basic Books (2018)
Fair division of mixed divisible and indivisible goods
Parametric properties of ideal semantics
Approximately EFX allocations for indivisible chores
Non-Uniform Time Sharing in Concurrent Execution of the Constraint Solving
State-set branching: Leveraging BDDs for heuristic search
On the succinctness of some modal logics
Incremental computation for structured argumentation over dynamic DeLP knowledge bases
Agendas for multi-agent learning
Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class
Generalization Learning Techniques for Automating the Learning of Heuristics
On the robustness of sparse counterfactual explanations to adverse perturbations
MBT2: A Method for Combining Fragments of Examples in Example-Based Translation
Logic programming and knowledge representation - The A-Prolog perspective
Qualitative Analysis of MOS Circuits
The Use of Aggregation in Causal Simulation
Abstract Argumentation Systems
Generating and evaluating evaluative arguments
On strongest necessary and weakest sufficient conditions
Cooperative concurrent games
Expressiveness of Concept Expressions in First-Order Description Logics
Continual curiosity-driven skill acquisition from high-dimensional video inputs for humanoid robots
Shape from Texture and Contour by Weak Isotropy
Probabilistic Horn Abduction and Bayesian Networks
Towards a Computational Theory of Cognitive Maps
On Program Synthesis Knowledge
First-Order jk-Clausal Theories are PAC-Learnable
Backgammon Computer Program Beats World Champion
Computational complexity of flat and generic Assumption-Based Argumentation, with and without probabilities
Maintenance of datalog materialisations revisited
On the doubt about margin explanation of boosting
O-Plan: The open Planning Architecture
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints
Automated Reasoning About Machines
The Development of a World Class Othello Program
Extracting mutual exclusion invariants from lifted temporal planning domains
Ballooning multi-armed bandits
Extending and implementing the stable model semantics
A note on the complexity of the causal ordering problem
A qualitative spatial representation of string loops as holes
BIDA: An Improved Perimeter Search Algorithm
New width parameters for SAT and #SAT
Anytime search in dynamic graphs
Using Action-Based Hierarchies for Real-Time Diagnosis
Privacy preserving solution of DCOPs by mediation
Retrospective on "Causality in Device Behavior"
BLAH, A System Which Explains its Reasoning
Reading McDermott
V. V. Chavchanidze et al., Natural and Artificial Intelligence (Conceptual Approach) - Materials of the Fourth International Joint Conference on Artificial (in Russian)
Maintenance commitments: Conception, semantics, and coherence
Connectionist Learning of Belief Networks
Protocols from perceptual observations
Nature's way of optimizing
Pac-Learning Non-Recursive Prolog Clauses
Reasoning about coalitional games
Shading into Texture
A cooperative game-theoretic approach to the social ridesharing problem
IID prophet inequality with a single data point
GUS, A Frame-Driven Dialog System
The Normative Representation of Quantified Beliefs by Belief Functions
Clustering ensemble based on sample's stability
Fuzzy rrDFCSP and planning
Nonmonotonic inconsistency
Generating diverse plans to handle unknown and partially known user preferences
Dempster's Rule of Combination is #P-Complete
E. Rich, Artificial Intelligence
Improving resource allocation strategies against human adversaries in security games: An extended study
Expressive markets for donating to charities
Special Issue of the journal Artificial Intelligence on Reformulation
Adaptation-Guided Retrieval: Questioning the Similarity Assumption in Reasoning
Propagating Imprecise Probabilities in Bayesian Networks
Combining Horn Rules and Description Logics in CARIN
Domain-Independent Planning: Representation and Plan Generation
Unsupervised named-entity extraction from the Web: An experimental study
An Efficient Algorithm for Optimal Pruning of Decision Trees
Human-AI coevolution
Domain permutation reduction for constraint satisfaction problems
Diagnosis of Large Active Systems
Structure Identification in Relational Data
Stochastic Modelling of Genetic Algorithms
Approval-based committee voting under incomplete information
Computations Underlying the Measurement of Visual Motion
TEAM: An Experiment in the Design of Transportable Natural-Language Interfaces
Generating Context-Sensitive Responses to Object-Related Misconceptions
Forming k coalitions and facilitating relationships in social networks
An Optimal Backtrack Algorithm for Tree-Structured Constraint Satisfaction problems
Rough approximation quality revisited
Towards a model of musical interaction and communication
Games, computers, and artificial intelligence
On the Geometric Interpretation of Contours
From statistical relational to neurosymbolic artificial intelligence: A survey
Relevance in belief revision
On the complexity of choosing the branching literal in DPLL
Utilitarian welfare and representation guarantees of approval-based multiwinner rules
Epistemic Entrenchment and Arithmetical Hierarchy
Automated streamliner portfolios for constraint satisfaction problems
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
Fair allocation of indivisible goods: Beyond additive valuations
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
Evaluating local explanation methods on ground truth
In defense of PDDL axioms
Backjumping for Quantified Boolean Logic satisfiability
Learning Action Strategies for Planning Domains
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
A Semantics for Reasoning Consistently in the Presence of Inconsistency
Explain it as simple as possible, but no simpler - Explanation via model simplification for addressing inferential gap
Enhancing cooperativity in controlled query evaluation over ontologies
Knowledge-Based Proof Planning
Theory and Algorithms for Plan Merging
P. N. Johnson-Laird and P. C. Wason, Thinking: Readings in Cognitive Science
R1 ("XCON") at Age 12: Lessons from an Elementary School Achiever
Approximating Probabilistic Inference in Bayesian Belief Networks is NP-Hard
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
Evaluating the effect of semi-normality on the expressiveness of defaults
Undecidability of Subsumption in NIKL
Understanding the role of noise in stochastic local search: Analysis and experiments
Teaching and leading an ad hoc teammate: Collaboration without pre-coordination
On the conditional independence implication problem: A lattice-theoretic approach
Computer models solving intelligence test problems: Progress and implications
The unbiased black-box complexity of partition is polynomial
Probabilistic planning with clear preferences on missing information
ASSAT: computing answer sets of a logic program by SAT solvers
Motivation Analysis, Abductive Unification, and Nonmonotonic Equality
Propagation algorithms for lexicographic ordering constraints
PathLAD+: Towards effective exact methods for subgraph isomorphism problem
A general scheme for automatic generation of search heuristics from specification dependencies
EURISKO: A Program That Learns New Heuristics and Domain Concepts
Inconsistency measures for probabilistic logics
Metatheory of actions: Beyond consistency
MultiWiBi: The multilingual Wikipedia bitaxonomy project
A tetrachotomy of ontology-mediated queries with a covering axiom
Preferential Reasoning in the Perspective of Poole Default Logic
Natural language directed inference from ontologies
Empirically Designing and Evaluating a New Revision-Based Model for Summary Generation
Constrained clustering by constraint programming
A Symbolic Approach to Qualitative Kinematics
An Introduction to the Planning Domain Definition Language (PDDL): Book review
Understanding planning with incomplete information and sensing
Using similarity criteria to make issue trade-offs in automated negotiations
Learning spatio-temporal dynamics on mobility networks for adaptation to open-world events
A Generalised Quiescence Search Algorithm
A General Programming Language for Unified Planning and Control
Loop-separable programs and their first-order definability
Interpretable time series kernel analytics by pre-image estimation
A First-Order Conditional Logic for Prototypical Properties
Overlapping layered learning
Semantical and computational aspects of Horn approximations
Language, common sense, and the Winograd schema challenge
Constraint propagation techniques for the disjunctive scheduling problem
Reasoning About Action in Polynomial Time
A comparison of point-based approaches to qualitative temporal reasoning
Sequential decision making with partially ordered preferences
Algorithms and mechanisms for procuring services with uncertain durations using redundancy
An extended view on lifting Gaussian Bayesian networks
ASP and subset minimality: Enumeration, cautious reasoning and MUSes
Nonmonotonicity and the Scope of Reasoning
Conformant planning via heuristic forward search: A new approach
Plan-Based Integration of Natural Language and Graphics Generation
Understanding Image Intensities
A Model of Belief
Putting Knowledge Into a Visual Shape Representation
Parameter Nets
Addressing maximization bias in reinforcement learning with two-sample testing
Computing rank dependent utility in graphical models for sequential decision problems
Pairwise symmetry reasoning for multi-agent path finding search
Characteristics of multiple viewpoints in abstract argumentation
Enhanced aspect-based sentiment analysis models with progressive self-supervised attention learning
A Directly Cautious Theory of Defeasible Consequence for Default Logic via the Notion of General Extension
The Nature of Heuristics
SAT-based explicit LTLf satisfiability checking
The notion of Abstraction in Ontology-based Data Management
A Logic of Time, Chance, and Action for Representing Plans
Reasoning with Uncertainty in Computer Chess
Multi-agent path finding with mutex propagation
Sequential inference with reliable observations: Learning to construct force-dynamic models
Picking sequences and monotonicity in weighted fair division
The expanding breadth of artificial intelligence research
Temporal segmentation in multi agent path finding with applications to explainability
Learning how to combine sensory-motor functions into a robust behavior
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks
A synthesis of automated planning and reinforcement learning for efficient, robust decision-making
Three-Dimensional Object Recognition from Single Two-Dimensional Images
Computer shogi
Formalizing Nonmonotonic Reasoning Systems
Enhancing SMT-based Weighted Model Integration by structure awareness
The problem of survival from an algorithmic point of view
Reasoning About Action I: A Possible Worlds Approach
Multi-instance learning of pretopological spaces to model complex propagation phenomena: Application to lexical taxonomy learning
Diagnostic Reasoning Based on Structure and Behavior
Dynamic Generation, Management and Resolution of Interactive Plots
A Study of Complexity Transitions on the Asymmetric Traveling Salesman Problem
Implementing logical connectives in constraint programming
TeachText: CrossModal text-video retrieval through generalized distillation
A generic approach to planning in the presence of incomplete information: Theory and implementation
Constraints and lifting-based (conditional) preferences in abstract argumentation
Experimental Results on the Crossover Point in Random 3-SAT
Determining Optical Flow
Qualitatively faithful quantitative prediction
Planning-based knowing how: A unified approach
A general stability analysis on regional and national voting schemes against noise - why is an electoral college more stable than a direct popular election?
Truthful learning mechanisms for multi-slot sponsored search auctions with externalities
Enabling the web of things: facilitating deployment, discovery and resource access to IoT objects using embedded web services
Efficient authorisation update on cloud data
A centralised control mechanism for network resource allocation in grid applications
A survey on IT-governance aspects of cloud computing
Adaptive practical Byzantine fault tolerance consensus algorithm in permission blockchain network
An efficient clustering mechanism towards large scale service composition in IoT
A hybrid pre-joined service network in graph database and memory for service composition
Real-time adaptive QoS prediction using approximate matrix multiplication
A cloud-based system for dynamically capturing appliance usage relations
On cyberattack mechanisms
Adaptive resource management for spot workers in cloud computing environment
NARUN: noise adaptive routing for utility networks
Compromising location privacies for vehicles cloud computing
DeFog: dynamic micro-service placement in hybrid cloud-fog-edge infrastructures
A service selection method in mobile edge and cloud environment based on skyline and cuckoo optimisation algorithm
Relevance measures for XML information retrieval