yusuke1997/dblp-id-title huggingface dataset:
Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
Image interpretation with a conceptual graph: Labeling over-segmented images and detection of unexpected objects
Review: M. Shanahan, Solving the Frame Problem
Semi-supervised combination of experts for aerosol optical depth estimation
On the landscape of one-hidden-layer sparse networks and beyond
On the state of the art in machine learning: A personal review
Structure-Based Modeling of Schemas
Generating Multimedia Briefings: Coordinating Language and Illustration
A crossword solving system based on Monte Carlo tree search
Constraint Propagation with Interval Labels
A multi-graph representation for event extraction
Constants and finite unary relations in qualitative constraint reasoning
A formalization of programs in first-order logic with a discrete linear order
A semantics for Hybrid Probabilistic Logic programs with function symbols
GoSafeOpt: Scalable safe exploration for global optimization of dynamical systems
On topology-related properties of abstract argumentation semantics. A correction and extension to Dynamics of argumentation systems: A division-based method
As advertised: A review of The MIT Encyclopedia of the Cognitive Sciences
Learning to Track the Visual Motion of Contours
Learning logic programs with structured background knowledge
A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems
Fixing balanced knockout and double elimination tournaments
Argumentative review aggregation and dialogical explanations
Disjoint projected enumeration for SAT and SMT without blocking clauses
Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving
Risk-aware shielding of Partially Observable Monte Carlo Planning policies
Statics and Dynamics of Induced Systems
Perfect Knowledge Revisited
The defeat of the Winograd Schema Challenge
Modular Algebraic Specification of Some Basic Geometrical Constructions
Axioms of Causal Relevance
Analogical Representations of Naive Physics
Thomas Dean and Michael Wellman, Planning and Control
Inductive Learning of Search Control Rules for Planning
Exploiting symmetries for single- and multi-agent Partially Observable Stochastic Domains
Making sense of raw input
Production Rules as a Representation for a Knowledge-Based Consultation Program
A theory of synaptic neural balance: From local to global order
A review of possible effects of cognitive biases on interpretation of rule-based machine learning models
Recursive conditioning
Multi-agent oriented constraint satisfaction
Perimeter Search
Mundane Reasoning by Settling on a Plausible Model
Simple and efficient bi-objective search algorithms via fast dominance checks
On the complexity of inference about probabilistic relational models
Inferring the Positions of Bodies from Specified Spatial Relationships
Multi-objective reinforcement learning for provably incentivising alignment with value systems
Defeasible Inheritance on Cyclic Networks
Anyone but him: The complexity of precluding an alternative
Learning to Ask Relevant Questions
The combination of multiple classifiers using an evidential reasoning approach
A Model-Based Method for Computer-Aided Medical Decision-Making
Temporal agent programs
Embodied artificial intelligence
Backtracking algorithms for disjunctions of temporal constraints
Towards optimal subsidy bounds for envy-freeable allocations
Constraints, Consistency and Closure
Planning as heuristic search
John R. Anderson, The Architecture of Cognition
Interval abstractions for robust counterfactual explanations
On the complexity of solving polytree-shaped limited memory influence diagrams with binary variables
A new probabilistic constraint logic programming language based on a generalised distribution semantics
A Program for Timetable Compilation by a Look-Ahead Method
From Ordering-Based Nonmonotonic Reasoning to Conditional Logics
Miracles in Formal Theories of Action
Cooperation Under Uncertainty in Distributed Expert Systems
Skeptical Reason Maintenance and Belief Revision
Attributive Concept Descriptions with Complements
Planning Routes Through Uncertain Territory
The MADLA planner: Multi-agent planning by combination of distributed and local heuristic search
Extended clause learning
Synthesising Recursive Functions with Side Effects
Accelerating filtering techniques for numeric CSPs
The complexity landscape of decompositional parameters for ILP
Emergence of social conventions in complex networks
CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions
Evolution of artificial intelligence
Robert Rowe, Interactive Music Systems: Machine Listening and Composing
Instructions, Intentions and Expectations
Preference-based English reverse auctions
Intelligent Internet systems
The Q * Algorithm - A Search Strategy for a Deductive Question-Answering System
Multi-rank smart reserves: A general framework for selection and matching diversity goals
Evaluating general purpose automated theorem proving systems
Geometric Reasoning About Mechanical Assembly
Robust vehicle lane keeping control with networked proactive adaptation
AND/OR Branch-and-Bound search for combinatorial optimization in graphical models
Navigational strategies in behaviour modelling
Data reductions, fixed parameter tractability, and random weighted d-CNF satisfiability
Is real-valued minimax pathological?
OBDDs, SDDs, and circuits of bounded width: Completeness matters
Inductive Reasoning on Recursive Equations
Compiling Defeasible Inheritance Networks to General Logic Programs
Drawing a map of elections
A stochastic process approach for multi-agent path finding with non-asymptotic performance guarantees
Reconstructive Expert System Explanation
How to Progress a Database
A review of the Handbook of Knowledge Representation
Efficient solution techniques for disjunctive temporal reasoning problems
The influence of dimensions on the complexity of computing decision trees
Logic-based subsumption architecture
Alternative Descriptions in Line Drawing Analysis
On the merging of Dung's argumentation systems
Belief Networks Revisited
Reasoning by Cases in Default Logic
Computational Research on Interaction and Agency
D. Sleeman and J. S. Brown, Intelligent Tutoring Systems
Data Compression Using an Intelligent Generator: The Storage of Chess Games as an Example
Understanding and Debugging Novice Programs
Probabilistic Conflicts in a Search Algorithm for Estimating Posterior Probabilities in Bayesian Networks
Heuristic search in artificial intelligence
Economic Principles of Multi-Agent Systems
Optimal schedules for monitoring anytime algorithms
Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks
Crossover can guarantee exponential speed-ups in evolutionary multi-objective optimisation
Monitoring and control of anytime algorithms: A dynamic programming approach
Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability
R. Dechter, Constraint Processing, Morgan Kaufmann (2003)
Exploratory machine learning with unknown unknowns
Epistemic GDL: A logic for representing and reasoning about imperfect information games
The Cognitive Sciences: A comment on 6 reviews of The MIT Encyclopedia of the Cognitive Sciences
Map Learning with Uninterpreted Sensors and Effectors
Subdimensional expansion for multirobot path planning
Diffusion auction design
Representation of occurrences for road vehicle traffic
Saliency-aware regularized graph neural network
Selecting goals in oversubscription planning using relaxed plans
Hedonic diversity games: A complexity picture with more than two colors
Maximizing the Predictive Value of Production Rules
Weak AGM postulates and strong Ramsey Test: A logical formalization
Human-level artificial general intelligence and the possibility of a technological singularity: A reaction to Ray Kurzweil's The Singularity Is Near, and McDermott's critique of Kurzweil
On the modelling and optimization of preferences in constraint-based temporal reasoning
Experiences with an Interactive Museum Tour-Guide Robot
Story embedding: Learning distributed representations of stories based on character networks
Backdoors to tractable answer set programming
Variable neighborhood search for graphical model energy minimization
An algorithm for distributing coalitional value calculations among cooperating agents
Recent Work in Philosophy II
Monitoring of perception systems: Deterministic, probabilistic, and learning-based fault detection and identification
Minimal sets on propositional formulae. Problems and reductions
Value functions for depth-limited solving in zero-sum imperfect-information games
The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty
Reasoning About Truth
Inconsistent heuristics in theory and practice
On the Nature and Role of Modal Truth Criteria in Planning
Interpreting Non-3-D Line Drawings
Indexical Knowledge and Robot Action - A Logical Account
Multi-robot inverse reinforcement learning under occlusion with estimation of state transitions
A Note on "Creativity and Learning in a Case-Based Explainer"
Discovering Patterns in Sequences of Events
Multiagent learning is not the answer. It is the question
On the revision of preferences and rational inference processes
A Preferential, Pattern-Seeking, Semantics for Natural Language Inference
Characterizing strong equivalence for argumentation frameworks
Implicit Parallelism in Genetic Algorithms
Extending abstract argumentation systems theory
A Validation-Structure-Based Theory of Plan Modification and Reuse
Strengths and synergies of evolved and designed controllers: A study within collective robotics
Will it Reach the Top? Prediction in the Mechanics World
On the logic of cooperation and propositional control
Assessing the communication gap between AI models and healthcare professionals: Explainability, utility and trust in AI-driven clinical decision-making
Comparative envisionment construction: A technique for the comparative analysis of dynamical systems
Building Agent Teams Using an Explicit Teamwork Model and Learning
On the decidability and complexity of reasoning about only knowing
Neural large neighborhood search for routing problems
End-user feature labeling: Supervised and semi-supervised approaches based on locally-weighted logistic regression
Robust multilingual Named Entity Recognition with shallow semi-supervised features
Object Identification: A Bayesian Analysis with Application to Traffic Surveillance
Arbitrary arrow update logic
A linguistic ontology of space for natural language processing
Normal and strong expansion equivalence for argumentation frameworks
Strong mediated equilibrium
A Quantitative Analysis of the Alpha-Beta Pruning Algorithm
A general framework for preferences in answer set programming
On the completeness of orientation rules for causal discovery in the presence of latent confounders and selection bias
An Overview of Incentive Contracting
A Generic Arc-Consistency Algorithm and its Specializations
Renamable Paramodulation for Automatic Theorem Proving with Equality
Thick set inversion
The multifaceted impact of Ada Lovelace in the digital age
Wikipedia-based WSD for multilingual frame annotation
Causality and Model Abstraction
The complexity of reasoning with FODD and GFODD
Search Rearrangement Backtracking and Polynomial Average Time
Protecting elections by recounting ballots
MaxSAT by improved instance-specific algorithm configuration
Modeling Simultaneous Actions and Continuous Processes
State-Variable Planning Under Structural Restrictions: Algorithms and Complexity
Reasoning, Nonmonotonicity and Learning in Connectionist Networks that Capture Propositional Knowledge
Embracing Causality in Default Reasoning
Logical separability of labeled data examples under ontologies
The Geometry of Projective Blending Surfaces
Extended Person-Machine Interface
Learning Bayesian network parameters under equivalence constraints
Unsupervised and few-shot parsing from pretrained language models
Sequential model-based diagnosis by systematic search
Maintaining Mental Models of Agents who have Existential Misconceptions
Importance sampling-based estimation over AND/OR search spaces for graphical models
Geometric Reasoning about Assembly Tools
Cooperative Behavior Acquisition for Mobile Robots in Dynamically Changing Real Worlds Via Vision-Based Reinforcement Learning and Development
J. Psotka, L. D. Massey and S. A. Mutter, eds., Intelligent Tutoring Systems: Lessons Learned
Pragmatic Navigation: Reactivity, Heuristics, and Search
Counterplanning: A Strategy-Based Model of Adversary Planning in Real-World Situations
Maximizing over multiple pattern databases speeds up heuristic search
Searching for an Optimal Path in a Tree with Random Costs
Refutation Graphs
Matching papers and reviewers at large conferences
Real-Time Heuristic Search
Categorical and Probabilistic Reasoning in Medical Diagnosis
Modular robotic systems: Methods and algorithms for abstraction, planning, control, and synchronization
Stuart J. Russell, Peter Norvig: Artificial Intelligence: A Modern Approach (Review)
Automatic Correlation and Calibration of Noisy Sensor Readings Using Elite Genetic Algorithms
Epistemic planning: Perspectives on the special issue
Algorithm for optimal winner determination in combinatorial auctions
Corrigendum to "A general account of argumentation with preferences" [Artif. Intell. 195 (2013) 361-397]
Reconstructing force-dynamic models from video sequences
Limited Reasoning in First-Order Knowledge Bases with Full Introspection
Response to my Critics
FLP answer set semantics without circular justifications for general logic programs
Scalable transfer learning in heterogeneous, dynamic environments
Patrolling security games: Definition and algorithms for solving large instances with single patroller and single intruder
Causality As a Key to the Frame Problem
A Probabilistic Framework for Memory-Based Reasoning
Dynamically improved bounds bidirectional search
Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs
Sloman's View of Gödel's Sentence
Plan Reuse Versus Plan Generation: A Theoretical and Empirical Analysis
Inferences in Probability Logic
MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics
A causal approach to nonmonotonic reasoning
Fundamental Concepts of Qualitative Probabilistic Networks
A Qualitative Physics Based on Confluences
A general notion of equivalence for abstract argumentation
Maximum Likelihood Evidential Reasoning
Fragility, robustness and antifragility in deep learning
Philip R. Cohen, Jerry Morgan and Martha E. Pollack, eds., Intentions in Communication
Computing a small agreeable set of indivisible items
Temporal Logics in AI: Semantical and Ontological Considerations
On the revision of informant credibility orders
Characteristic function games with restricted agent interactions: Core-stability and coalition structures
Plane Geometry Theorem Proving Using Forward Chaining
The KERNEL Text Understanding System
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
Notes on "Heuristic Classification"
Constraint-based optimization and utility elicitation using the minimax decision criterion
Interpreting a Dynamic and Uncertain World: Task-Based Control
Lifted inference with tree axioms
Counterfactual explanations for misclassified images: How human and machine explanations differ
Manipulation and peer mechanisms: A survey
Duality in permutation state spaces and the dual search algorithm
Using ontologies to enhance human understandability of global post-hoc explanations of black-box models
Optimizing positional scoring rules for rank aggregation
Knowledge representation and commonsense reasoning: Reviews of four books
Mapping Part-Whole Hierarchies into Connectionist Networks
Foundations of a Functional Approach to Knowledge Representation
On the Estimation of Optical Flow: Relations between Different Approaches and Some New Results
Probabilistic models for melodic prediction
Default Reasoning Using Classical Logic
Spectral complexity-scaled generalisation bound of complex-valued neural networks
Introduction to the Special Volume on Computer Vision
A Note on Linear Resolution Strategies in Consequence-Finding
A comparison of structural CSP decomposition methods
Corrigendum to "Qualitative decision theory with preference relations and comparative uncertainty: an axiomatic approach" [Artificial Intelligence 148 (1-2) (2003) 219-260]
The computational complexity of ideal semantics
Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems
Heterogeneous active agents, III: Polynomially implementable agents
Preferences in AI: An overview
Positive approximation: An accelerator for attribute reduction in rough set theory
Abstract Minimality and Circumscription
Bayesian Diagnosis in Expert Systems
Learning to construct knowledge bases from the World Wide Web
Special issue on autonomous agents modelling other agents: Guest editorial
Multiple instance classification: Review, taxonomy and comparative study
Search in Games with Incomplete Information: A Case Study Using Bridge Card Play
GUBS criterion: Arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on Expected Utility Theory
Using Modeling Knowledge to Guide Design Space Search
Complexity classification in qualitative temporal constraint reasoning
Motion Planning with Uncertainty: A Landmark Approach
Shape from Fractal Geometry
Default Extensions: Dealing with Computer Information
Estimating possible causal effects with latent variables via adjustment and novel rule orientation
Cognitive Modeling and Intelligent Tutoring
Using Regression-Match Graphs to Control Search in Planning
Automated Discourse Generation Using Discourse Structure Relations
Zenon W. Pylyshyn, The Robot's Dilemma: The Frame Problem in Artificial Intelligence
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability
Proving theorems by reuse
Compromise in Negotiation: Exploiting Worth Functions over States
An Algebraic Approach to Shape-from-Image Problems
Clause vivification by unit propagation in CDCL SAT solvers
Semantic sensitive tensor factorization
An efficient and versatile approach to trust and reputation using hierarchical Bayesian modelling
Using Constraint Metaknowledge to Reduce Arc Consistency Computation
An attention model for the formation of collectives in real-world domains
Recursive reasoning-based training-time adversarial machine learning
Bayesian Updating: on the Interpretation of Exhaustive and Mutually Exclusive Assumptions
Jon Doyle, Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics, Cambridge University Press (2006)
Strategy-proof school choice mechanisms with minimum quotas and initial endowments
Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism
Stability based on single-agent deviations in additively separable hedonic games
Determining the consistency of partial tree descriptions
Dendral and Meta-Dendral: Their Applications Dimension
Definability and Commonsense Reasoning
Abstraction for non-ground answer set programs
The Efficiency of the Alpha-Beta Search on Trees with Branch-Dependent Terminal Node Scores
Embodied Cognition: A field guide
Problem Solving by Searching for Models with a Theorem Prover
Representations and Solutions for Game-Theoretic Problems
Dynamically structuring, updating and interrelating representations of visual and linguistic discourse context
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support
Multi-objective meta-learning
On Wings of Knowledge: A Review of Allen Newell's Unified Theories of Cognition
Corrigendum to "Accurate parameter estimation for safety-critical systems with unmodeled dynamics" [Artif. Intell. 316 (2023) 103857]
Strongly budget balanced auctions for multi-sided markets
A correction to "Nonmonotonic inconsistency" [Artificial Intelligence 149 (2003) 161-178]
Portability by Automatic Translation: A Large-Scale Case Study
Multi-agent learning for engineers
Perceptual Organization and the Representation of Natural Form
Benefits of Using Multivalued Functions for Minimaxing
Issues for Psychology, AI, and Education: A Review of Newell's Unified Theories of Cognition
Conservation principles and action schemes in the synthesis of geometric concepts
P. L. Miller, Expert Critiquing Systems: Practice-Based Medical Consultation by Computer
On redundant topological constraints
Predicting Human Decision-Making: From Prediction to Action, Ariel Rosenfeld, Sarit Kraus. Morgan & Claypool Publishers (2018)
Multilevel Counterfactuals for Generalizations of Relational Concepts and Productions
Connectionist Learning Procedures
Solving connected row convex constraints by variable elimination
S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Third Edition
Argument based machine learning
Democratic fair allocation of indivisible goods
Response to review by Kyburg
TTVAE: Transformer-based generative modeling for tabular data generation
GAMoN: Discovering M-of-N {¬, ∨} hypotheses for text classification by a lattice-based Genetic Algorithm
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Automated planning instance generation with neuro-symbolic AI
Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms
A Typed Resolution Principle for Deduction with Conditional Typing Theory
A Syntactic Theory of Belief and Action
A Dynamic Systems Perspective on Qualitative Simulation
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
The Semantics of Induction and the Possibility of Complete Systems of Inductive Inference
The Carneades model of argument and burden of proof
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
An epistemic logic of blameworthiness
Coevolutionary systems and PageRank
A Correction to the Algorithm in Reiter's Theory of Diagnosis
A probabilistic plan recognition algorithm based on plan tree grammars
The Geometry of View Space of Opaque Objects Bounded by Smooth Surfaces
Learning Boolean Concepts in the Presence of Many Irrelevant Features
The logic of qualitative probability
Defeasible reasoning with variable degrees of justification
A Logic of Knowledge and Justified Assumptions
Hybrid planning for challenging construction problems: An Answer Set Programming approach
Principles and applications of continual computation
Walrasian pricing in multi-unit auctions
Deliberative acting, planning and learning with hierarchical operational models
LARS: A Logic-based framework for Analytic Reasoning over Streams
Initialization for the Method of Conditioning in Bayesian Belief Networks
Theories of Causal Ordering: Reply to de Kleer and Brown
Review of Natural Language Processing in R.A. Wilson and F.C. Keil (Eds.), The MIT Encyclopedia of the Cognitive Sciences
Knowledge-Based Artificial Neural Networks
An Order-Sorted Logic for Knowledge Representation Systems
The challenge of poker
X*: Anytime Multi-Agent Path Finding for Sparse Domains using Window-Based Iterative Repairs
Backjump-based backtracking for constraint satisfaction problems
Representing states in iterated belief revision
The limitation of Bayesianism
Is it possible to find the single nearest neighbor of a query in high dimensions?
From iterated revision to iterated contraction: Extending the Harper Identity
Reinforcement learning in convergently non-stationary environments: Feudal hierarchies and learned representations
Odyssey: A Knowledge-Based Assistant
A New Basis for State-Space Learning Systems and a Successful Implementation
Vivid: A framework for heterogeneous problem solving
Evaluating Evolutionary Algorithms
Primarily about primaries
Price of Pareto Optimality in hedonic games
A Robust Technique for Matching two Uncalibrated Images Through the Recovery of the Unknown Epipolar Geometry
Diagnosing Multiple Faults
Semantic characterization of rational closure: From propositional logic to description logics