yusuke1997/dblp-id-title huggingface dataset:
A Spectrum of Definitions for Temporal Model-Based Diagnosis
Choosing words in computer-generated weather forecasts
Autoepistemic Logic Revisited
Generalized AND/OR Graphs
R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L. A. Zadeh
A note on minimal d-separation trees for structural learning
Automated reformulation of specifications by safe delay of constraints
Dashed strings for string constraint solving
Conditional logic and the Principle of Entropy
Choosing abstraction levels for model-based software debugging: A theoretical and empirical analysis for spreadsheet programs
Planning English Referring Expressions
Mind the gap: Cake cutting with separation
A Test Battery for Rational Database Updating
Top-Down Synthesis of Divide-and-Conquer Algorithms
Centralized training with hybrid execution in multi-agent reinforcement learning via predictive observation imputation
Cooperative hierarchical Dirichlet processes: Superposition vs. maximization
Experiments with a Heuristic Theorem-Proving Program for Predicate Calculus with Equality
Hyper-heuristics for personnel scheduling domains
Steve Minton, Learning Search Control Knowledge: An Explanation-Based Approach
A. Newell, J. Barnett et al., Speech-Understanding Systems
Bayesian feature interaction selection for factorization machines
Gradient conjugate priors and multi-layer neural networks
Emergent Cooperative Goal-Satisfaction in Large Scale Automated-Agent Systems
Robust learning with imperfect privileged information
On the logical properties of the nonmonotonic description logic DL N
Shape from Regular Patterns
Michael C. Mozer, The Perception of Multiple Objects: A Connectionist Approach
Embedding justification theory in approximation fixpoint theory
An Efficient Method for Eliminating Varying Predicates from a Circumscription
Unifying Default Reasoning and Belief Revision in a Modal Framework
Computational complexity of linear constraints over the integers
Conceptual Clustering of Structured Objects: A Goal-Oriented Approach
Defying catastrophic forgetting via influence function
Corrigendum to "Ensembling neural networks: Many could be better than all" [Artificial Intelligence 137 (1-2) (2002) 239-263]
Computing ideal sceptical argumentation
Extending the description logic EL with threshold concepts induced by concept measures
Neural probabilistic logic programming in DeepProbLog
Pattern Knowledge and Search: The SUPREM Architecture
Computing the fault tolerance of multi-agent deployment
Width-based search for multi agent privacy-preserving planning
The Mechanical Discovery of Certain Problem Symmetries
Planning as Refinement Search: A Unified Framework for Evaluating Design Tradeoffs in Partial-Order Planning
Framing reinforcement learning from human reward: Reward positivity, temporal discounting, episodicity, and performance
Applying MDL to learn best model granularity
A Real generalization of discrete AdaBoost
Reinforcement learning with limited reinforcement: Using Bayes risk for active learning in POMDPs
World-championship-caliber Scrabble
, Robotics: State of the Art and Future Challenges , Imperial College Press (2008)
Knowledge-based programs as building blocks for planning
Minimax off-policy evaluation and learning with subgaussian and differentiable importance weighting
Recovery of (Non)Monotonic Theories
On Evidential Reasoning in a Hierarchy of Hypotheses
C. Hookway, Minds, Machines, and Evolution
Introduction to the Special Volume on Knowledge Representation
Interactive semantics
Point algebras for temporal reasoning: Algorithms and complexity
Acyclic orders, partition schemes and CSPs: Unified hardness proofs and improved algorithms
On the notion of concept I
Summarization beyond sentence extraction: A probabilistic approach to sentence compression
A general account of argumentation with preferences
Symbolic pattern planning
The expansion continues: Stitching together the breadth of disciplines impinging on Artificial Intelligence
A Perspective on Assumption-Based Truth Maintenance
Solving the Multiple Instance Problem with Axis-Parallel Rectangles
A New Approach to Quantitative and Credible Diagnosis for Multiple Faults of Components and Sensors
Default Theories that Always Have Extensions
On approximating shortest paths in weighted triangular tessellations
Fair and efficient allocation with few agent types, few item types, or small value levels
An α-regret analysis of adversarial bilateral trade
CABINS: A Framework of Knowledge Acquisition and Iterative Revision for Schedule Improvement and Reactive Repair
Conflict-based search for optimal multi-agent pathfinding
Memory-Based Parsing
Interpolative and extrapolative reasoning in propositional theories using qualitative knowledge about conceptual spaces
On fair price discrimination in multi-unit markets
Explanation in artificial intelligence: Insights from the social sciences
Strong temporal planning with uncontrollable durations
Fuzzy set and possibility theory-based methods in artificial intelligence
Peter Desain and Henkjan Honing, Music, Mind and Machine: Studies in Computer Music, Music Cognition and Artificial Intelligence
On the Computational Complexity of Temporal Projection, Planning, and Plan Validation
Task Modeling with Reusable Problem-Solving Methods
Artificial Intelligence requires more than deep learning - but what, exactly?
Z. W. Pylyshyn, Computation and Cognition: Toward a Foundation of Cognitive Science
Multiple Perspective Dynamic Decision Making
LAO * : A heuristic search algorithm that finds solutions with loops
Fusion, Propagation, and Structuring in Belief Networks
Learngene: Inheritable "genes" in intelligent agents
Inference and the Computer Understanding of Natural Language
Credibility Dynamics: A belief-revision-based trust model with pairwise comparisons
K ⁎ : A heuristic search algorithm for finding the k shortest paths
Scheduling with complete multipartite incompatibility graph on parallel machines: Complexity and algorithms
One-pass AUC optimization
Jeff Hawkins and Sandra Blakeslee, On Intelligence, Times Books (2004)
Combining interval-based temporal reasoning with general TBoxes
Non-Monotonic Logic I
Sequential plan recognition: An iterative approach to disambiguating between hypotheses
Rolf Pfeifer and Josh Bongard, How the Body Shapes the Way We Think: A New View of Intelligence A Bradford Book , MIT Press (2007) ISBN 978-0-262-16239-5 394 pp
Subjective logic and arguing with evidence
Using Approximate Reasoning to Represent Default Knowledge
AllDifferent-based filtering for subgraph isomorphism
Processing of Semantic Nets on Dataflow Architectures
Interleaving Natural Language Parsing and Generation Through Uniform Processing
Generating custom propagators for arbitrary constraints
Multiagent Negotiation under Time Constraints
BabelNet: The automatic construction, evaluation and application of a wide-coverage multilingual semantic network
WPM3: An (in)complete algorithm for weighted partial MaxSAT
Completeness Results for Inequality Provers
Decentralized Reinforcement Learning of Robot Behaviors
VoCSK: Verb-oriented commonsense knowledge mining with taxonomy-guided induction
Partial-Order Planning: Evaluating Possible Efficiency Gains
The SUPREM Architecture: A New Intelligent Paradigm
PickPocket: A computer billiards shark
Bayesian network modelling through qualitative patterns
Shielded base contraction
A logic-based theory of deductive arguments
Path-length analysis for grid-based path planning
Understanding the Creative Mind: A Review of Margaret Boden's Creative Mind
Increasing threshold search for best-valued agents
Real-time dynamic programming for Markov decision processes with imprecise probabilities
A Program that Computes Limits Using Heuristics to Evaluate the Indeterminate Forms
From Bidirectional Associative Memory to a noise-tolerant, robust Protein Processor Associative Memory
A Game Tree with Distinct Leaf Values which is Easy for the Alpha-Beta Agorithm
Optimal bailouts and strategic debt forgiveness in financial networks
Natural strategic ability
Sholom M. Weiss and Casimir A. Kulikowski, Computer Systems That Learn
Anthropomorphism and AI: Turingʼs much misunderstood imitation game
Uncertainty modelling for vague concepts: A prototype theory approach
A Versatile System for Computer-Controlled Assembly
Analysis and Empirical Studies of Derivational Analogy
A Non-Rigid Registration Algorithm for Dynamic Breast MR Images
Explainable AI and stakes in medicine: A user study
An Epistemic Operator for Description Logics
The representation of planning strategies
Learning action models with minimal observability
Functional Transformations in AI Discovery Systems
Bayesian auctions with efficient queries
EMOA*: A framework for search-based multi-objective path planning
Approximating MAPs for Belief Networks is NP-Hard and Other Theorems
Effective footstep planning using homotopy-class guidance
A Chess Combination Program Which Uses Plans
An Empirical Study of Phase Transitions in Binary Constraint Satisfaction Problems
Semiring induced valuation algebras: Exact and approximate local computation algorithms
Generalized Region Connection Calculus
Sensitive loss: Improving accuracy and fairness of face representations with discrimination-aware deep learning
A Spatially-Oriented Information Processor which Simulates the Motions of Rigid Objects
A Minimax Algorithm Better Than Alpha-Beta? Yes and No
Personalized change awareness: Reducing information overload in loosely-coupled teamwork
Problem Solving with the ATMS
Partial order bounding: A new approach to evaluation in game tree search
Game Tree Searching by Min/Max Approximation
Two party immediate response disputes: Properties and efficiency
Leadership in singleton congestion games: What is hard and what is easy
TEAMSTER: Model-based reinforcement learning for ad hoc teamwork
Speeding up Problem Solving by Abstraction: A Graph Oriented Approach
Joint search with self-interested agents and the failure of cooperation enhancers
Anytime heuristic search for partial satisfaction planning
Improved maximin guarantees for subadditive and fractionally subadditive fair allocation problem
Understanding Planner Behavior
Towards a general theory of topological maps
Online spatio-temporal matching in stochastic and dynamic domains
Exploiting the Deep Structure of Constraint Problems
Ranking games
Man-Machine Theorem Proving in Graph Theory
Norm-based mechanism design
A foundationalist view of the AGM theory of belief change
On updates of hybrid knowledge bases composed of ontologies and rules
Conditional Logics of Normality: A Modal Approach
Global qualitative description of a class of nonlinear dynamical systems
Solving simultaneous target assignment and path planning efficiently with time-independent execution
Certain answers as objects and knowledge
On the notion of concept II
Existence Assumptions in Knowledge Representation
On the relationship between model-based debugging and program slicing
Disjunctive merging: Quota and Gmin merging operators
Advanced SMT techniques for weighted model integration
Semi-equilibrium models for paracoherent answer set programs
Constraint Satisfaction Using Constraint Logic Programming
Automatic construction of optimal static sequential portfolios for AI planning and beyond
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
A Framework for Explaining Decision-Theoretic Advice
Redundancy in logic I: CNF propositional formulae
Semiotic schemas: A framework for grounding language in action and perception
SymposiumonMargaret Boden, Mind as Machine: A History of Cognitive Science , Oxford (2006) two volumes
Fast and accurate data-driven goal recognition using process mining techniques
The Intelligent Use of Space
Wrapper induction: Efficiency and expressiveness
The Emperor's Real Mind: Review of Roger Penrose'sThe Emperor's New Mind: Concerning Computers, Minds and the Laws of Physics
Behaviorist Intelligence and the Scaling Problem
Lessons from a failure: Generating tailored smoking cessation letters
Ernest Davis, Representations of Commonsense Knowledge
Speeding up many-objective optimization by Monte Carlo approximations
Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertainty
On the ERA ranking representability of pairwise bipartite ranking functions
Negation as Failure: Careful Closure Procedure
Compatibility, desirability, and the running intersection property
A Theorem on the Consistency of Circumscription
Predicting optimal solution costs with bidirectional stratified sampling in regular search spaces
Scalable constraint-based virtual data center allocation
The computational complexity of Angry Birds
Practical performance models of algorithms in evolutionary program induction and other domains
Learning and inferring transportation routines
Local search characteristics of incomplete SAT procedures
Experiment selection for the discrimination of semi-quantitative models of dynamical systems
Updating beliefs with incomplete observations
Cooperating Processes for Low-Level Vision: A Survey
Estimation of Surface Topography from SAR Imagery Using Shape from Shading Techniques
Recovery of the Three-Dimensional Shape of an Object from a Single View
"That's (not) the output I expected!" On the role of end user expectations in creating explanations of AI systems
Optimization of Pearl's Method of Conditioning and Greedy-Like Approximation Algorithms for the Vertex Feedback Set Problem
Sound and complete causal identification with latent variables given local background knowledge
Syntax-Directed, Semantics-Supported Program Synthesis
Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control
Boolean algebras of conditionals, probability and logic
On the tractability of minimal model computation for some CNF theories
Investigating Production System Representations for Non-Combinatorial Match
Many-objective problems where crossover is provably essential
BATED: Learning fair representation for Pre-trained Language Models via biased teacher-guided disentanglement
What do we want from Explainable Artificial Intelligence (XAI)? - A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research
Compliance in Robot Manipulation
Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence
P. H. Winston, Artificial Intelligence, 2nd Ed
Qualitative System Identification: Deriving Structure from Behavior
On intelligence as memory
Allen Newell: The Entry into Complex Information Processing
Inferring Surfaces from Images
Random constraint satisfaction: Easy generation of hard (satisfiable) instances
Argumentation in artificial intelligence
Evaluation of argument strength in attack graphs: Foundations and semantics
Resolution Graphs
John Laird, Paul Rosenbloom and Allen Newell, Universal Subgoaling and Chunking: The Automatic Generation and Learning of Goal Hierarchies
Exploratory Analysis of Speedup Learning Data Using Epectation Maximization
The influence of k-dependence on the complexity of planning
Action-model acquisition for planning via transfer learning
Expressive Equivalence of Planning Formalisms
Refutational Theorem Proving Using Term-Rewriting Systems
Transfer learning for collaborative recommendation with biased and unbiased data
Relevance from an Epistemic Perspective
Marcus Hutter, Universal Artificial Intelligence, Springer (2004)
Representations, symbols, and embodiment
Information capture and reuse strategies in Monte Carlo Tree Search, with applications to games of hidden information
2U: An Exact Interval Propagation Algorithm for Polytrees with Binary Variables
GLocalX - From Local to Global Explanations of Black Box AI Models
Data-informed knowledge and strategies
Computing Marginals for Arbitrary Subsets from Marginal Representation in Markov Trees
Model-theoretic inseparability and modularity of description logic ontologies
Probabilistic Semantics for Delgrande's Conditional Logic and a Counterexample to His Default Logic
Formal Semantics for Mutual Belief
Levi and Harper identities for non-prioritized belief base change
Planning Control Rules for Reactive Agents
Artificial nonmonotonic neural networks
SAT Race 2015
Explanation in AI and law: Past, present and future
Plan aggregation for strong cyclic planning in nondeterministic domains
George Lakoff, Women, Fire, and Dangerous Things
Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition
Delegated online search
Learning Bayesian networks from data: An information-theory based approach
CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement
Reasoning About Causality Between Distributed Nonatomic Events
On the Range of Applicability of an Artificial Intelligence Machine
Incentivizing evaluation with peer prediction and limited access to ground truth
BOB: Improved winner determination in combinatorial auctions and generalizations
A Chronology of Computer Chess and its Literature
Limited lookahead in imperfect-information games
Complexity of abstract argumentation under a claim-centric view
Region Connection Calculus: Its models and composition table
Redundancy in logic II: 2CNF and Horn propositional formulae
Strategyproof matching with regional minimum and maximum quotas
Natural language watermarking via paraphraser-based lexical substitution
A Unified Framework for Explanation-Based Generalization of Partially Ordered and Partially Instantiated Plans
Rough intervals - enhancing intervals for qualitative modeling of technical systems
Notes on "A Clash of Intuitions"
Ethical guidelines for a superintelligence
Algorithms for Searching Explicit AND/OR Graphs and their Applications to Problem Reduction Search
Artificial Intelligence 40 Years later
Developing reproducible and comprehensible computational models
A Logical Framework for Depiction and Image Interpretation
An Unfair Review of Margaret Boden's "The Creative Mind" from the Perspective of Creative Systems
Qualitative decision under uncertainty: back to expected utility
Managing parallel inquiries in agents' two-sided search
Critical observations in model-based diagnosis
Iterative voting and acyclic games
Relation Algebras of Intervals
Range-Data Analysis Guided by a Junction Dictionary
Some Fundamental Properties of Local Constraint Propagation
Influence-based model decomposition for reasoning about spatially distributed physical systems
A. Darwiche, Modeling and Reasoning with Bayesian Networks , Cambridge (2009)
Localized Planning with Action-Based Constraints
V. Lifschitz, ed., Formalizing Common Sense: Papers by John McCarthy
Paul R. Cohen's Empirical Methods for Artificial Intelligence
Hypothesis Generation by Machine
Learning Boolean specifications
Knowledge is power: Open-world knowledge representation learning for knowledge-based visual reasoning
Truthful aggregation of budget proposals with proportionality guarantees
Calculating Criticalities
Hybrid Reasoning Using Universal Attachment
SensorSCAN: Self-supervised learning and deep clustering for fault diagnosis in chemical processes
Compiling propositional weighted bases
Removing Redundancy from a Clause
On abstract modular inference systems and solvers
Proving Properties of States in the Situation Calculus
T. Winograd and F. Flores, Understanding Computers and Cognition: A New Foundation for Design
Query inseparability for ALC ontologies
Contra2: A one-step active learning method for imbalanced graphs
On the Relationship Between Circumscription and Negation as Failure
Weak, strong, and strong cyclic planning via symbolic model checking
The limits of decidability in fuzzy description logics with general concept inclusions
Is DIBBS a DXBB algorithm?
Parallel belief revision: Revising by sets of formulas
Dynamic Backward Reasoning Systems
On First-Order Conditional Logics
Time and Modality in a Natural Language Interface to a Planning System
On the undecidability of logics with converse, nominals, recursion and counting
Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
Rationality, Transitivity, and Contraposition
An Extension of QSIM with Qualitative Curvature
On the expressivity of inconsistency measures
Disentangling data distribution for optimal and communication-efficient federated learning
Extensionally defining principles and cases in ethics: An AI model
AI and Law: A fruitful synergy
LAURA, A System to Debug Student Programs
Using Grice's maxim of Quantity to select the content of plan descriptions
Geometric backtracking for combined task and motion planning in robotic systems
Domain-independent planning for services in uncertain and dynamic environments
Generative models for grid-based and image-based pathfinding
Algorithms for Selective Enumeration of Prime Implicants
Approximate belief updating in max-2-connected Bayes networks is NP-hard
Exploration-exploitation in multi-agent learning: Catastrophe theory meets game theory
Integer Linear Programming for the Bayesian network structure learning problem
Negotiation as a Metaphor for Distributed Problem Solving
Are the BERT family zero-shot learners? A study on their potential and limitations
A Parallel Approach to Syntax for Generation
Representing Action: Indeterminacy and Ramifications
Learning qualitative models from numerical data
Increasing revenue in Bayesian posted price auctions through signaling
Hidden semi-Markov models
Towards mobile intelligence: Learning from GPS history data for collaborative recommendation
An Analysis of Alpha-Beta Pruning
Decision making on the sole basis of statistical likelihood
Learning by Creating and Justifying Transfer Frames
Choosing social laws for multi-agent systems: Minimality and simplicity
Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle
A formal theory for reasoning about parthood, connection, and location
The Effect of Resource Limits and Task Complexity on Collaborative Planning in Dialogue
The Qualification Problem: A solution to the problem of anomalous models
Localization and Homing Using Combinations of Model Views
STRIPS, A Retrospective
Design by Derivational Analogy: Issues in the Automated Replay of Design Plans
What makes propositional abduction tractable
Coalitional permutation manipulations in the Gale-Shapley algorithm
A Metatheory of a Mechanized Object Theory
Filtering AtMostNValue with difference constraints: Application to the shift minimisation personnel task scheduling problem
Maximum likelihood bounded tree-width Markov networks
Relation between prognostics predictor evaluation metrics and local interpretability SHAP values
Artificial Paranoia
Pruning Algorithms for Multi-Model Adversary Search
Mechanism Design for Automated Negotiation, and its Application to Task Oriented Domains
Weakening conflicting information for iterated revision and knowledge integration
PALO: A Probabilistic Hill-Climbing Algorithm
Automatic cinematography and multilingual NLG for generating video documentaries
Separate but equal: Equality in belief propagation for single-cycle graphs
A Theory of Origami World
Making friends on the fly: Cooperating with new teammates
Problem-Solving with Diagrammatic Representations
Lexical Knowledge Representation and Natural Language Processing
Practical solution techniques for first-order MDPs
MM: A bidirectional search algorithm that is guaranteed to meet in the middle
Analyzing Intention in Utterances
Earl B. Hunt, Artificial Intelligence
Credulous acceptance in high-order argumentation frameworks with necessities: An incremental approach
Languages with Self-Reference II: Knowledge, Belief, and Modality
Envy-free allocations respecting social networks
Connectionist Hashed Associative Memory
Deep optimal transport for domain adaptation on SPD manifolds
The Refinement of Probabilistic Rule Sets: Sociopathic Interactions
Two Counterexamples Related to Baker's Approach to the Frame Problem
Methods for Task Allocation via Agent Coalition Formation
Decision Theory and Artificial Intelligence: I. A Semantics-Based Region Analyzer
An improved approximation algorithm for maximin shares
Nested Abnormality Theories