yusuke1997/dblp-id-title huggingface dataset:
On the revision of probabilistic beliefs using uncertain evidence
Linked taxonomies to capture users' subjective assessments of items to facilitate accurate collaborative filtering
Shape from Texture: Estimation, Isotropy and Moments
Israel Rosenfield, The Invention of Memory: A New View of the Brain
Watson: Beyond Jeopardy!
Propositional Knowledge Base Revision and Minimal Change
Rule-Oriented Methods in Problem Solving
The mind's new labels?: Review of R.A. Wilson and F.C. Keil (Eds.), The MIT Encyclopedia of the Cognitive Sciences
Using genetic programming to learn and improve control knowledge
Online Transfer Learning
Linear-Space Best-First Search
Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning
Playing with knowledge: A virtual player for "Who Wants to Be a Millionaire?" that leverages question answering techniques
Society of Mind: A Response to Four Reviews
A Linear Constraint Satisfaction Approach to Cost-Based Abduction
Theory Refinement Combining Analytical and Empirical Methods
Reasoning under inconsistency: A forgetting-based approach
Learning infinite-word automata with loop-index queries
Recursively modeling other agents for decision making: A research perspective
Reasoning About Partially Ordered Events
Prototypical Knowledge for Expert Systems
Defense coordination in security games: Equilibrium analysis and mechanism design
The well-designed young mathematician
Kurt VanLehn, Mind Bugs: The Origins of Procedural Misconceptions
BS*: An Admissible Bidirectional Staged Heuristic Search Algorithm
An open-source toolkit for mining Wikipedia
Task-dependent qualitative domain abstraction
An Associative-Categorical Model of Word Meaning
Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP
Discovering simple rules in complex data: A meta-learning algorithm and some surprising musical discoveries
Non-Resolution Theorem Proving
Belief, Awareness, and Limited Reasoning.
Robust Monte Carlo localization for mobile robots
Allen Newell: Unified Theories of Cognition
Itemset mining: A constraint programming perspective
Adaptive large-neighbourhood search for optimisation in answer-set programming
Model-based furniture recognition for building semantic object maps
Learning in the machine: Random backpropagation and the deep learning channel
A domain-independent agent architecture for adaptive operation in evolving open worlds
Unsupervised sentence selection for creating a representative corpus in Turkish: An active learning approach
An Experiment in Knowledge-Based Automatic Programming
Learning to Plan in Continuous Domains
New local search methods for partial MaxSAT
Pessimistic value iteration for multi-task data sharing in Offline Reinforcement Learning
Relations of epistemic proximity for belief change
Taxonomy induction based on a collaboratively built knowledge repository
Partition-based logical reasoning for first-order and propositional theories
Fundamental Properties of Neighbourhood Substitution in Constraint Satisfaction Problems
A flexible ILP formulation for hierarchical clustering
Understanding dynamic scenes
Result diversification by multi-objective evolutionary algorithms with theoretical guarantees
Weighted argument systems: Basic definitions, algorithms, and complexity results
Topological Direction-Giving and Visual Navigation in Large Environments
Ridesharing car detection by transfer learning
Interpreting Perspective Image
Second-order propositional modal logic: Expressiveness and completeness results
Critical Behavior in the Computational Cost of Satisfiability Testing
Relational Production Systems
The Uses of Plans
Deliberation for autonomous robots: A survey
Graph-based construction of minimal models
PC-SyncBB: A privacy preserving collusion secure DCOP algorithm
Modeling a Dynamic Environment Using a Bayesian Multiple Hypothesis Approach
Representations of Commonsense Knowledge: Response to the Reviews
Viewing morphology as an inference process
Multiple agent-based autonomy for satellite constellations
Limited Reasoning in First-Order Knowledge Bases
Tractability of explaining classifier decisions
Admissibility of A0* when Heuristics Overestimate
Planning for temporally extended goals in pure-past linear temporal logic
Safe multi-agent reinforcement learning for multi-robot control
A logic for reasoning about counterfactual emotions
On the computational complexity of assumption-based argumentation for default reasoning
Adopt: asynchronous distributed constraint optimization with quality guarantees
Applications of Artificial Intelligence for Organic Chemistry: Analysis of C-13 Spectra
Affect control processes: Intelligent affective interaction using a partially observable Markov decision process
"Determining optical flow": A Retrospective
Iterative voting with partial preferences
Belief Updating from Integrity Constraints and Queries
Extracting qualitative relations from categorical data
A neurosymbolic cognitive architecture framework for handling novelties in open worlds
A Comparison of Minimax Tree Search Algorithms
A Logical Notion of Conditional Independence: Properties and Application
Fixpoint semantics for active integrity constraints
Finding optimal satisficing strategies for and-or trees
Smooth sparse coding via marginal regression for learning sparse representations
Multiparticipant chat analysis: A survey
Scientific Discovery and Simplicity of Method
Efficiency and complexity of price competition among single-product vendors
A differential semantics for jointree algorithms
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
Extended Inference Modes in Reasoning by Computer Systems
Saturation, Nonmonotonic Reasoning and the Closed-World Assumption
A Unifying Approach to Temporal Constraint Reasoning
Embedded or Embodied? A Review of Hubert Dreyfus' What Computers Still Can't Do
Temporal scenario modelling and recognition based on possibilistic logic
Reasoning about nonlinear system identification
Innovations in Text Interpretation
Conformant planning via symbolic model checking and heuristic search
The effect of mobility on minimaxing of game trees with random leaf values
Automated verification of state sequence invariants in general game playing
Diagnosing multiple intermittent failures using maximum likelihood estimation
Multi-agent pathfinding on strongly connected digraphs: Feasibility and solution algorithms
Grammatically Biased Learning: Learning Logic Programs Using an Explicit Antecedent Description Language
Characterizing causal action theories and their implementations in answer set programming
Natural-Language Processing
PopMNet: Generating structured pop music melodies using neural networks
An approach to efficient planning with numerical fluents and multi-criteria plan quality
What's in a Linkage? Review of: Glenn Kramer, Solving Geometric Constraint Systems
Determining inference semantics for disjunctive logic programs
Privacy preserving region optimal algorithms for symmetric and asymmetric DCOPs
Belief and truth in hypothesised behaviours
On the computational complexity of qualitative coalitional games
Languages With Self-Reference I: Foundations
Complexity results for preference aggregation over ( m )CP-nets: Pareto and majority voting
Causal Model Progressions as a Foundation for Intelligent Learning Environments
Autocircumscription
A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness
Analyzing the degree of conflict among belief functions
Label ranking by learning pairwise preferences
Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
Foundations of explanations as model reconciliation
Reasoning from last conflict(s) in constraint programming
On "Logical Foundations of Artificial Intelligence". A Response to the Reviews by S. Smoliar and J. Sowa
Type Extension Trees for feature construction and learning in relational domains
Chimeric U-Net - Modifying the standard U-Net towards explainability
Recent Work in Philosophy of Interest to AI
A Survey of Motion Planning and Related Geometric Algorithms
Reward (Mis)design for autonomous driving
Processes and continuous change in a SAT-based planner
Ordered completion for logic programs with aggregates
A Preliminary Analysis of the Soar Architecture as a Basis for General Intelligence
D. S. Levine, Introduction to Neural and Cognitive Modeling
The first AI4TSP competition: Learning to solve stochastic routing problems
A Theory and Methodology of Inductive Learning
Conspiracy Numbers
On the evaluation of argumentation formalisms
Risk-aware analysis for interpretations of probabilistic achievement and maintenance commitments
Information loss in knowledge compilation: A comparison of Boolean envelopes
Exploiting reverse target-side contexts for neural machine translation via asynchronous bidirectional decoding
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability
A Method of Spatial Reasoning Based on Qualitative Trigonometry
General Branch and Bound, and its Relation to A and AO
Arc consistency for soft constraints
Abduction Versus Closure in Causal Theories
On rules with existential variables: Walking the decidability line
Non-Horn Clause Logic Programming
Interactions Between Philosophy and Srtificial Intelligence: The Role of Intuition and Non-Logical Reasoning in Ontelligence
Specifying and computing preferred plans
Geometric Theorem Proving by Integrated Logical and Algebraic Reasoning
Some Improvements to the Shenoy-Shafer and Hugin Architectures for Computing Marginals
Is Intractability of Nonmonotonic Reasoning a Real Drawback?
Constraint-directed techniques for scheduling alternative activities
Infinitary equilibrium logic and strongly equivalent logic programs
Modeling Agents as Qualitative Decision Makers
The Ubiquity of Discovery
John A. Barnden and Jordan B. Pollack, eds., Advances in Connectionist and Neural Computation Theory, Volume 1: High-Level Connectionist Models
The Metaphorical Brain2. Neural Networks and Beyond (Michael A. Arbib)
An Interactive System for Finding Complementary Literatures: A Stimulus to Scientific Discovery
Variable Precision Logic
Qualitative Process Theory
Approximating optimal social choice under metric preferences
What does a Conditional Knowledge Base Entail?
A non-monotonic Description Logic for reasoning about typicality
Q-Learning-based model predictive variable impedance control for physical human-robot collaboration
Planning: What it is, What it could be, An Introduction to the Special Issue on Planning and Scheduling
The Correctness of Nondeterministic Programs
Sim-to-Lab-to-Real: Safe reinforcement learning with shielding and generalization guarantees
Analysing inconsistent first-order knowledgebases
An abstract and structured account of dialectical argument strength
BoltzCONS: Dynamic Symbol Structures in a Connectionist Network
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
Alternative foundations for Reiter's default logic
Solving multi-granularity temporal constraint networks
Feature Subset Selection by Bayesian network-based optimization
R. Siegwart and I. Nourbakhsh, Introduction to Autonomous Mobile Robots, MIT Press (2004)
How to Reason Defeasibly
On the complexity of reasoning about opinion diffusion under majority dynamics
Computing text semantic relatedness using the contents and links of a hypertext encyclopedia
Actions of the hyperoctahedral group to compute minimal contractors
Relating constraint answer set programming languages and algorithms
Answering regular path queries mediated by unrestricted SQ ontologies
An integrated approach to solving influence diagrams and finite-horizon partially observable decision processes
On the Parallel Complexity of Discrete Relaxation in Constraint Satisfaction Networks
Gelfond-Zhang aggregates as propositional formulas
Complexity of probabilistic reasoning in directed-path singly-connected Bayes networks
Existential assertions and quantum levels on the tree of the situation calculus
The Common Order-Theoretic Structure of Version Spaces and ATMSs
Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic
Search-engine-augmented dialogue response generation with cheaply supervised query production
Building knowledge maps of Web graphs
Problems in Formal Temporal Reasoning
Preference Logic Grammars: Fixed point semantics and application to data standardization
Pi-Representation: A Clause Representation for Parallel Search
Hierarchical model-based diagnosis based on structural abstraction
The Perceptron Algorithm Versus Winnow: Linear Versus Logarithmic Mistake Bounds when Few Input Variables are Relevant (Technical Note)
ASER: Towards large-scale commonsense knowledge acquisition via higher-order selectional preference over eventualities
Credal networks
Concurrent search for distributed CSPs
On Point-Based Temporal Disjointness
Extracting Information from Resolution Proof Trees
State space search nogood learning: Online refinement of critical-path dead-end detectors in planning
Predicting voting outcomes in the presence of communities, echo chambers and multiple parties
Empirically-Derived Estimates of the Complexity of Labeling Line Drawings of Polyhedral Scenes
Taking into account "who said what" in abstract argumentation: Complexity results
Nonmonotonic Logic and Temporal Projection
An Experimental Logic Based on the Fundamental Deduction Principle
A technical survey on statistical modelling and design methods for crowdsourcing quality control
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
Bounded treewidth as a key to tractability of knowledge representation and reasoning
Preservation of semantic properties in collective argumentation: The case of aggregating abstract argumentation frameworks
Distributional semantics of objects in visual scenes in comparison to text
Hybrid hardware for a highly parallel search in the context of learning classifiers
Addendum to "Sloman's View of Gödel's Sentence"
A quality assuring, cost optimal multi-armed bandit mechanism for expertsourcing
Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited
The learnability of voting rules
Bidirectional Context-Free Grammar Parsing for Natural Language Processing
On the complexity of the partner units decision problem
Local properties in modal logic
Learning pseudo-tags to augment sparse tagging in hybrid music recommender systems
Redundancy in logic III: Non-monotonic reasoning
Magic Sets for disjunctive Datalog programs
Multiagent control of self-reconfigurable robots
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
Logical Settings for Concept-Learning
Stable models and circumscription
A Geometric Approach to Error Detection and Recovery for Robot Motion Planning with Uncertainty
Paracoherent answer set computation
Modeling Visual Attention via Selective Tuning
Relational preference rules for control
Multi-view graph convolutional networks with attention mechanism
Negotiation strategies for agents with ordinal preferences: Theoretical analysis and human study
Probabilistic Analysis of the Complexity of A *
On the efficiency of data collection for multiple Naïve Bayes classifiers
Let's Plan it Deductively!
Metacognition in computation: A selected research review
Editorial: Nonmonotonic Reasoning
Auction optimization using regression trees and linear models as integer programs
Ordered binary decision diagrams as knowledge-bases
Theories for Mutagenicity: A Study in First-Order and Feature-Based Induction
Vicious circle principle, aggregates, and formation of sets in ASP based languages
A min-flow algorithm for Minimal Critical Set detection in Resource Constrained Project Scheduling
Evidential reasoning rule for evidence combination
Probabilistically robust counterfactual explanations under model changes
B Probability Based Search
EVEXED and MEET for Mechanical Design: Testing Structural Decomposition and Constraint Propagation
Extending the ATMS
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics
"Field Reviews": A new style of review article for Artificial Intelligence
Embedding deep networks into visual explanations
A study of mechanisms for improving robotic group performance
Algorithms for decision problems in argument systems under preferred semantics
Exploiting meta features for dependency parsing and part-of-speech tagging
Practical reasoning as presumptive argumentation using action based alternating transition systems
A Note on Non-Monotonic Modal Logic
A Theory of Measurement in Diagnosis from First Principles
Overlapping communities and roles in networks with node attributes: Probabilistic graphical modeling, Bayesian formulation and variational inference
Author's response to reviews of Machine Learning
Gibbs Sampling in Bayesian Networks
Multiple object tracking: A literature review
Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets
Reasoning about cardinal directions between extended objects
Gregor Kiczales, Jim des Rivières, and Daniel G. Bobrow, The Art of the Metaobject Protocol
John Craig Comfort, A Flexible Efficient Computer System to Answer Human Questions
Symbolic Reasoning Among 3-D Models and 2-D Images
A semantic framework for neurosymbolic computation
SHACL validation in the presence of ontologies: Semantics and rewriting techniques
Optimal defense against election control by deleting voter groups
Learning from others: Exchange of classification rules in intelligent distributed systems
Imprecise probability trees: Bridging two theories of imprecise probability
Nonmonotonic Reasoning, Conditional Objects and Possibility Theory
Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence
J. Haugeland. Artificial Intelligence: The Very Idea
The price of query rewriting in ontology-based data access
On the Relative Expressiveness of Description Logics and Predicate Logics
On the Relations Between Intelligent Backtracking and Failure-Driven Explanation-Based Learning in Constraint Satisfaction and Planning
Voting rules as error-correcting codes
Towards breaking more composition symmetries in partial symmetry breaking
Robert Kowalski, , Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011)
The topology of surprise
On the Complexity of Blocks-World Planning
New models for generating hard random boolean formulas and disjunctive logic programs
A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief
Incentives for responsiveness, instrumental control and impact
A selective sampling approach to active feature selection
Item response theory in AI: Analysing machine learning classifiers at the instance level
On point-duration networks for temporal reasoning
On the resolution-based family of abstract argumentation semantics and its grounded instance
Utility-Based On-Line Exploration for Repeated Navigation in an Embedded Graph
Modelling Creativity: Reply to Reviewers
The Importance of Open and Recursive Circumscription
On coarser interval temporal logics
The complexity of contract negotiation
So, what exactly is a qualitative calculus?
Autonomous agents modelling other agents: A comprehensive survey and open problems
Support Set Selection for Abductive and Default Reasoning
Planning as satisfiability: Heuristics
Generating Multiple New Designs from a Sketch
Analysis of Notions of Diagnosis
PredDiff: Explanations and interactions from conditional expectations
Finding the optimal exploration-exploitation trade-off online through Bayesian risk estimation and minimization
Breadth-First Search: Some Surprising Results
Refining the Phase Transition in Combinatorial Search
Using Slots and Modifiers in Logic Grammars for Natural Language
Realizability of three-valued semantics for abstract dialectical frameworks
Computational techniques for a simple theory of conditional preferences
The metric distortion of multiwinner voting
G. W. Flake, The Computational Beauty of Nature
An extension of metric temporal planning with application to AC voltage control
Finding a collective set of items: From proportional multirepresentation to group recommendation
Data complexity of query answering in description logics
Identifying roles of formulas in inconsistency under Priest's minimally inconsistent logic of paradox
Certifiably robust interpretation via Rényi differential privacy
ASQ-IT: Interactive explanations for reinforcement-learning agents
Toward personalized XAI: A case study in intelligent tutoring systems
Nonmonotonic Inference Based on Expectations
Learning New Principles from Precedents and Exercises
Model Construction Operators
Complexity results for standard benchmark domains in planning
Concurrent forward bounding for distributed constraint optimization problems
A new semantics for overriding in description logics
Sketch-based pruning of a solution space within a formal geometric constraint solver
The Epistemology of a Rule-Based Expert System - A Framework for Explanation
Accurate parameter estimation for safety-critical systems with unmodeled dynamics
A representation theorem for minmax regret policies
A linear approximation method for the Shapley value
Splitting and Reduction Heuristics in Automatic Theorem Proving
Bounded model checking of strategy ability with perfect recall
Solving factored MDPs using non-homogeneous partitions
Monte-Carlo tree search and rapid action value estimation in computer Go
Computational Complexity of Terminological Reasoning in BACK
Learning general constraints in CSP
Emotion selectable end-to-end text-based speech editing
David Temperley, Music and Probability , MIT Press (2007)
Deliberation Scheduling for Problem Solving in Time-Constrained Environments
Modelling structured societies: A multi-relational approach to context permeability
Understanding the power of Max-SAT resolution through UP-resilience
Automatically designing counterfactual regret minimization algorithms for solving imperfect-information games
Modeling the complex dynamics and changing correlations of epileptic events
Complexity-sensitive decision procedures for abstract argumentation
Learning Structures of Visual Patterns from Single Instances
Exploiting functional dependencies in declarative problem specifications
Landmark-based approaches for goal recognition as planning
Mitigating robust overfitting via self-residual-calibration regularization
Temporally and spatially flexible plan execution for dynamic hybrid systems
A logic-based axiomatic model of bargaining
Semantics and complexity of recursive aggregates in answer set programming
Clausal resolution in a logic of rational agency
Internal reinforcement in a connectionist genetic programming approach
Robot Shaping: Developing Autonomous Agents Through Learning
From senses to texts: An all-in-one graph-based approach for measuring semantic similarity
Stable fractional matchings
On the Relation Between Default and Autoepistemic Logic
Connecting language to the world
Computing Answers with Model Elimination
Ensembling neural networks: Many could be better than all
Modelling Student's Problem Solving
Law, learning and representation
Strategies in Heuristic Search
ConGolog, a concurrent programming language based on the situation calculus
ASlib: A benchmark library for algorithm selection
Encoding deductive argumentation in quantified Boolean formulae
An Architecture for Adaptive Intelligent Systems
An Automatic Proof of Gödel's Incompleteness Theorem
Generalised arc consistency for the AllDifferent constraint: An empirical survey
Abstraction and Approximate Decision-Theoretic Planning
Event calculus and temporal action logics compared
A comparative runtime analysis of heuristic algorithms for satisfiability problems
The Computational Complexity of Propositional STRIPS Planning
Applicability conditions for plans with loops: Computability results and algorithms
Fuzzy constraint networks for signal pattern recognition
Incentive engineering for Boolean games