yusuke1997/dblp-id-title huggingface dataset:
Towards fixed-parameter tractable algorithms for abstract argumentation
Regular decision processes
Intensity, Visible-Surface, and Volumetric Representations
Structure-Driven Algorithms for Truth Maintenance
Automated composition of Web services via planning in asynchronous domains
The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning
Spatial reasoning in a fuzzy region connection calculus
A Partial Evaluator, and its Use as a Programming Tool
D. Michie, On Machine Intelligence
A kinematics principle for iterated revision
Chronological Ignorance: Experiments in Nonmonotonic Temporal Reasoning
Star-topology decoupled state space search
Complexity results for preference aggregation over ( m )CP-nets: Max and rank voting
David Cope, Computers and Musical Style
Numerical Shape from Shading and Occluding Boundaries
The Sensitivity of Belief Networks to Imprecise Probabilities: An Experimental Investigation
Coalitional games induced by matching problems: Complexity and islands of tractability for the Shapley value
Meta-Rules: Reasoning about Control
Instead of a review
James Allen, Understanding Natural Language
Knowledge Representation and Logic Programming
On measuring inconsistency in definite and indefinite databases with denial constraints
Certified reinforcement learning with logic guidance
Roger C. Schank and Kenneth Mark Colby (editors), Computer Models of Thought and Language
A Refutational Approach to Geometry Theorem Proving
A View on Qualitative Physics
Geometric Relationships Between Toleranced Features
: Compiling problem specifications into SAT
Norvig's Paradigms of Artificial Intelligence Programming: An Instructor's Perspective
The value of real-time automated explanations in stochastic planning
Error Repair and Knowledge Acquisition Via Case-Based Reasoning
The size distribution for Markov equivalence classes of acyclic digraph models
DEL-based epistemic planning: Decidability and complexity
Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity
Rethinking epistemic logic with belief bases
Backtracking Techniques for the Job Shop Scheduling Constraint Satisfaction Problem
Relational linear programming
Situation calculus for controller synthesis in manufacturing systems with first-order state representation
On agent-based software engineering
John McCarthy's legacy
Theory and experiment in cognitive science
Generating Hard Satisfiability Problems
Great expectations. Part II: generalized expected utility as a universal decision rule
Modular control architecture for safe marine navigation: Reinforcement learning with predictive safety filters
Synthetic Programming
Interestingness: Controlling Inferences
The distortion of distributed voting
Characterizing Diagnoses and Systems
Acquiring and modeling abstract commonsense knowledge via conceptualization
Domain filtering consistencies for non-binary constraints
A model of language learning with semantics and meaning-preserving corrections
A Practically Efficient and Almost Linear Unification Algorithm
Tractable combinatorial auctions and b-matching
Michael I. Posner, ed., Foundations of Cognitive Science
David Chapman, Vision, Instruction, and Action
Robot task planning and explanation in open and uncertain worlds
A Computational Model for Process-Grammar
Making Believers out of Computers
Efficient crowdsourcing of unknown experts using bounded multi-armed bandits
Recognition of gestures in Arabic sign language using neuro-fuzzy systems
Task decomposition on abstract states, for planning under nondeterminism
SAT Competition 2020
Optimal Problem-Solving Search: All-Oor-None Solutions
Computing optimal hypertree decompositions with SAT
Towards adaptive Web sites: Conceptual framework and case study
An Interpreter for a Language for Describing Assemblies
J. E. Hayes, D. Michie and Y.-H. Pao (editors), Machine Intelligence 10
A near-optimal polynomial time algorithm for learning in certain classes of stochastic games
Turing-like Indistinguishability Tests for the Calidation of a Computer Simulation of Paranoid Processes
Simulation and Evaluation of Chemical Synthesis - SECS: An Application of Artificial Intelligence Techniques
Modular-έ and the role of elaboration tolerance in solving the qualification problem
Günther Palm, Neural Assemblies - An Alternative Approach to Artificial Intelligence, Part I
The incentive guarantees behind Nash welfare in divisible resources allocation
Forward bounding on pseudo-trees for DCOPs and ADCOPs
Drift analysis and average time complexity of evolutionary algorithms
Corrective feedback and persistent learning for information extraction
R1: A Rule-Based Configurer of Computer Systems
Memory-limited model-based diagnosis
The Configurable SAT Solver Challenge (CSSC)
Disjunctions, independence, refinements
An efficient algorithm for searching implicit AND/OR graphs with cycles
Artificial Intelligence - A Personal View
Minimal Knowledge Problem: A New Approach
Swarm intelligence for self-organized clustering
Locating the Phase Transition in Binary Constraint Satisfaction Problems
Improved metric distortion via threshold approvals
John H. Holland, Keith J. Holyoak, Richard E. Nisbett, and Paul R. Thagard, Induction: Process of Inference, Learning and Discovery
Consequence-based and fixed-parameter tractable reasoning in description logics
The dropout learning algorithm
On minimal constraint networks
Corrigendum to "Separators and adjustment sets in causal graphs: Complete criteria and an algorithmic framework" [Artif. Intell. 270 (2019) 1-40]
Monte Carlo tree search in Kriegspiel
Time-delayed collective flow diffusion models for inferring latent people flow from aggregated data at limited locations
The complexity of belief update
Elaboration tolerance through object-orientation
Achieving fully proportional representation: Approximability results
Comparing formal theories of context in AI
A Theory of Conflict Resolution in Planning
Topological Inference of Teleology: Deriving Function from Structure via Evidential Reasoning
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
Computational Theory for Interpreting Handwritten Text in Constrained Domains
Towards an analytic framework for analysing the computation time of evolutionary algorithms
A logic for reasoning about ambiguity
Quantifying Inductive Bias: AI Learning Algorithms and Valiant's Learning Framework
Generalized Subsumption and Its Applications to Induction and Redundancy
Alors: An algorithm recommender system
Evaluating practical negotiating agents: Results and analysis of the 2011 international competition
Intention is Choice with Commitment
Elicitation strategies for soft constraint problems with missing preferences: Properties, algorithms and experimental studies
A. Carlisle Scott, Jan E. Clayton and Elizabeth L. Gibson: A Practical Guide to Knowledge Acquisition
Expressing preferences in default logic
Risk verification of stochastic systems with neural network controllers
Representing the Zoo World and the Traffic World in the language of the Causal Calculator
Parallelism in Alpha-Beta Search
Directed Recursive Labelnode Hypergraphs: A New Representation-Language
CureGraph: Contrastive multi-modal graph representation learning for urban living circle health profiling and prediction
Arc Consistency: Parallelism and Domain Dependence
Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules
Decision-theoretic planning with generalized first-order decision diagrams
Theoretical analysis of singleton arc consistency and its extensions
Use of the Gibbs Sampler in Expert Systems
Using Crude Probability Estimates to Guide Diagnosis
Modeling Belief in Dynamic Systems, Part I: Foundations
Propositional and predicate logics of incomplete information
Hyperbolic Secant representation of the logistic function: Application to probabilistic Multiple Instance Learning for CT intracranial hemorrhage detection
Polynomial combined first-order rewritings for linear and guarded existential rules
A Theory of Interactions: Unifying Qualitative and Quantitative Algebraic Reasoning
Computing cooperative solution concepts in coalitional skill games
Nicholas Humphrey, Seeing Red: A Study in Consciousness , Harvard University Press (2006) ISBN 0-674-02179-7 151 pp
A Bayesian Approach to Relevance in Game Playing
Horn Approximations of Empirical Data
Learning of Modular Structured Networks
Dialogue games that agents play within a society
A Powerful and Efficient Structural Pattern Recognition System
From Environments to Representations - A Mathematical Theory of Artificial Perceptions
Fixed Points in the Propositional Nonmonotonic Logic
Using Patterns and Plans in Chess
Algorithms and complexity results for persuasive argumentation
Computational Complexity of Relating Time Points with Intervals
Supervised heterogeneous feature transfer via random forests
Commonsense reasoning about containers using radically incomplete information
Automatic generation of textual summaries from neonatal intensive care data
Local-MIP: Efficient local search for mixed integer programming
The factored policy-gradient planner
Temporal reasoning about fuzzy intervals
Distributed fair allocation of indivisible goods
Optimal admissible composition of abstraction heuristics
The Maximum Length of Prime Implicates for Instances of 3-SAT
Reflections on the Knowledge Level
Maintaining Reversible DAC for Max-CSP
Extending the Expressive Power of Semantic Networks
Knowledge Representation and Inference in Similarity Networks and Bayesian Multinets
Exploiting Multiple Goals and Intentions in Decision Support for the Management of Multiple Trauma: A Review of the TraumAID Project
Is Artificial Intelligence a Degenerating Program?: A Review of Hubert Dreyfus' What Computers Still Can't Do
Two-terminal routing games with unknown active players
A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments
A Comparative Study of Several Proof Procedures
Level-headed
Privacy-preserving graph convolution network for federated item recommendation
A New Approach to the Symbolic Factorization of Multivariate Polynomials
Information extraction from case law and retrieval of prior cases
Mark A. Gluck and David E. Rumelhart, eds., Neuroscience and Connectionist Theory
Why bad coffee? Explaining BDI agent behaviour with valuings
Preferences and explanations
Dynamic term-modal logics for first-order epistemic planning
Automatic Analysis of One-Parameter Planar Ordinary Differential Equations by Intelligent Numeric Simulation
On the approximation ability of evolutionary optimization with application to minimum set cover
STR3: A path-optimal filtering algorithm for table constraints
Variable symmetry breaking in numerical constraint problems
Motivated Action Theory: a Formal Theory of Causal Reasoning
Automatically Selecting and Using Primary Effects in Planning: Theory and Experiments
Fixed-parameter complexity in AI and nonmonotonic reasoning
Improving Accuracy by Combining Rule-Based and Case-Based Reasoning
Spectral clustering with robust self-learning constraints
A new approach to cyclic ordering of 2D orientations using ternary relation algebras
Depth-First Iterative-Deepening: An Optimal Admissible Tree Search
Patrick Henry Winston (editor), The Psychology of Computer Vision
Committing to correlated strategies with multiple leaders
Symbolic perimeter abstraction heuristics for cost-optimal planning
Human compliance with computational argumentation principles
On Seeing Things
Daniel C. Dennett, Consciousness Explained; Robert Ornstein, The Evolution of Consciousness: Of Darwin, Freud, and Cranial Fire: The Origins of the Way We Think; William Seager, Metaphysics of Consciousness
Review of "Probabilistic graphical models" by Koller and Friedman
Functional Relation Field: A Model-Agnostic Framework for Multivariate Time Series Forecasting
Quantum computation, quantum theory and AI
Graphically structured value-function compilation
An Incremental Negamax Algorithm
The Knowledge Level
Counterexamples and amendments to the termination and optimality of ADOPT-based algorithms
Notes on "Epistemology of a Rule-Based Expert System"
David A. McAllester, Ontic: A Knowledge Representation System for Mathematics
On the adoption of abductive reasoning for time series interpretation
A polynomial reduction of forks into logic programs
Optimizing the mutual intelligibility of linguistic agents in a shared world
Planning from Second Principles
A general model and thresholds for random constraint satisfaction problems
Hybrid backtracking bounded by tree-decomposition of constraint networks
Approaches to the Study of Intelligence
Speeding up operations on feature terms using constraint programming and variable symmetry
Why Gödel's Theorem Cannot Refute Computationalism
Fair division of indivisible goods: Recent progress and open questions
The Biology of Consciousness: Comparative Review of Israel Rosenfield, The Strange, Familiar, and Forgotten: An Anatomy of Consciousness and Gerald M. Edelman, Bright Air, Brilliant Fire: On the Matter of the Mind
R. Jackendoff, Semantics and Cognition
Knowledge updates: Semantics and complexity issues
Gerald M. Edelman, The Remembered Present: A Biological Theory of Consciousness
Imperfect ImaGANation: Implications of GANs exacerbating biases on facial data augmentation and snapchat face lenses
Information-geometric approach to inferring causal directions
The Book of Why, Judea Pearl. Basic Books (2018)
Problem difficulty for tabu search in job-shop scheduling
A general framework for explaining the results of a multi-attribute preference model
Computational tradeoffs under bounded resources
Planning under Time Constraints in Stochastic Domains
Branching and pruning: An optimal temporal POCL planner based on constraint programming
Optimizing ontology alignments through a Memetic Algorithm using both MatchFmeasure and Unanimous Improvement Ratio
Creativity and Learning in a Case-Based Explainer
Athanor: Local search over abstract constraint specifications
Confidence-based reasoning in stochastic constraint programming
On the Branching Factor of the Alpha-Beta Pruning Algorithm
Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation
Peter Todd and D. Gareth Loy, eds., Music and Connectionism
Possible World Semantics and Autoepistemic Reasoning
The virtues of idleness: A decidable fragment of resource agent logic
Completeness Results for Circumscription
Definability for model counting
Default Reasoning about Spatial Occupancy
Planning with mental models - Balancing explanations and explicability
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
The Rediscovery of the Mind
Ronald A. Finke, Thomas B. Ward and Steven M. Smith, Creative Cognition
Plan recognition in exploratory domains
Incompleteness and incomparability in preference aggregation: Complexity results
The Computational Brain
The complexity landscape of claim-augmented argumentation frameworks
John A. Hertz, Anders S. Krogh, Richard G. Palmer, Introduction to the Theory of Neural Computation
Grounded language interpretation of robotic commands through structured learning
Reaching Agreements Through Argumentation: A Logical Model and Implementation
Optimal cost almost-sure reachability in POMDPs
Multi-instance multi-label learning
Risk-aware controller for autonomous vehicles using model-based collision prediction and reinforcement learning
Pareto optimization for subset selection with dynamic cost constraints
Think!: A unified numerical-symbolic knowledge representation scheme and reasoning system
Collaborative Plans for Complex Group Action
Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations
Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation
Using execution logs for improving Pseudo-Boolean propagation
A unifying semantics for time and events
Integrating symbolic reasoning into neural generative models for design generation
Optimal Search Strategies for Speech Understanding Control
A Belief Network Approach to Optimization and Parameter Estimation: Application to Resource and Environmental Management
Spatial state-action features for general games
Automated Space Planning
F. Hayes-Roth, D. A. Waterman and D. B. Lenat, Building Expert Systems (Book Review)
The effects of explanations on automation bias
Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach
Uncovering Trees in Constraint Networks
Rethinking formal models of partially observable multiagent decision making
Strong inconsistency
Red-black planning: A new systematic approach to partial delete relaxation
Induction and the Discovery of the Causes of Scurvy: A Computational Reconstruction
David L. Poole and Alan K. Mackworth, Artificial Intelligence: Foundations of Computational Agents , Cambridge University Press (2010)
Weighted A * search - unifying view and application
Response to 'Reward is enough' - This is not a review; it's a response
Constraint Satisfaction from a Deductive Viewpoint
Transforming Wikipedia into a large scale multilingual concept network
Reward is enough
Using Knowledge to Control Tree Searching
Near-optimal continuous patrolling with teams of mobile information gathering agents
Fast certifiable relative pose estimation with gravity prior
Model-Based Computing: Developing Flexible Machine Control Software
Fractals and Ravens
Best-First Fixed-Depth Minimax Algorithms
Abduction to Plausible Causes: An Event-Based model of Belief Update
A parametric propagator for pairs of Sum constraints with a discrete convexity property
Regression-based conditional independence test with adaptive kernels
Explanation-Based Generalisation = Partial Evaluation
On decision-theoretic foundations for defaults
Entropy estimation via uniformization
Fernando C. N. Pereira and Stuart M. Sheiber, Prolog and Natural-Language Analysis, CSLI Lecture Notes 10
The distortion of distributed facility location
On truth-gaps, bipolar belief and the assertability of vague propositions
Qualitative Simulation: Then and Now
A Critical Examination of Allen's Theory of Action and Time
Propositional Belief Base Update and Minimal Change
Higher Order Derivative Constraints in Qualitative Simulation
Strategic reasoning with a bounded number of resources: The quest for tractability
Solving weighted CSP by maintaining arc consistency
Truth and Meaning
Interpretation modeling: Social grounding of sentences by reasoning over their implicit moral judgments
QCDCL with cube learning or pure literal elimination - What is best?
Circumscription - A Form of Non-Monotonic Reasoning
A Simplified Problem Reduction Format
Marvin Minsky, The Society of Mind
Efficient and effective budget-feasible mechanisms for submodular valuations
Nonmonotonic causal theories
Qualitative Process Theory: Twelve Years After
Rational choice and AGM belief revision
Search and Reasoning in Problem Solving
A note on the correctness of the causal ordering algorithm
Automated Design of Specialized Representations
V. Braitenberg, Vehicles: Experiments in Synthetic Psychology
A Semantic Backward Chaining Proof System
Review of The Computational Beauty of Nature by Gary William Flake
Answer set programming and plan generation
Retrospective on "Diagnostic Reasoning Based on Structure and Behavior"
MEBN: A language for first-order Bayesian knowledge bases
The Hardest Constraint Problems: A Double Phase Transition
Taxonomic Plan Reasoning
How do fairness definitions fare? Testing public attitudes towards three algorithmic definitions of fairness in loan allocations
Evaluation of the moral permissibility of action plans
Object-based visual attention for computer vision
J. Gerard Wolff, Unifying Computing and Cognition
Belief revision and projection in the epistemic situation calculus
Non-Markovian control in the Situation Calculus
Concept Learning and Heuristic Classification in WeakTtheory Domains
ICCMA 2023: 5th International Competition on Computational Models of Argumentation
Learning to Act Using Real-Time Dynamic Programming
A general semi-structured formalism for computational argumentation: Definition, properties, and examples of application
Efficient interactive decision-making framework for robotic applications
Parallelizing SMT solving: Lazy decomposition and conciliation
Robustness of regional matching scheme over global matching scheme
Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan
A probabilistic approach to solving crossword puzzles
Managing concurrency in temporal planning using planner-scheduler interaction
Arc Consistency for Factorable Relations
Default Reasoning and Possibility Theory
Default Reasoning in Semantic Networks: A Formalization of Recognition and Inheritance
Match Algorithms for Generalized Rete Networks
Local search with constraint propagation and conflict-based heuristics
Intelligent Program Analysis
Iterative Versionspaces
Proof planning with multiple strategies
Review of R.A. Wilson and F.C. Keil (Eds.), The MIT Encyclopedia of the Cognitive Sciences
Learning and Applying Contextual Constraints in Sentence Comprehension
Introspective perception for mobile robots
Interview with Allen Newell
Possibilistic instance-based learning
Solving QBF with counterexample guided refinement
Stochastic dynamic programming with factored representations
Stuart C. Shapiro, Techniques of Artificial lntelligence
How much is Control Knowledge Worth? A Primitive Example
Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving
The complexity of achievement and maintenance problems in agent-based systems
Simplified Risk-aware Decision Making with Belief-dependent Rewards in Partially Observable Domains
Off-Line Reasoning for On-Line Efficiency: Knowledge Bases
On Social Laws for Artificial Agent Societies: Off-Line Design
Effective Solution of Qualitative Interval Constraint Problems
D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project
Parallel Randomized Best-First Minimax Search
Law and logic: A review from an argumentation perspective
Risk-aware autonomous localization in harsh urban environments with mosaic zonotope shadow matching
On the Relation Between Default and Modal Nonmonotonic Reasoning
Structured learning modulo theories
A survey of inverse reinforcement learning: Challenges, methods and progress
Computing with Default Logic
Approximability and efficient algorithms for constrained fixed-horizon POMDPs with durative actions
The quarks of attention: Structure and capacity of neural attention building blocks
Analyzing Differentiable Fuzzy Logic Operators
J. F. Sowa, Conceptual Structures - Information Processing in Mind and Machine [Systems Programming Series]
Approximation and hardness of Shift-Bribery
LUPSA language for updating logic programs
The Owl and the Electric Encyclopedia
From the Semantic Web to social machines: A research challenge for AI on the World Wide Web
Reply to Carruthers and Akman
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
Planning with Constraints (MOLGEN: Part 1)
FedHM: Efficient federated learning for heterogeneous models via low-rank factorization
Inferring DNA Structures from Segmentation Data
Recovering Surface Shape and Orientation from Texture
Some Pitfalls for Experimenters with Random SAT
Decentralized fused-learner architectures for Bayesian reinforcement learning
Soft arc consistency revisited
The B * Tree Search Algorithm - New Results
Introduction to the special issue on Combining Constraint Solving with Mining and Learning
Exploiting Patterns of Interaction to Achieve Reactive Behavior
First-order rewritability of ontology-mediated queries in linear temporal logic
Vehicles Capable of Dynamic Vision: A New Breed of Technical Beings?
Reasoning about Programs
Once upon a time in AI
Evaluation of a simple, scalable, parallel best-first search strategy
Metaqueries: Semantics, complexity, and efficient algorithms
Incremental learning with partial instance memory
A Model for Temporal References and Its Application in a Question Answering Program