yusuke1997/dblp-id-title huggingface dataset:
Differentially private fair division
Encoding implicit relation requirements for relation extraction: A joint inference approach
Decentralized MDPs with sparse interactions
A new representation and associated algorithms for generalized planning
Automatically generating personalized user interfaces with Supple
A Situated View of Representation and Control
The increasing cost tree search for optimal multi-agent pathfinding
Embedding Decision-Analytic Control in a Learning Architecture
John Pollock, How to Build a Person: A Prolegomenon
On the limits of forgetting in Answer Set Programming
Together we know how to achieve: An epistemic logic of know-how
MATE: Masked optimal transport with dynamic selection for partial label graph learning
A Framework for Knowledge-Based Temporal Abstraction
Explaining black-box classifiers using post-hoc explanations-by-example: The effect of explanations and error-rates in XAI user studies
Characterising Tractable Constraints
Predicting winner and estimating margin of victory in elections using sampling
The Logical Foundations of Goal-Regression Planning in Autonomous Agents
Analytic Resolution in Theorem Proving
Generalizing the Notion of Schema in Genetic Algorithms
Learning equilibrium as a generalization of learning to optimize
A general formulation of conceptual spaces as a meso level representation
Circumscription: Completeness Reviewed
A computational model of Ostrom's Institutional Analysis and Development framework
A Dictionary Based on Concept Coherence
On the Knowledge Requirements of Tasks
Investigating the properties of neural network representations in reinforcement learning
Multi-agent human-machine dialogue: issues in dialogue management and referring expression semantics
On "Computation and Cognition: Toward a Foundation of Cognitive Science". A Response to the Reviews by A. K. Mackworth and M. J. Stefik
Formal verification and synthesis of mechanisms for social choice
Coherence graphs
Matthew Zeidenberg, Neural Networks in Artificial Intelligence
Explanations, belief revision and defeasible reasoning
Mis- and disinformation in a bounded confidence model
Model-Preference Default Theories
Logic-based ontology comparison and module extraction, with an application to DL-Lite
A Theory of Nonmonotonic Inheritance Based on Annotated Logic
The TSP Phase Transition
Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896]
CBS-Budget (CBSB): A complete and bounded suboptimal search for multi-agent path finding
Inductive situation calculus
Understanding metonymies in discourse
Retrospective on "Production Rules as a Representation for a Knowledge-Based Consultation Program"
Time complexity of iterative-deepening-A *
Note about cardinality-based circumscription
B. A. Huberman, ed., The Ecology of Computation
Algorithms and everyday life
The Visual Interpretation of Surface Contours
Constructing Roadmaps of Semi-Algebraic Sets I: Completeness
Multilanguage Hierarchical Logics or: How we can do Without Modal Logics
On the Satisfiability of Circumscription
Combining topological and size information for spatial reasoning
No more "Partial" and "Full Looking Ahead"
Jumping to Explanations versus Jumping to Conclusions
Approximating problems in abstract argumentation with graph convolutional networks
Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective
Estimating the probability of meeting a deadline in schedules and plans
Automatic interpretation of loosely encoded input
The distributed breakout algorithms
Automated aerial suspended cargo delivery through reinforcement learning
Updating action domain descriptions
The Last Player Theorem
The delay and window size problems in rule-based stream reasoning
Explainable AI tools for legal reasoning about cases: A study on the European Court of Human Rights
Planning and Meta-Planning (MOLGEN: Part 2)
Bounded-parameter Markov decision processes
A defeasible reasoning model of inductive concept learning from examples and communication
Special issue on Explainable Artificial Intelligence (XAI)
An axiomatic analysis of structured argumentation with priorities
Compiling constraint satisfaction problems
Psychiatric document retrieval using a discourse-aware model
Erratum to "Dynamic term-modal logics for first-order epistemic planning" [Artif. Intell. 286 (2020) 103305]
A structural complexity analysis of synchronous dynamical systems
Controlling Cooperative Problem Solving in Industrial Multi-Agent Systems Using Joint Intentions
Pruning external minimality checking for answer set programs using semantic dependencies
An approach for combining ethical principles with public opinion to guide public policy
Detection of semantic errors in Arabic texts
Complexity results for explanations in the structural-model approach
Lifted action models learning from partial traces
A High-Performance Explanation-Based Learning Algorithm
Version spaces and the consistency problem
The QBF Gallery: Behind the scenes
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
Bi-goal evolution for many-objective optimization problems
Sequential Monte Carlo in reachability heuristics for probabilistic planning
A Planning System for Robot Construction Tasks
Approximation of action theories and its application to conformant planning
Bagging and Boosting statistical machine translation systems
A Unified Model of Qualitative Belief Change: A Dynamical Systems Perspective
On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time
IPUS: An Architecture for the Integrated Processing and Understanding of Signals
Cooperation without Deliberation: A Minimal Behavior-based Approach to Multi-Robot Teams
A case-based approach for coordinated action selection in robot soccer
Computing AES related-key differential characteristics with constraint programming
Ordered completion for first-order logic programs on finite structures
Measuring the Performance Potential of Chess Programs
Closed-World Databases and Circumscription
A Method for Managing Evidential Reasoning in a Hierarchical Hypothesis Space: A Retrospective
Speculative plan execution for information gathering
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog
Heuristic Search in Restricted Memory
Abstract argumentation frameworks with strong and weak constraints
Autoepistemic equilibrium logic and epistemic specifications
Today the Earwig, Tomorrow Man?
Safe, learning-based MPC for highway driving under lane-change uncertainty: A distributionally robust approach
The MIT Encyclopedia of the Cognitive Sciences, edited by Robert Wilson and Frank Keil
ALX, an Action Logic for Agents with Bounded Rationality
On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses
A lightweight epistemic logic and its application to planning
Querying temporal and spatial constraint networks in PTIME
Depth-First Heuristic Search on a SIMD Machine
Parameterized complexity of envy-free resource allocation in social networks
Incentive-based search for efficient equilibria of the public goods game
Relaxed core stability in hedonic games
The PN * -search algorithm: Application to tsume-shogi
Detection of Surface Orientation and Motion from Texture by a Stereological Technique
Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis
Translingual Information Retrieval: Learning from Bilingual Corpora
Panlingual lexical translation via probabilistic inference
Bridging theory and practice in bidirectional heuristic search with front-to-end consistent heuristics
An Empirical Symbolic Approach to Natural Language Processing
Compact and efficient encodings for planning in factored state and action spaces with learned Binarized Neural Network transition models
Explaining and Repairing Plans That Fail
J. F. Sowa, Conceptual Structures: Information Processing in Mind and Machine
Generalization as Search
Computer Go: An AI oriented survey
POMDPs under probabilistic semantics
Theory revision with queries: Horn, read-once, and parity formulas
Detecting Geometric Infeasibility
The scope of the cognitive sciences: Reply to 6 reviews of The MIT Encyclopedia of the Cognitive Sciences
The model evolution calculus as a first-order DPLL method
An Extension of Pointwise Circumscription
Knowledge graphs as tools for explainable machine learning: A survey
Metamodeling and metaquerying in OWL 2 QL
Automatic Theorem Proving in Set Theory
Conjecturing Hidden Entities by Means of Simplicity and Conservation Laws: Machine Discovery in Chemistry
Implicates and Prime Implicates in Random 3-SAT
Edge Detection Using Walsh Functions
Simple environments fail as illustrations of intelligence: A review of R. Pfeifer and C. Scheier, Understanding Intelligence
Principles of Human Computer Collaboration for Knowledge Discovery in Science
Depth-based short-sighted stochastic shortest path problems
Nils J. Nilsson, The Quest for Artificial Intelligence , Cambridge (2010)
Unsupervised stratification of cross-validation for accuracy estimation
How does a box work? A study in the qualitative dynamics of solid objects
Artificial immune systems can find arbitrarily good approximations for the NP-hard number partitioning problem
Learning Metric-Topological Maps for Indoor Mobile Robot Navigation
Verifiable Implementations of Geometric Algorithms Using Finite Precision Arithmetic
Margin of victory for tournament solutions
Algorithms for propagating resource constraints in AI planning and scheduling: Existing approaches and new results
Preface - The Changing Shape of Computer Vision
A Structural Theory of Explanation-Based Learning
Cortical hierarchies, sleep, and the extraction of knowledge from memory
Shape from Texture: General Principle
Learning from planner performance
A Probabilistic Analysis of Propositional STRIPS Planning
Macro-Operators: A Weak Method for Learning
Lucy A. Suchman, Plans and Situated Actions: The Problem of Human-Machine Commuinication (Cambridge University Press, Cambridge 1987)
The Roles of Associational and Causal Reasoning in Problem Solving
Equivalence notions and model minimization in Markov decision processes
Functional Dependencies in Horn Theories
Consistent-Labeling Problems and Their Algorithms: Expected-Complexities and Theory-Based Heuristics
E. Davis, Representations of Commonsense Knowledge and D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representations and Inference in the Cyc Project
Towards convergence rate analysis of random forests for classification
An argument-based approach to reasoning with specificity
The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
Efficient duration and hierarchical modeling for human activity recognition
Sensorimotor Transformations in the Worlds of Frogs and Robots
Easy Problems are Sometimes Hard
Justification and Defeat
Believing others: Pros and cons
Making the right exceptions
Syntax-aware entity representations for neural relation extraction
Language independent sequence labelling for Opinion Target Extraction
Heuristically Guided Search and Chromosome Matching
Automatic construction of parallel portfolios via algorithm configuration
On the impact of the performance metric on efficient algorithm configuration
Long-distance mutual exclusion for planning
Computer-aided proofs of Arrow's and other impossibility theorems
Connectionist Symbol Processing - Preface
AI--A multiple book review
Similarity of personal preferences: Theoretical foundations and empirical analysis
Model-Based Diagnostics and Probabilistic Assumption-Based Reasoning
Laying the foundations for a World Wide Argument Web
Lattice-theoretic models of conjectures, hypotheses and consequences
Bargaining with limited computation: Deliberation equilibrium
Assumptions, Beliefs and Probabilities
Abduction as Belief Revision
Addendum: Circumscription and other Non-Monotonic Formalisms
Nonmonotonic Reasoning in the Framework of Situation Calculus
An Apprentice-Based Approach to Knowledge Acquisition
Logical characterizations of regular equivalence in weighted social networks
Formal Methods in the Design of Question-Answering Systems
RelBERT: Embedding relations with language models
Is this a violation? Learning and understanding norm violations in online communities
Temporal Reasoning Based on Semi-Intervals
Belief extrapolation (or how to reason about observations and unpredicted change)
Integrating social power into the decision-making of cognitive agents
Cut-and-solve: An iterative search strategy for combinatorial optimization problems
A Mathematical Treatment of Defeasible Reasoning and its Implementation
Quantitatively Relating Abstractness to the Accuracy of Admissible Heuristics
A counter abstraction technique for verifying properties of probabilistic swarm systems
Fully generated scripted dialogue for embodied agents
Adversarially robust unsupervised domain adaptation
Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo Tree Search
Counterfactual state explanations for reinforcement learning agents via generative deep learning
On generalized notions of consistency and reinstatement and their preservation in formal argumentation
Consistency in Networks of Relations
Jean-Arcady Meyer and Stewart W. Wilson, eds., From Animals to Animats: Proceedings of the First International Conference on Simulation of Adaptive Behavior
Recursive Distributed Representations
Review of Anderson and Anderson's Machine Ethics
On the Use of Framed Knowledge in Language Comprehension
Failure Driven Dynamic Search Control for Partial Order Planners: An Explanation Based Approach
Gerald M. Edelman, Neural Darwinism: The Theory of Neuronal Group Selection
Rippling: A Heuristic for Guiding Inductive Proofs
Rational closure for all description logics
On composition of bounded-recall plans
An agenda-based framework for multi-issue negotiation
A novel sequence representation for unsupervised analysis of human activities
Designing competitions between teams of individuals
Robotic manipulation of multiple objects as a POMDP
Representations for robot knowledge in the KnowRob framework
Iterated belief revision, revised
Heuristic planning: A declarative approach based on strategies for action selection
Acquiring Search-Control Knowledge Via Static Analysis
Nasari: Integrating explicit knowledge and corpus statistics for a multilingual representation of concepts and entities
A World Championship Caliber Checkers Program
Review: J.A. Anderson and E. Rosenfeld (Eds.), Talking Nets: An Oral History of Neural Networks
On the choice of obtaining and disclosing the common value in auctions
A SIMD Approach to Parallel Heuristic Search
Efficient optimal Kolmogorov approximation of random variables
SCC-recursiveness: a general schema for argumentation semantics
Empathetic decision making in social networks
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Approximating cost-based abduction is NP-hard
Introducing possibilistic logic in ILP for dealing with exceptions
Knowledge and communication: A first-order theory
Domain expansion for ASP-programs with external sources
Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics
Variable and Value Ordering Heuristics for the Job Shop Scheduling Constraint Satisfaction Problem
End-to-end neural event coreference resolution
Decidability of SHIQ with complex role inclusion axioms
Optimal auctions revisited
On the noise estimation statistics
The possible and the impossible in multi-agent learning
Learning Problem Solving Strategies Using Refinement and Macro Generation
Testing the descriptive validity of possibility theory in human judgments of uncertainty
The Combinatorics of Object Recognition in Cluttered Environments Using Constrained Search
Artificial Intelligence in Perspective: A Retrospective on Fifty Volumes of the Artificial Intelligence Journal
Advances in automated plan generation
Feature assembly method for extracting relations in Chinese
BORIS - An Experiment in In-Depth Understanding of Narratives
Learning one Subprocedure per Lesson
Inhomogeneous deep Q-network for time sensitive applications
Robust logics
Games solved: Now and in the future
Summary of MYCROFT: A System for Understanding Simple Picture Programs
Robotic vocabulary building using extension inference and implicit contrast
Strategic bidding in continuous double auctions
Weakly-supervised sensor-based activity segmentation and recognition via learning from distributions
Computer poker: A review
Robot introspection through learned hidden Markov models
Constraint Relaxation may be Perfect
Learning Modulo Theories for constructive preference elicitation
Causes and explanations in the structural-model approach: Tractable cases
Artificial systems with moral capacities? A research design and its implementation in a geriatric care system
Flexible and scalable cost-based query planning in mediators: A transformational approach
Integration of memory systems supporting non-symbolic representations in an architecture for lifelong development of artificial agents
Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
AI Journal Special Issue on Ethics for Autonomous Systems
Argument graphs and assumption-based argumentation
Qualitative reasoning about relative direction of oriented points
Online planning for multi-agent systems with bounded communication
Revision by comparison
Allocation and scheduling of Conditional Task Graphs
Artificial Intelligence and Learning Environments - Preface
Bisimulation between base argumentation and premise-conclusion argumentation
An optimal coarse-grained arc consistency algorithm
Temporal Data Base Management
A framework for step-wise explaining how to solve constraint satisfaction problems
H-index manipulation by merging articles: Models, theory, and experiments
The Effects of Order on Learning Classifications by Example: Heuristics for Finding the Optimal Order
Risk-averse receding horizon motion planning for obstacle avoidance using coherent risk measures
On the Inference of Turing Machines from Sample Computations
Grounded fixpoints and their applications in knowledge representation
Constraint acquisition
Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies
Defection-free exchange mechanisms based on an entry fee imposition
Average-case analysis of best-first search in two representative directed acyclic graphs
An options-based solution to the sequential auction problem
Prototypical Knowledge for Expert Systems: A Retrospective Analysis
Conditional independence in propositional logic
Gradient-based mixed planning with symbolic and numeric action parameters
Transferable dynamics models for efficient object-oriented reinforcement learning
Planning and Acting in Partially Observable Stochastic Domains
Argus: Programming with communication protocols in a belief-desire-intention architecture
A Four-Valued Semantics for Terminological Logics
Gennaro Chierchia and Sally McConnell-Ginet, Meaning and Grammar: An Introduction to Semantics
Qualitative Circuit Models in Failure Analysis Reasoning
Guarantees and limits of preprocessing in constraint satisfaction and reasoning
Learning a decision maker's utility function from (possibly) inconsistent behavior
Explanation-Based Learning: A Problem Solving Perspective
Theories of Causal Ordering
A unifying look at sequence submodularity
Introducing article numbering to Artificial Intelligence
Control of Perceptual Attention in Robot Driving
Polynomial calculus for optimization
Using Rewriting Rules for Connection Graphs to Prove Theorems
VERIFY: A Program for Proving Correctness of Digital Hardware Designs
Interventions and belief change in possibilistic graphical models
A book review on Elements of Argumentation
Dynamic belief revision operators
The computational complexity of avoiding spurious states in state space abstraction
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
A set of new multi- and many-objective test problems for continuous optimization and a comprehensive experimental evaluation
The actor's view of automated planning and acting: A position paper
Abstracting soft constraints: Framework, properties, examples
Relative inconsistency measures
Treewidth-aware reductions of normal ASP to SAT - Is normal ASP harder than SAT after all?
Quantitative Results Concerning the Utility of Explanation-based Learning
Representations and Algorithms for Cognitive Learning
Compulsory Reduction in Linear Derivation Systems
Multi-robot adversarial patrolling strategies via lattice paths
Computing desirable partitions in additively separable hedonic games
Learning an efficient constructive sampler for graphs
Cost-Based Abduction and MAP Explanation
Automatic behavior composition synthesis
A complete solution to the Maximum Density Still Life Problem
How much does it help to know what she knows you know? An agent-based simulation study
Experimental Evaluation of Preprocessing Algorithms for Constraint Satisfaction Problems
Local Models Semantics, or contextual reasoning=locality+compatibility
The Organization of Expert Systems, A Tutorial
The Satisfiability Constraint Gap
Decomposing Constraint Satisfaction Problems Using Database Techniques
Automating Planning and Scheduling of Shuttle Payload Operations
Minimax real-time heuristic search
The complexity landscape of decompositional parameters for ILP: Programs with few global variables and constraints
Task-guided IRL in POMDPs that scales
Federated neural nonparametric point processes
Local search with edge weighting and configuration checking heuristics for minimum vertex cover
An Algorithm for Probabilistic Planning
Turing's Test and Conscious Thought
On the complexity of inconsistency measurement
A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL
Adaptive Regularization Parameter Selection Method for Enhancing Generalization Capability of Neural Networks
Decomposition and tractability in qualitative spatial and temporal reasoning
Online POMDP planning with anytime deterministic optimality guarantees
Finding core for coalition structure utilizing dual solution
Predicting citywide crowd flows using deep spatio-temporal residual networks
Syntactic ASP forgetting with forks
J. Green (editor), Cognitive Psychology. An Open University course units Prepared by a Collective of Authors and Editet by J. Creen
The Translation of Formal Proofs into English
Peeping Hals
Independence Assumptions and Bayesian Updating
Norvig's Paradigms of Artificial Intelligence Programming: A Student's Perspective
Multiobjective heuristic state-space planning
Interestingness elements for explainable reinforcement learning: Understanding agents' capabilities and limitations
Asynchronous backtracking without adding links: a new member in the ABT family
Optimal social choice functions: A utilitarian view
A Dynamical Systems Perspective on Agent-Environment Interaction
Factored-reward bandits with intermediate observations: Regret minimization and best arm identification
Schema Induction for Logic Program Synthesis
A theoretical framework on proactive information exchange in agent teamwork
A re-weighting strategy for improving margins
Alexander Gegov, Complexity Management in Fuzzy Systems, 2007, 368 pp. Hardcover: Studies in Fuzziness and Soft Computing, Volume 211, ISBN-13 978-3-540-38883-8
Narrative prose generation
A Probabilistic Framework for Cooperative Multi-Agent Distributed Interpretation and Optimization of Communication
Efficient Retrieval from Sparse Associative Memory
Reasoning About Action II: The Qualification Problem
Truth from Trash. How Learning Makes Sense by Chris Thornton
The Vulnerability of the Transferable Belief Model to Dutch Books
Reducing Belief Revision to Circumscription (and Vice Versa)
Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems
Animate Vision
Contractor programming
Secure distributed constraint satisfaction: reaching agreement without revealing private information