yusuke1997/dblp-id-title huggingface dataset:
A simple yet effective self-debiasing framework for transformer models
Kernel functions for case-based planning
From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group
Data-Driven Approaches to Empirical Discovery
A logic-based model of intention formation and action for multi-agent subcontracting
Peeking behind the ordinal curtain: Improving distortion via cardinal queries
Integration of Weighted Knowledge Bases
Mathematical Problems Arising in Qualitative Simulation of a Differential Equation
No free lunch theorem for privacy-preserving LLM inference
Lexicographic Priorities in Default Logic
Defining Operationality for Explanation-Based Learning
Łukasiewicz logics for cooperative games
Eliminating the Fixed Predicates from a Circumscription
A logic programming approach to knowledge-state planning, II: The DLV K system
Experiments in Interpretation-Guided Segmentation
MiningZinc: A declarative framework for constraint-based mining
A progression semantics for first-order logic programs
Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search
A k -additive Choquet integral-based approach to approximate the SHAP values for local interpretability in machine learning
Rethinking visual prompt learning as masked visual token modeling
Modal Logics, Description Logics and Arithmetic Reasoning
Explanatory Update Theory: Applications of Counterfactual Reasoning to Causation
A Note on the Stable Model Semantics for Logic Programs. (Research Note)
Using temporal logics to express search control knowledge for planning
A graded BDI agent model to represent and reason about preferences
Categorical and Probabilistic Reasoning in Medicine Revisited
Stable repeated strategies for information exchange between two autonomous agents
Too Many Ideas: Just one Word: A Review of Margaret Boden's The Creative Mind: Myths and Mechanisms
Better bounds on the adaptivity gap of influence maximization under full-adoption feedback
Wrappers for Feature Subset Selection
Globalizing constraint models
A unified framework of active transfer learning for cross-system recommendation
A Comparison and Evaluation of Three Machine Learning Procedures as Applied to the Game of Checkers
Automated Model Selection for Simulation Based on Relevance Reasoning
An application of formal argumentation: Fusing Bayesian networks in multi-agent systems
e-NSP: Efficient negative sequential pattern mining
Defaults and Relevance in Model-Based Reasoning
Complexity results and algorithms for possibilistic influence diagrams
Tensor Product Variable Binding and the Representation of Symbolic Structures in Connectionist Systems
Democratic instance selection: A linear complexity instance selection algorithm based on classifier ensemble concepts
The Engineering of Creativity: A Review of Boden's The Creative Mind
Modular materialisation of Datalog programs
On Proving the Termination of Algorithms by Machine
Efficient projection algorithms onto the weighted ℓ 1 ball
Christopher Cherniak, Minimal Rationality
Lifelong Planning A
Arguing about informant credibility in open multi-agent systems
Topological recognition of polyhedral objects from multiple views
Algebras of actions in an agent's representations of the world
Modeling information exchange opportunities for effective human-computer teamwork
Margaret Boden, The Creative Mind
A reduction-graph model of precedent in legal analysis
An Affective Mobile Robot Educator with a Full-Time Job
ReTAX: A Step in the Automation of Taxonomic Revision
Reward-respecting subtasks for model-based reinforcement learning
Automatic Qualitative Analysis of Dynamic Systems Using Piecewise Linear Approximations
Strong planning under partial observability
Synchronous bidirectional inference for neural sequence generation
Intelligence without Representation
On the equivalence of optimal recommendation sets and myopically optimal query sets
Resolving distributed knowledge
Learning MAX-SAT from contextual examples for combinatorial optimisation
Planning as Search: A Quantitative Approach
Pathology on Game Trees Revisited, and an Alternative to Minimaxing
A World-Championship-Level Othello Program
Flexibility and decoupling in Simple Temporal Networks
Syntactical Treatments of Propositional Attitudes
Enhanced qualitative probabilistic networks for resolving trade-offs
Possibilistic Reasoning - A Mini-Survey and Uniform Semantics
Heuristic Search Through Islands
Foundations of instance level updates in expressive description logics
On the design of coordination diagnosis algorithms for teams of situated agents
Qualitative Reasoning about Physical Systems: An Introduction
Automatic generation of sentimental texts via mixture adversarial networks
A comprehensive methodology for building hybrid models of physical systems
Mechanizing Temporal Knowledge
A new approach to estimating the expected first hitting time of evolutionary algorithms
Hierarchical conceptual spaces for concept combination
Semantic linking through spaces for cyber-physical-socio intelligence: A methodology
Defending a city from multi-drone attacks: A sequential Stackelberg security games approach
Pareto optimal allocation under uncertain preferences: uncertainty models, algorithms, and complexity
The emergence of compositional structures in perceptually grounded language games
Mechanism design for the truthful elicitation of costly probabilistic estimates in distributed information systems
Arbibs's Metaphorical Brain 2
The Stabilization of Environments
Incremental measurement of structural entropy for dynamic graphs
Tractable Reasoning via Approximation
A budget-limited mechanism for category-aware crowdsourcing of multiple-choice tasks
Pandora's box problem with time constraints
Qualitative Superposition
Discovering agents
Algorithms for estimating the partition function of restricted Boltzmann machines
How to progress a database III
Knowledge Versus Search: A Quantitative Analysis Using A *
A Resolution Principle for Constrained Logics
Fundamental properties of attack relations in structured argumentation with priorities
Fixed point semantics for stream reasoning
A Theory of Spatio-Temporal Aggregation for Vision
Physical search problems with probabilistic knowledge
An extensive study of security games with strategic informants
A Theory of Abstraction
Semantic forgetting in answer set programming
3-D Motion Estimation from Motion Field
Case Systems for Natural Language
Epistemic graphs for representing and reasoning with positive and negative influences of arguments
Linear-Time Algorithms for Testing the Realisability of Line Drawings of Curved Objects
Evaluating new options in the context of existing plans
Optimal Composition of Real-Time Systems
Local Conditioning in Bayesian Networks
Uncertainty Measures of Rough Set Prediction
Completely Non-Clausal Theorem Proving
Hard Random 3-SAT Problems and the Davis-Putnam Procedure
Transferring skills to humanoid robots by extracting semantic representations from observations of human activities
A Society of Ideas on Cognition: Review of Marvin Minsky's The Society of Mind
XPLAIN: A System for Creating and Explaining Expert Consulting Programs
Qualitative choice logic
Breadth-first heuristic search
Model-based reasoning about learner behaviour
Complex systems: Network thinking
On the Logic of Causal Explanation (Research Note)
Budget-feasible mechanisms for proportionally selecting agents from groups
An initial study of time complexity in infinite-domain constraint satisfaction
Real-time reasoning in OWL2 for GDPR compliance
AM: A Case Study in AI Methodology
Taggers for Parsers
Retrospective on "Interpreting Line Drawings as Three-Dimensional Surfaces"
Decidability and complexity of action-based temporal planning over dense time
Empirical decision model learning
Constraint Satisfaction Problem with Bilevel Constraint: Application to Interpretation of Over-Segmented Images
Reinforcement Learning of Non-Markov Decision Processes
Game description language and dynamic epistemic logic compared
Best-First Minimax Search
Data repair of inconsistent nonmonotonic description logic programs
Dissecting scientific explanation in AI (sXAI): A case for medicine and healthcare
A postulate-driven study of logical argumentation
Approximate Planning
Machine Discovery in Chemistry: New Results
Semi-quantitative system identification
Inductive Functional Programming Using Incremental Program Transformation
Automated Program Recognition: A Feasibility Demonstration
On probabilistic inference by weighted model counting
Multi-modal diagnosis combining case-based and model-based reasoning: a formal and experimental analysis
Symbolic knowledge extraction from trained neural networks: A sound approach
Performance bounds for planning in unknown terrain
Bayesian agency: Linear versus tractable contracts
Diffusion centrality: A paradigm to maximize spread in social networks
Toward a Model of Representation Changes
Classifier Systems and Genetic Algorithms
Artificial Intelligence - Where Are We?
Online learning of energy consumption for navigation of electric vehicles
Lost in translation: Language independence in propositional logic - application to belief change
Taking account of the actions of others in value-based reasoning
Methods for solving reasoning problems in abstract argumentation - A survey
Reasoning on UML class diagrams
Lifted inference beyond first-order logic
The *-Minimax Search Procedure for Trees Containing Chance Nodes
A note on incorrect inferences in non-binary qualitative probabilistic networks
DENDRAL and Meta-DENDRAL: Roots of Knowledge Systems and Expert System Applications
SAT-based MaxSAT algorithms
Robust Bayes classifiers
Reducing Reexpansions in Iterative-Deepening Search by Controlling Cutoff Bounds
Fair navigation planning: A resource for characterizing and designing fairness in mobile robots
A general framework for sound assumption-based argumentation dialogues
Propositional proof systems based on maximum satisfiability
The Value of the Four Values
Phase Transitions and the Search Problem
Learning cost-sensitive active classifiers
Provably efficient information-directed sampling algorithms for multi-agent reinforcement learning
Robot ethics: Mapping the issues for a mechanized world
Design and results of the Fifth Answer Set Programming Competition
Downward Refinement and the Efficiency of Hierarchical Problem Solving
The deterministic part of the seventh International Planning Competition
Epistemic uncertainty aware semantic localization and mapping for inference and belief space planning
Representing and planning with interacting actions and privacy
Knowledge-driven profile dynamics
Multi-attribute proportional representation
A Logical Approach to the Dynamics of Commitments
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition--Application to 3D brain imaging
The measurement of ranks and the laws of iterated contraction
Foundations of ontology-based data access under bag semantics
Local and global explanations of agent behavior: Integrating strategy summaries with saliency maps
k-Certainty Exploration Method: An Action Selector to Identify the Environment in Reinforcement Learning
Knowledge-based programs as succinct policies for partially observable domains
Qualitative decision theory with preference relations and comparative uncertainty: An axiomatic approach
Nick Montfort, Twisty Little Passages: An Approach to Interactive Fiction , MIT Press (2005) ISBN 0-262-13436-5
Filtering algorithms for the multiset ordering constraint
On pruning search trees of impartial games
Book Review: Andrew Ortony, Gerald L. Clore and Allan Collins, The Cognitive Structure of Emotions
Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Improving heuristic mini-max search by supervised learning
RoboCup: Today and Tomorrow - What we have learned
Learning Production Systems from Examples
Games for query inseparability of description logic knowledge bases
An Algorithmic Approach to Some Problems in Terrain Navigation
Learning multilingual named entity recognition from Wikipedia
Wu's Method and its Application to Perspective Viewing
History of Circumscription
Algorithms for strategyproof classification
Controlled query evaluation in description logics through consistent query answering
Adapting a kidney exchange algorithm to align with human values
From Local to Global Consistency
Probabilistic reach-avoid for Bayesian neural networks
Performance of Linear-Space Search Algorithms
The co-occurrence test for non-monotonic inference
H. Abelson and G. J. Sussman with J. Sussman, Structure and Interpretation of Computer Programs
Literature from Cognitive Psychology
Objective Probabilities in Expert Systems
Optimizing the computation of overriding in DLN
Causality in Device Behavior
Ordering Conjunctive Queries
Enhancing context knowledge repositories with justifiable exceptions
A Multivalued Logic Approach to Integrating Planning and Control
Prioritized logic programming and its application to commonsense reasoning
A Circumscriptive Calculus of Events
Network-Based Heuristics for Constraint-Satisfaction Problems
Knowledge forgetting: Properties and applications
Converting numerical classification into text classification
A generalised framework for dispute derivations in assumption-based argumentation
Open-world probabilistic databases: Semantics, algorithms, complexity
Polarized message-passing in graph neural networks
Context-specific sign-propagation in qualitative probabilistic networks
Interpreting capsule networks for image classification by routing path visualization
Algorithms and conditional lower bounds for planning problems
An event-based distributed diagnosis framework using structural model decomposition
SampleSearch: Importance sampling in presence of determinism
Blocks World revisited
The Plan Recognition Problem: An Intersection of Psychology and Artificial Intelligence
Handling and measuring inconsistency in non-monotonic logics
On the computation of mixed strategies for security games with general defending requirements
Reasoning about causality in games
Constrained coalition formation on valuation structures: Formal framework, applications, and islands of tractability
On the phase transitions of random k-constraint satisfaction problems
From a Real Chair to a Negative Chair
Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency
Bridging sparse domain semantics via an asymmetric siamese framework with virtual anchor guidance for domain-specific multimodal translation
Conditional independence and chain event graphs
Knowledge base exchange: The case of OWL 2 QL
Learning a fast 3D spectral approach to object segmentation and tracking over space and time
Learning reward machines: A study in partially observable reinforcement learning
Weak nonmonotonic probabilistic logics
CROSS cyclic resource-constrained scheduling solver
Almost proportional allocations of indivisible chores: Computation, approximation and efficiency
Arc and Path Consistency Revisited
Fast Bayes and the Dynamic Junction Forest
Recognition of Object Classes from Range Data
Class fairness in online matching
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability
Optimizing with minimum satisfiability
Frames in the Space of Situations
Combining probabilistic logic programming with the power of maximum entropy
Proof-Number Search
Task Decomposition, Dynamic Role Assignment, and Low-Bandwidth Communication for Real-Time Strategic Teamwork
Diagnosis of discrete-event systems from uncertain temporal observations
Model-Based Average Reward Reinforcement Learning
How many diagnoses do we need?
Generalized planning as heuristic search: A new planning search-space that leverages pointers over objects
Why is AI so scary?
Choice logics and their computational properties
Automatic Knowledge Base Refinement for Classification Systems
Discourse Strategies for Generating Natural-Language Text
Learning Dynamics: System Identification for Perceptually Challenged Agents
On the Efficient Synthesis of Efficient Programs
Overview and analysis of the SAT Challenge 2012 solver competition
The B * Tree Search Algorithm: A Best-First Proof Procedure
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games
Foundations of AI: The Big Issues
An economist's perspective on multi-agent learning
Declarative probabilistic logic programming in discrete-continuous domains
Teachable robots: Understanding human teaching behavior to build more effective robot learners
Disjunctive closures for knowledge compilation
Unified Theories of Cognition: Modeling Cognitive Competence
Dynamic tunneling based regularization in feedforward neural networks
Enactive artificial intelligence: Investigating the systemic organization of life and mind
From answer set logic programming to circumscription via logic of GK
On conjectures in orthocomplemented lattices
Quantifying and alleviating political bias in language models
Towards a science of integrated AI and Robotics
PeerNomination: A novel peer selection algorithm to handle strategic and noisy assessments
Conjure: Automatic Generation of Constraint Models from Problem Specifications
Quantum logic, Hilbert space, revision theory
Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification
Introduction: Paradigms for Machine Learning
Eugene Charniak, Christopher Riesbeck and Drew McDermott, Artificial Intelligence Programming
Contracting preference relations for database applications
Intrinsic approaches to prioritizing diagnoses in multi-context systems
Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic
An Optimal Approximation Algorithm for Bayesian Inference
Ethical approaches and autonomous systems
A branch and prune algorithm for the computation of generalized aspects of parallel robots
Efficient symbolic search for cost-optimal planning
Most frugal explanations in Bayesian networks
Using Wikipedia to learn semantic feature representations of concrete concepts in neuroimaging experiments
Understanding the complexity of axiom pinpointing in lightweight description logics
Mining Top-k motifs with a SAT-based framework
A hierarchical approach to computer Hex
Strategyproof mechanisms for Friends and Enemies Games
Human-computer negotiation in a three player market setting
The Token Reification Approach to Temporal Reasoning
Parallelism in Vision
Foundations of multi-agent learning: Introduction to the special issue
3D Object Recognition Using Invariance
An Investigation Into the Goals of Research in Automatic Theorem Proving as Related to Mathematical Reasoning
On existence of truthful fair cake cutting mechanisms
Multilevel Enhancement and Detection of Stereo Disparity Surfaces
Schelling games on graphs
Searching stochastically generated multi-abstraction-level design spaces
Geometric Reasoning and Artificial Intelligence: Introduction to the Special Volume
A scalable multi-robot goal assignment algorithm for minimizing mission time followed by total movement cost
Tail Uncertainty Analysis in Complex Systems
Model-lite planning: Case-based vs. model-based approaches
Artificial Intelligence: An Empirical Science
Showing the Way: A Review of the Second Edition of Holland's Adaptation in Natural and Artificial Systems
Tractable Constraints on Ordered Domains
An unsupervised training method for non-intrusive appliance load monitoring
Using POMDPs for learning cost sensitive decision trees
A computational framework for conceptual blending
A. I. Goldman, Epistemology and Cognition
Recovery of 3-D Objects with Multiple Curved Surfaces from 2-D Contours
On preference learning based on sequential Bayesian optimization with pairwise comparison
Ascending-price mechanism for general multi-sided markets
Robustness among multiwinner voting rules
Evolving interpretable decision trees for reinforcement learning
A Logic for Default Reasoning
Faster shift-reduce constituent parsing with a non-binary, bottom-up strategy
Theory Formation by Heuristic Search
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
A Pattern Classification Approach to Evaluation Function Learning
On the Knowledge Required to Label a Picture Graph
Partial observability and learnability
Hierarchical clustering optimizes the tradeoff between compositionality and expressivity of task structures for flexible reinforcement learning
Cooperative Responses from a Portable Natural Language Query System
Exploiting the category structure of Wikipedia for entity ranking
Conformant plans and beyond: Principles and complexity
Out-of-distribution detection by regaining lost clues
Dynamics in matching and coalition formation games with structural constraints
The local geometry of multiattribute tradeoff preferences
Controlling Recursive Inference
Analysing Images of Curved Surfaces
Conflict-tolerant and conflict-free multi-agent meeting
Contingent planning under uncertainty via stochastic satisfiability
Psychophysical and Computational Studies Towards a Theory of Human Stereopsis
CVPR 2020 continual learning in computer vision competition: Approaches, results, current challenges and future directions
Mitigating social biases of pre-trained language models via contrastive self-debiasing with double data augmentation
The Description Identification Problem
Consistency-based diagnosis of configuration knowledge bases
Ranking functions and rankings on languages
On measuring inconsistency in graph databases with regular path constraints
Learning in Mathematically-Based Domains: Understanding and Generalizing Obstacle Cancellations
Intelligent agent supporting human-multi-robot team collaboration
Probabilistic sentence satisfiability: An approach to PSAT
Problem Structure Heuristics and Scaling Behavior for Genetic Algorithms
A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments
An Artificial Intelligence Approach to Language Instruction
Mechanisms for information elicitation
Knowledge transformation and fusion in diagnostic systems
Algorithm portfolios
The complexity of approximating MAPs for belief networks with bounded probabilities
The Mathematics of Non-Monotonic Reasoning
Logic Tensor Networks
M. Dorigo and T. Stützle, Ant Colony Optimization
E-connections of abstract description systems
On the design of truthful mechanisms for the capacitated facility location problem with two and more facilities
Explorations in engagement for humans and robots
On the Complexity of Labeling Perspective Projections of Polyhedral Scenes
Making Compromises Among Antagonist Constraints in a Planner
An Investigation of the Causes of Pathology in Games
Exact stochastic constraint optimisation with applications in network analysis
Adversarial analysis of similarity-based sign prediction
Incremental elicitation of Choquet capacities for multicriteria choice, ranking and sorting problems
Active Surface Estimation: Integrating Coarse-to-Fine Image Acquisition and Estimation from Multiple Cues
Anytime Deduction for Probabilistic Logic
Making Computational Sense of Montague's Intensional Logic
Adversarial patrolling with spatially uncertain alarm signals
Does the world look different in different languages?
Memory intensive AND/OR search for combinatorial optimization in graphical models
Minimal Belief and Negation as Failure
On Cumulative Default Logics
Online learning in sequential Bayesian persuasion: Handling unknown priors
What Computers Still Can't Do
Exploiting symmetries within constraint satisfaction search
The Use of Dynamics in an Intelligent Controller for a Space Faring Rescue Robot
Solving quantified constraint satisfaction problems
From model checking to equilibrium checking: Reactive modules for rational verification
Boosting optimal symbolic planning: Operator-potential heuristics
Improving logical flow in English-as-a-foreign-language learner essays by reordering sentences
Approximate weighted model integration on DNF structures
From systems to logic in the early development of nonmonotonic reasoning