yusuke1997/dblp-id-title huggingface dataset:
G-LIME: Statistical learning for local interpretations of deep neural networks using global priors
Filtering algorithms for global chance constraints
Asynchronous knowledge with hidden actions in the situation calculus
On Stable Social Laws and Qualitative Equilibria
Christos Papadimitriou, Turing: A Novel About Computation, MIT Press (2003)
Learning hierarchical task network domains from partially observed plan traces
Representing ontologies using description logics, description graphs, and rules
Automatic generation of dominance breaking nogoods for a class of constraint optimization problems
Robot Motion Planning with Uncertainty in Control and Sensing
On Book Reviews Policy and Process
The complexity of optimizing atomic congestion
Expecting the unexpected: Goal recognition for rational and irrational agents
From the textual description of an accident to its causes
Diagnosing tree-structured systems
A Geometric Constraint Engine
Top-Down Induction of First-Order Logical Decision Trees
A Theoretical Analysis of Conjunctive-Goal Problems
POMDP-based control of workflows for crowdsourcing
Heuristic Classification
On influence, stable behavior, and the most influential individuals in networks: A game-theoretic approach
On "Epistemology and Cognition". A Response to the Review by S. W. Smoliar
An action language for multi-agent domains
Relational reinforcement learning with guided demonstrations
Memetic algorithms outperform evolutionary algorithms in multimodal optimisation
Knowing how to plan about planning: Higher-order and meta-level epistemic planning
Diagram processing: Computing with diagrams
A Kripke-Lewis semantics for belief update and belief revision
On Building Integrated Cognitive Agents: A Review of Allen Newell's Unified Theories of Cognition
LMMS reloaded: Transformer-based sense embeddings for disambiguation and beyond
A Tunable Distance Measure for Coloured Solid Models
The Computer Revolution in Science: Steps Towards the Realization of Computer-Supported Discovery Environments
Fault tolerant mechanism design
Generating and Generalizing Models of Visual Objects
Geometric Reasoning for Constructing 3D Scene Descriptions from Images
Qualitative and Quantitative Simulation: Bridging the Gap
Her story of cognitive science
Constraints on Deformable Models: Recovering 3D Shape and Nonrigid Motion
Chaos game representation for authorship attribution
R. S. Michalski, J. G. Carbonell and T. M. Mitchell, Machine Learning: An Artificial Intelligence Approach
Differential evolution for noisy multiobjective optimization
Characterizing the Principle of Minimum Cross-Entropy Within a Conditional-Logical Framework
Conversational Language Comprehension Using Integrated Pattern-Matching and Parsing
Complexity results for structure-based causality
Generalization of Alpha-Beta and SSS Search Procedures
The Hanabi challenge: A new frontier for AI research
Z .W. Pylyshyn, Computation and Cognition: Toward a Foundation of Cognitive Science
Robust combinatorial auction protocol against false-name bids
Schema-Based Learning
Optimal Compression of Propositional Horn Knowledge Bases: Complexity and Approximation
Syntactic reasoning with conditional probabilities in deductive argumentation
Regret minimization in online Bayesian persuasion: Handling adversarial receiver's types under full and partial feedback models
Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces
Artificial argument assistants for defeasible argumentation
Computing a Representation of the Local Environment
Finding MAPs for Belief Networks is NP-Hard
Understanding Mechanical Motion: From Images to Behaviors
Intention as commitment toward time
Epistemic Entrenchment and Possibilistic Logic
Rigor Mortis: A Response to Nilsson's "Logic and Artificial Intelligence"
Searching Game Trees under a Partial Order
Irrelevance and ParameterLearning in Bayesian Networks
Computing leximin-optimal solutions in constraint networks
A consistency-based approach for belief change
David Touretzky, Geoffrey Hinton and Terrence Sejnowski eds., Proceedings of the 1988 Connectionist Models Summer School
Circumscribing with Sets
Permissive Planning: Extending Classical Planning to Uncertain Task Domains
Reasoning about Noisy Sensors and Effectors in the Situation Calculus
Collaboratively built semi-structured content and Artificial Intelligence: The story so far
A Search Algorithm for Motion Planning with Six Degrees of Freedom
Multi-modal graph contrastive encoding for neural machine translation
Kernel-bounded clustering: Achieving the objective of spectral clustering without eigendecomposition
Reasoning about cardinal directions between extended objects: The NP-hardness result
Planning for Conjunctive Goals
Consistency restoration and explanations in dynamic CSPs Application to configuration
Explanations for query answers under existential rules
HTN planning: Overview, comparison, and beyond
Basic theoretical results for expert systems. Application to the supervision of adaptation transients in planar robots
Constraint propagation as information maximization
Wolfram's New Science: A New Start?
Semantic Interpretation and Ambiguity
A Multi-Level Geometric Reasoning System for Vision
Qualitative Representation of Positional Information
Batch repair actions for automated troubleshooting
Doing Arithmetic Without Diagrams
SATenstein: Automatically building local search SAT solvers from components
A Language and a Program for Stating and Solving Combinatorial Problems
Randomized coalition structure generation
Linear Resolution with Selection Function
On the Justification of Dempster's Rule of Combination
Why Heideggerian AI failed and how fixing it would require making it more Heideggerian
Bounded situation calculus action theories
Extended Causal Theories
Making Preferences More Active
A Complete Classification of Tractability in Allen's Algebra Relative to Subsets of Basic Relations
Better redistribution with inefficient allocation in multi-unit auctions
Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services
Twenty-One Large Tractable Subclasses of Allen's Algebra
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
Representation of Propositional Expert Systems as Partial Functions
Multiagent learning using a variable learning rate
On the Optimality of A *
Implicit, explicit and speculative knowledge
Concept Teaching
M. Balaban, K. Ebcioglu and O. Laske, eds., Understanding Music with AI - Perspectives on Cognitive Musicology
Expanding the prediction capacity in long sequence time-series forecasting
An incremental algorithm for generating all minimal models
CyclePad: An Articulate Virtual Laboratory for Engineering Thermodynamics
Conformality in the self-organization network
On market-inspired approaches to propositional satisfiability
On the Complexity of Admissible Search Algorithms
Text-Based Intelligent Systems
What Robots Can Do: Robot Programs and Effective Achievability
Human performance consequences of normative and contrastive explanations: An experiment in machine learning for reliability maintenance
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
Exploiting local and repeated structure in Dynamic Bayesian Networks
A Problem-Decomposition Method Using Differences or Equivalence Relations Between States
DENDRAL: A Case Study of the First Expert System for Scientific Hypothesis Formation
Defeasible inheritance with doubt index and its axiomatic characterization
Fine-tuning transformers: Vocabulary transfer
DivGAN: A diversity enforcing generative adversarial network for mode collapse reduction
A Systematic Methodology for Cognitive Modelling
Pragmatics and Natural Language Generation
In Search of a "True" Logic of Knowledge: The Nonmonotonic Perspective
Selection of Relevant Features and Examples in Machine Learning
Processing Disjunctions in Temporal Constraint Networks
Properties of tree convex constraints
Learning tractable Bayesian networks in the space of elimination orders
Operations and evaluation measures for learning possibilistic graphical models
Probably bounded suboptimal heuristic search
Voting on multi-issue domains with conditionally lexicographic preferences
Local closed world reasoning with description logics under the well-founded semantics
A Refined Architecture for Terminological Systems: Terminology = Schema + Views
Voting almost maximizes social welfare despite limited communication
Parsing as Non-Horn Deduction
Some Methods of Controlling the Tree Search in Chess Programs
Forecasting workload and airspace configuration with neural networks and tree search methods
Composing cardinal direction relations
Introduction: Special Issue on Distributed Constraint Satisfaction
E-generalization using grammars
On propositional definability
Mathematical runtime analysis for the non-dominated sorting genetic algorithm II (NSGA-II)
The Relevance of Relevance (Editorial)
Computational protein design as an optimization problem
Nils J. Nilsson, Principles of Artificial lntelligence
SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem
Job sequencing with one common and multiple secondary resources: An A ⁎ /Beam Search based anytime algorithm
Towards more expressive ontology languages: The query answering problem
Truncated incremental search
Counterfactuals as modal conditionals, and their probability
Reasoning about preferences in argumentation frameworks
Handbook of Genetic Algorithms (L. D. Davis)
Similarities and Distinctions in Sampling Strategies for Genetic Algorithms
If multi-agent learning is the answer, what is the question?
Towards a Process Model of Human Personality Traits
Introduction to the Special Volume on Reformulation
Head gestures for perceptual interfaces: The role of context in improving recognition
On the Nature of Pathology in Game Searching
G. Lakoff, M. Johnson, Metaphors We Live By
A logic of delegation
An information-based neural approach to generic constraint satisfaction
A local method for identifying causal relations under Markov equivalence
Two machine learning textbooks: An instructor's perspective
The extended global cardinality constraint: An empirical survey
Reprint of "Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011"
Learning to Improve Constraint-Based Scheduling
How Circuits Work
Social Conceptions of Knowledge and Action: DAI Foundations and Open Systems Semantics
E. A. Feigenbaum and P. McCorduck, The Fifth Generation: Artificial Intelligence and Japan's Computer Challenge to the World
Question Answering from Natural Language Medical Data Bases
Probabilistic modelling of general noisy multi-manifold data sets
Belief functions on distributive lattices
On Sandewall's Paper: Nonmonotonic Inference Rules for Multiple Inheritance with Exceptions
Envisioning the qualitative effects of robot manipulation actions using simulation-based projections
Introduction: Progress in formal commonsense reasoning
Restricted gradient-descent algorithm for value-function approximation in reinforcement learning
Multi-agent learning and the descriptive value of simple models
Analogy between concepts
Skypattern mining: From pattern condensed representations to dynamic constraint satisfaction problems
On Stein's Paper: Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies
Knowing the price of success
Uniform semantic treatment of default and autoepistemic logics
POPPONENT: Highly accurate, individually and socially efficient opponent preference model in bilateral multi issue negotiations
Unifying tree decompositions for reasoning in graphical models
Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques
Algorithms for computing strategies in two-player simultaneous move games
World Modeling for the Dynamic Construction of Real-Time Control Plans
The Complexity of Path-Based Defeasible Inheritance
A hybrid exact algorithm for complete set partitioning
Diagnosability of fair transition systems
Noise Modelling and Evaluating Learning from Examples
Evaluating XAI: A comparison of rule-based and example-based explanations
Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty
When autonomous agents model other agents: An appeal for altered judgment coupled with mouths, ears, and a little more tape
Algorithm runtime prediction: Methods & evaluation
Concise finite-domain representations for PDDL planning tasks
Online belief tracking using regression for contingent planning
Perspectives on multiagent learning
Donald A. Norman, The Psychology of Everyday Things
On the power of structural decompositions of graph-based representations of constraint problems
Computational Kinematics
A semantic characterization of a useful fragment of the situation calculus with knowledge
Review: B. Jähne, H. Haussecker, and P. Geissler, eds., Handbook of Computer Vision and Applications. 1. Sensors and Imaging. 2. Signal Processing and Pattern Recognition. 3. Systems and Applications
Procedural Control in Production Systems
On functional dependencies in q-Horn theories
On the undecidability of probabilistic planning and related stochastic optimization problems
Knowing what doesn't Matter: Exploiting the Omission of Irrelevant Data
CTL update of Kripke models through protections
An incremental algorithm for DLO quantifier elimination via constraint propagation
Approximating operators and semantics for abstract dialectical frameworks
Realizing RCC8 networks using convex regions
Optimizing pathfinding for goal legibility and recognition in cooperative partially observable environments
Negotiating team formation using deep reinforcement learning
Response to reviews by Feldman, Perlis, Taylor
Weighted EF1 allocations for indivisible chores
Separators and adjustment sets in causal graphs: Complete criteria and an algorithmic framework
Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result
Temporal inductive path neural network for temporal knowledge graph reasoning
Strategy Construction Using Homomorphisms Between Games
Geometric Construction by Assembling Solved Subfigures
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
R. Wilensky, Planning and Understanding: A Computational Approach to Human Reasoning
On the Computational Complexity of Querying Bounds on Differences Constraints
The Technology Chess Program
Cooperative games with overlapping coalitions: Charting the tractability frontier
On the value of using group discounts under price competition
A conflict-directed approach to chance-constrained mixed logical linear programming
Configurable hyperdimensional graph representation
Linear constraints for the interpretation of line drawings of curved objects
LAD2025, A constraint-based solver for the subgraph isomorphism problem
A heuristic search approach to planning with temporally extended preferences
On the complexity of core, kernel, and bargaining set
Belief base contraction by belief accrual
On the Consistency of Defeasible Databases
Content Reference: Reasoning about Rules
A Theory of Diagnosis from First Principles
Approximate inference in Boltzmann machines
Heuristic Search Viewed as Path Finding in a Graph
Conditional logic of actions and causation
Toward any-language zero-shot topic classification of textual documents
Lifting integrity constraints in binary aggregation
Mining competent case bases for case-based reasoning
A nonmonotonic observation logic
Evaluating epistemic negation in answer set programming
A sufficiently fast algorithm for finding close to optimal clique trees
Coalition Structure Generation with Worst Case Guarantees
Grounded predictions of teamwork as a one-shot game: A multiagent multi-armed bandits approach
Analysis of Adaptation and Environment
Levels of explainable artificial intelligence for human-aligned conversational explanations
Diverse Confidence Levels in a Probabilistic Semantics for Conditional Logics
Discovering hidden structure in factored MDPs
A Theory of the Origins of Human Knowledge
Strategyproof Allocation Mechanisms with Endowments and M-convex Distributional Constraints
A spectrum of compromise aggregation operators for multi-attribute decision making
Modelling Social Action for AI Agents
Robust artificial life via artificial programmed death
A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains
Fusion and Propagation with Multiple Observations in Belief Networks
Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Space
Pitch Accent in Context: Predicting Intonational Prominence from Text
Integrating multi-armed bandit with local search for MaxSAT
Distributed monitoring of election winners
Formalizing sensing actions A transition function based approach
Complexity, Decidability and Undecidability Results for Domain-Independent Planning
A computational model of belief
An Assumption-Based TMS
Dynamics of argumentation systems: A division-based method
Alternative Approaches to Default Logic
On the measure of conflicts: Shapley Inconsistency Values
Argumentative explanations for interactive recommendations
Complexity of fundamental problems in probabilistic abstract argumentation: Beyond independence
Reordering all agents in asynchronous backtracking for distributed constraint satisfaction problems
Heterogeneous Active Agents, II: Algorithms and Complexity
Abstraction from demonstration for efficient reinforcement learning in high-dimensional domains
The complexity of constraint satisfaction problems for small relation algebras
A Cognitive Architecture for Artificial Vision
Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility
Partially observable Markov decision processes with imprecise parameters
Revision in networks of ontologies
On the graded acceptability of arguments in abstract and instantiated argumentation
Incorporating weights into real-time heuristic search
Reasoning About Qualitative Temporal Information
The Computational Complexity of Probabilistic Inference Using Bayesian Belief Networks
Commonsense visual sensemaking for autonomous driving - On generalised neurosymbolic online abduction integrating vision and semantics
Dialectic proof procedures for assumption-based, admissible argumentation
Sound and Efficient Closed-World Reasoning for Planning
Abstracting situation calculus action theories
Three New Publication Categories for the Artificial Intelligence Journal
S. M. Weiss and C. A. Kulikowski, A Practical Guide to Designing Expert Systems
Abduction in logic programming: A new definition and an abductive procedure based on rewriting
From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem
Knowledge, action, and the frame problem
Disjoint pattern database heuristics
Constraint partitioning in penalty formulations for solving temporal planning problems
On the computational complexity of coalitional resource games
Growing Methods for Constructing Recursive Deterministic Perceptron Neural Networks and Knowledge Extraction
On social envy-freeness in multi-unit markets
Clause Trees: A Tool for Understanding and Implementing Resolution in Automated Reasoning
Automatic identification of music performers with learning ensembles
Models of Incremental Concept Formation
Towards a practical theory of reformulation for reasoning about physical systems
A Heuristic Search Algorithm with Modifiable Estimate
How to find a good explanation for clustering?
A Foundational Theory of Belief and Belief Change
Proof by Consistency
Verification of multi-agent systems with public actions against strategy logic
The algebra IA fuz : a framework for qualitative fuzzy temporal reasoning
Belief revision in Horn theories
Decomposition of structural learning about directed acyclic graphs
Why AM and EURISKO Appear to Work
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
Three books on language: pro-Noam, anti-Noam, net-Noam
A Logical Framework for Default Reasoning
Proving Unsatisfiability for Problems with Constant Cubic Sparsity
Odd man out: Reply to reviewers
Inconsistency-tolerant query answering for existential rules
kLog: A language for logical and relational learning with kernels
An Active Vision Architecture Based on Iconic Representations
Reasoning About Actions: Steady Versus Stabilizing State Constraints
The Topology of Boundaries
Minimal change: Relevance and recovery revisited
A dynamic epistemic framework for reasoning about conformant probabilistic plans
Risk-averse optimization of reward-based coherent risk measures
Towards well-generalizing meta-learning via adversarial task augmentation
Qualitative Simulation
A Logical Theory of Robot Problem Solving
Mind and Mechanism, by Drew V. McDermott
Qualitative Spatial Reasoning: The Clock Project
Audiences in argumentation frameworks
Bucket Elimination: A Unifying Framework for Reasoning
Understanding the scalability of Bayesian network inference using clique tree growth curves
From binary temporal relations to non-binary ones and back
On principle-based evaluation of extension-based argumentation semantics
Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory
AND/OR search spaces for graphical models
Natural Language Syntax and First-Order Inference
Estimation of Optical Flow Based on Higher-Order Spatiotemporal Derivatives in Interlaced and Non-Interlaced Image Sequences
On quasi-inconsistency and its complexity
An approach to decision making based on dynamic argumentation systems
Tree Clustering for Constraint Networks
A differentiable first-order rule learner for inductive logic programming
Automated Analysis of Instructional Text
Learning conditional preference networks
The Computational Complexity of Abduction
Sensor networks and distributed CSP: communication, computation and complexity
NT-FAN: A simple yet effective noise-tolerant few-shot adaptation network
Anytime coalition structure generation in multi-agent systems with positive or negative externalities
Agent Searching in a Tree and the Optimality of Iterative Deepening
The complexity of mixed multi-unit combinatorial auctions: Tractability under structural and qualitative restrictions
First-order logical filtering
Improved Methods of Estimating Shape from Shading Using the Light Source Coordinate System
A Relaxation Approach to Splitting in an Automatic Theorem Prover
Modelling and solving temporal reasoning as propositional satisfiability
Automated construction of bounded-loss imperfect-recall abstractions in extensive-form games
Competence-aware systems
Graph Search Methods for Non-Order-Preserving Evaluation Functions: Applications to Job Sequencing Problems
The algorithm selection competitions 2015 and 2017
On rational entailment for Propositional Typicality Logic
Bayesian and Non-Bayesian Evidential Updating
Transferring knowledge as heuristics in reinforcement learning: A case-based approach
Interpretation of Imperfect Line Data as a Three-Dimensional Scene
A modal logic for subjective default reasoning
Teaming up humans with autonomous synthetic characters
Measuring inconsistency with constraints for propositional knowledge bases
The logic of gossiping
Steven Pinker and Jacques Mehler, eds., Connections and Symbols (Reprinted from Cognition: International Journal of Cognitive Science 28 (1988))
Iterated belief change in the situation calculus
Logical Analysis of Binary Data with Missing Bits
Preference-based inconsistency-tolerant query answering under existential rules
Ramification and Causality
Knowing-how under uncertainty
Optimal Sokoban solving using pattern databases with specific domain knowledge
Coalition structure generation: A survey
Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach
The scope and limits of simulation in automated reasoning
Cognitive Science: Real or Imaginary?: Review of The MIT Encyclopedia of The Cognitive Sciences edited by Robert A. Wilson and Frank C. Keil