yusuke1997/dblp-id-title huggingface dataset:
On "Understanding Computers and Cognition: A New Foundation for Design". A Response to the Reviews
K. Tanaka-Ishii, Semiotics of Programming
A Process-Grammar for Shape
Surplus equivalence of leveled commitment contracts
Computation of the Semantics of Autoepistemic Belief Theories
Agent decision-making in open mixed networks
Review: Gossiping Nets
Intelligent analysis and pattern recognition in cardiotocographic signals using a tightly coupled hybrid system
All I Know: A Study in Autoepistemic Logic
On forward checking for non-binary constraint satisfaction
Automata for infinite argumentation structures
Fast optimal and bounded suboptimal Euclidean pathfinding
How we designed winning algorithms for abstract argumentation and which insight we attained
The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic
Rationalizing predictions by adversarial information calibration
Heterogeneous Active Agents, I: Semantics
Fast and optimal decoding for machine translation
Nagging: A scalable fault-tolerant paradigm for distributed search
Predicting the size of IDA*'s search tree
Logical representation and fusion of prioritized information based on guaranteed possibility measures: Application to the distance-based merging of classical bases
On fair selection in the presence of implicit and differential variance
Multi-robot adversarial patrolling: Handling sequential attacks
Networked Bubble Propagation: A Polynomial-Time Hypothetical Reasoning Method for Computing Near-Optimal Solutions
Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems
A relevance restriction strategy for automated deduction
Complexity of constructing solutions in the core based on synergies among coalitions
Eliciting good teaching from humans for machine learners
Latent tree models for hierarchical topic detection
Incremental Reconstruction of 3D Scenes from Multiple, Complex Images
Naming and Identity in Epistemic Logic Part II: A First-Order Logic for Naming
Causal identifiability via Chain Event Graphs
First-order stable model semantics with intensional functions
R. Hayes-Roth and D. A. Waterman, Pattern-Directed Inference Systems
Prolegomena to a Theory of Mechanized Formal Reasoning
The well-designed child
Representing uncertainty on set-valued variables using belief functions
Planning to see: A hierarchical approach to planning visual actions on a robot using POMDPs
Algorithms for computing minimal equivalent subformulas
Beyond incompatibility: Trade-offs between mutually exclusive fairness criteria in machine learning and law
Two's company, three's a crowd: Consensus-halving for a constant number of agents
Computer Construction of Crossword Puzzles Using Precedence Relationships
Solving logic program conflict through strong and weak forgettings
Concurrency and Knowledge-Level Communication in Agent Languages
Memory networks for fine-grained opinion mining
Towards the Automation of Set Theory and its Logic
Judea Pearl, Causality , Cambridge University Press (2000)
Inducing semantic relations from conceptual spaces: A data-driven approach to plausible reasoning
Probability and time
Scene Analysis Using Regions
Margaret Boden, The Creative Mind: Myths and Mechanisms
Probability pooling for dependent agents in collective learning
Open constraint programming
Rendezvous in planar environments with obstacles and unknown initial distance
Oesten Dahl, Tense and Aspect Systems
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
Sokoban: Enhancing general single-agent search methods using domain knowledge
Augmenting tractable fragments of abstract argumentation
The complexity of Bayesian networks specified by propositional and relational languages
DA 2 merging operators
Johan van Benthem, Language in Action: Categories, Lambdas and Dynamic Logic
A Comparison of Two Evidential Reasoning Schemes
Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs
Automatically improving constraint models in Savile Row
Pay-as-you-go consequence-based reasoning for the description logic SROIQ
Smart Office Robot Collaboration Based on Multi-Agent Programming
Introduction to the Special Review Issue
Worst-Case Analysis of the Perceptron and Exponentiated Update Algorithms
Common Sense, The Turing Test, and The Quest for Real AI, Hector Levesque. The MIT Press (2017)
Between MDPs and Semi-MDPs: A Framework for Temporal Abstraction in Reinforcement Learning
Comments on Mohr and Henderson's Path Consistency Algorithm
A Blackboard Architecture for Control
Approximate verification of strategic abilities under imperfect information
An executable specification of a formal argumentation protocol
Proving semantic properties as first-order satisfiability
Verification in incomplete argumentation frameworks
William F. Allman, Apprentices of Wonder: Inside the Neural Network Revolution
A false sense of security
Distributed stochastic search and distributed breakout: properties, comparison and applications to constraint optimization problems in sensor networks
Learning, detection and representation of multi-agent events in videos
Backdoors to planning
Complexity issues related to propagation completeness
A general approach to extension-based semantics in abstract argumentation
EXPTIME tableaux for ALC
Joint learning of reward machines and policies in environments with partially known semantics
Corrigendum to "Sequential plan recognition: An iterative approach to disambiguating between hypotheses" [Artif. Intell. 260 (2018) 51-73]
Computing programs for generalized planning using a classical planner
A Context Sensitive Line Finder for Recognition of Polyhedra
A Bayesian Model of Plan Recognition
Conflict-driven answer set solving: From theory to practice
The influence of social norms and social consciousness on intention reconciliation
Information Retrieval and Artificial Intelligence
Limitations of acyclic causal graphs for planning
Re: CycLing Paper Reviews
Visual Surveillance in a Dynamic and Uncertain World
Comment on "Numerical Shape from Shading and Occluding Boundaries"
Learning to talk about events from narrated video in a construction grammar framework
Efficient multi-agent epistemic planning: Teaching planners about nested belief
The Use of Design Descriptions in Automated Diagnosis
On Embedding Default Logic into Moore's Autoepistemic Logic
Nonmonotonic reasoning by inhibition nets
Knowledge Caching for Sensor-Based Systems
Automated Modeling of Complex Systems to Answer Prediction Questions
Erratum to: Drift analysis and average time complexity of evolutionary algorithms [Artificial Intelligence 127 (2001) 57-85]
An Empirical Study of Automated Dictionary Construction for Information Extraction in Three Domains
Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem
On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation
A framework for linguistic modelling
Qualitative reasoning with directional relations
AI-driven transcriptome profile-guided hit molecule generation
Topic-based term translation models for statistical machine translation
Asymptotic Properties of Minimax Trees and Game-Searching Procedures
Planning Parallel Actions
Active legibility in multiagent reinforcement learning
DEED: DEep Evidential Doctor
Floating Conclusions and Zombie Paths: Two Deep Difficulties in the "Directly Skeptical" Approach to Defeasible Inheritance Nets
Towards efficient universal planning: A randomized approach
Stochastic population update can provably be helpful in multi-objective evolutionary algorithms
A Complete Anytime Algorithm for Number Partitioning
EXCALIBUR: A Program for Planning and Reasoning with Processes
A Non-Minimal But Very Weak Axiomatization of Common Belief
Dynamic Reasoning with Qualified Syllogisms
Localising iceberg inconsistencies
Classical logic, argument and dialectic
Anticipatory action selection for human-robot table tennis
Computational Approaches to Analogical Reasoning: A Comparative Analysis
The Expressive Power of Circumscription
Inference of lexical ontologies. The LeOnI methodology
Strategyproof peer selection using randomization, partitioning, and apportionment
David Cope, Computer Models of Musical Creativity, MIT Press (2005)
Cyclic consistency: A local reduction operation for binary valued constraints
Qualitative Probabilities for Default Reasoning, Belief Revision, and Causal Modeling
A Comparative Study of Open Default Theories
Analog Wetrieval by Constraint Satisfaction
On the consistency of multi-label learning
Some Quantifiers Require Two-Predicate Scopes
Multi-agent pathfinding with continuous time
Entropy-based pruning for learning Bayesian networks using BIC
Discovering the linear writing order of a two-dimensional ancient hieroglyphic script
Automatic scoring of short handwritten essays in reading comprehension tests
Distributed web hacking by adaptive consensus-based reinforcement learning
On the query complexity of selecting minimal sets for monotone predicates
Remote Agent: To Boldly Go Where No AI System Has Gone Before
What evolutionary game theory tells us about multiagent learning
Computational complexity of planning and approximate planning in the presence of incompleteness
The distortion of distributed metric social choice
Controlled generation of hard and easy Bayesian networks: Impact on maximal clique size in tree clustering
A deep learning framework for Hybrid Heterogeneous Transfer Learning
The first international competition on computational models of argumentation: Results and analysis
James A. Anderson and Edward Rosenfeld, eds., Neurocomputing: Foundations of Research
Christopher G. Langton, ed., Artificial Life - Christopher G. Langton, Charles Taylor, J. Doyne Farmer, Steen Rasmussen, eds., Artificial Life II - Christopher G. Langton, ed., Artificial Life II: Video Proceedings
Logic programs with abstract constraint atoms: The role of computations
Kenneth M. Ford and Patrick J. Hayes, eds., Reasoning Agents in a Dynamic World: The Frame Problem
AutoSTG + : An automatic framework to discover the optimal network for spatio-temporal graph prediction
An Examination of the Geometry Theorem Machine
Causal analysis with Chain Event Graphs
Solving Projected Model Counting by Utilizing Treewidth and its Limits
Constraint-Based Design for 3D Shapes
On Unified Theories of Cognition: A Response to the Reviews
Exploiting persistent mappings in cross-domain analogical learning of physical domains
Outlier detection using default reasoning
Role of Constrained Computational Systems in Natural Language Processing
Design and results of the Second International Competition on Computational Models of Argumentation
Goal-Directed Diagnosis - A Diagnostic Reasoning Framework for Exploratory-Corrective Domains
Computer chess move-ordering schemes using move influence
Property persistence in the situation calculus
Learning action models from plan examples using weighted MAX-SAT
Interlingual Machine Translation: A Parameterized Approach
Communicating open systems
The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems
Graphs of Models
David Touretzky, Jeffrey Elman, Terrence Sejnowski and Geoffrey Hinton, eds., Connectionist Models: Proceedings of the 1990 Summer School
Learning by Understanding Analogies
First competition section paper published
Logical foundations of information disclosure in ontology-based data integration
Manipulating the quota in weighted voting games
Governing convergence of Max-sum on DCOPs through damping and splitting
The computational complexity of multi-agent pathfinding on directed graphs
Autoepistemic Logic of Knowledge and Beliefs
Formalising the Fisherman's Folly puzzle
Assessing fidelity in XAI post-hoc techniques: A comparative study with ground truth explanations datasets
Consistency-based search in feature selection
Learning optimal contracts with small action spaces
The quest of parsimonious XAI: A human-agent architecture for explanation formulation
Impossibility in belief merging
Body and World: A Review of What Computers Still Can't Do: A Critique of Artificial Reason (Hubert L. Dreyfus)
Approximations for Efficient Computation in the Theory of Evidence
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments
Iterative state-space reduction for flexible computation
Controlling the learning process of real-time heuristic search
Deep Thinking, Where Machine Intelligence Ends and Human Creativity Begins, Garry Kasparov, Mig Greengard. John Murray, London (2017), 262 pages with notes and an index, ISBN: 978-1-47365-350-4
Concept drift detection via competence models
The Complexity of Searching Implicit Graphs
The Logic of Constraint Satisfaction
Datalog rewritability and data complexity of ALCHOIQ with closed predicates
On the evaluation of election outcomes under uncertainty
Allen Newell, Unified Theories of Cognition
Lynn Nadel, Lynn A. Cooper, Peter Culicover and R. Michael Harnish, eds., Neural Connections, Mental Computation
The Use of Gradient and Dual Space in Line-Drawing Interpretation
A Logic for Reasoning with Inconsistent Knowledge
Philippe Coiffet, Robot Technology, Volume 1: Modelling and Control, and Volume 2: Interaction with the Environment
Automatically Generating Abstractions for Planning
Show or suppress? Managing input uncertainty in machine learning model explanations
The consensus operator for combining beliefs
Open Information Systems Semantics for Distributed Artificial Intelligence
Linear Resolution for Consequence Finding
A New Result on the Complexity of Heuristic Estimates for the A* Algorithm
Unifying metric approach to the triple parity
Conditional Entailment: Bridging two Approaches to Default Reasoning
Least third-order cumulant method with adaptive regularization parameter selection for neural networks
Global Surface Reconstruction by Purposive Control of Observer Motion
On Pareto optimality in social distance games
Outlier detection for simple default theories
Transfer learning in heterogeneous collaborative filtering domains
Singular Extensions: Adding Selectivity to Brute-Force Searching
SOAR: An Architecture for General Intelligence
Erratum to 'A logic for reasoning about ambiguity' [Artificial Intelligence 209 (2014) 1-10]
Independent natural extension
An Algorithm to Compute Circumscription
Preference elicitation and robust winner determination for single- and multi-winner social choice
Rational deployment of multiple heuristics in optimal state-space search
Min-max Computation Tree Logic
Efficient nonconvex sparse group feature selection via continuous and discrete optimization
Negotiating with bounded rational agents in environments with incomplete information using an automated agent
A Lagrangian reconstruction of GENET
William J. Raynor Jr., International Dictionary of Artificial Intelligence (2nd edition), Global Professional Publishing (2009) ISBN 978-0-85297-657-9 242 pp
Pre-training and diagnosing knowledge base completion models
Free at last! Free at last! Thank evolution, free at last!
Efficient learning equilibrium
Solving infinite-domain CSPs using the patchwork property
Michael Arbib's The Metaphorical Brain 2: The Sequel?
On strengthening the logic of iterated belief revision: Proper ordinal interval operators
Larry Kerschberg, ed., Expert Database Systems: Proceedings from the Second International Conference
Knowledge-Intensive Natural Language Generation
From Statistical Knowledge Bases to Degrees of Belief
On the complexity of planning for agent teams and its implications for single agent planning
Social behavior as a key to learning-based multi-agent pathfinding dilemmas
Learning complex action models with quantifiers and logical implications
Dynamic Across-Time Measurement Interpretation
On Prediction in Theorist
Analyzing generalized planning under nondeterminism
Three-valued semantics for hybrid MKNF knowledge bases revisited
Coherence in finite argument systems
Jan Jantzen, Foundations of Fuzzy Control , John Wiley and Sons (2007)
A general multi-agent epistemic planner based on higher-order belief change
Dynamic Relevance: Vision-Based Focus of Attention Using Artificial Neural Networks. (Technical Note)
A survey of motivation frameworks for intelligent systems
An Epistemological Science of Common Sense
Safe inductions and their applications in knowledge representation
Controlling Backward Inference
A glimpse at the metaphysics of Bongard problems
Landmark-enhanced abstraction heuristics
Sound and complete qualitative simulation is impossible
Rough Computational Methods for Information
RoboCup@Home: Analysis and results of evolving competitions for domestic and service robots
Evidential Reasoning Using Stochastic Simulation of Causal Models
Efficient Graph Automorphism by Vertex Partitioning
Learning and Executing Generalized Robot Plans
The complexity of exact learning of acyclic conditional preference networks from swap examples
Combining experts' causal judgments
Combining answer set programming with description logics for the Semantic Web
An Experimental Program Transformation and Synthesis System
On the evaluation of agent behaviors
Models of Musical Communication and Cognition
On Information Invariants in Robotics
Efficient solutions to factored MDPs with imprecise transition probabilities
REF-ARF: A System for Solving Problems Stated as Procedures
Unsupervised human activity analysis for intelligent mobile robots
Leonard Uhr, Pattern Recognition, Learning and Thought
Atlas of AI - Book review
Database semantics for natural language
Reduction Rules for Resolution-Based Systems
Enhancing disjunctive logic programming systems by SAT checkers
Dealing with expert bias in collective decision-making
Representing Stereo Data with the Delaunay Triangulation
A Truth Maintenance System
Computer-aided proof of Erdős discrepancy properties
T. Winograd, Language as a Cognitive Process, Volume I: Syntax
A Bayesian approach to (online) transfer learning: Theory and algorithms
The Complexity of Existential Quantification in Concept Languages
Terminological Reasoning is Inherently Intractable
On the disjunctive rational closure of a conditional knowledge base
Using Empirical Analysis to Refine Expert System Knowledge Bases
Risk bounded nonlinear robot motion planning with integrated perception & control
Deciding Koopman's qualitative probability
Evaluating Entity Linking with Wikipedia
Double preference relations for generalised belief change
Time-Efficient State Space Search
Revision operators with compact representations
Conceptual Inductive Learning: The Case of Unreliable Teachers
Wanted: Collaborative intelligence
A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
Towards a General Theory of Action and Time
Equilibrium Analysis of the Distribution of Information in Human Society
Solving coalitional resource games
Of Hubert Dreyfus and Dead Horses: Some Thoughts on Dreyfus' What Computers Still Can't Do
Integrating representation learning and skill learning in a human-like intelligent agent
A hierarchy of prescriptive goals for multiagent learning
On the progression of belief
Binary vs. non-binary constraints
Reasoning with Qualitative Models
Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure
Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic Reasoning About Change
Active logic semantics for a single agent in a static world
Eugene Charniak and Yorick Wilks, Eds., Computational Semantic.s
An Optimal k-Consistency Algorithm
Determining if (FC-) (conflict-directed) backjumping visits a given node is NP-hard
Multicategory large margin classification methods: Hinge losses vs. coherence functions
Priority inheritance with backtracking for iterative multi-agent path finding
Description and Recognition of Curved Objects
Diagnosis Based on Explicit Means-End Models
Autoepistemic answer set programming
Abductive reasoning through filtering
Computing pure Bayesian-Nash equilibria in games with finite actions and continuous types
Explorative anytime local search for distributed constraint optimization
Coalitions Among Computationally Bounded Agents
Lifted algorithms for symmetric weighted first-order model sampling
A logical approach to efficient Max-SAT solving
Popularity-similarity random SAT formulas
On the incompatibility of faithfulness and monotone DAG faithfulness
A note on Trillas' CHC models
Spatial relation learning for explainable image classification and annotation in critical applications
Gerrymandering individual fairness
Open-world continual learning: Unifying novelty detection and continual learning
Model-based multidimensional clustering of categorical data
Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator
Grammatical Description of Behaviors of Ordinary Differential Equations in Two-Dimensional Phase Space
Using arguments for making and explaining decisions
Distributed optimization for degenerate loss functions arising from over-parameterization
Forgetting auxiliary atoms in forks
Semantic-based regularization for learning and inference
Efficient Algorithms for Qualitative Reasoning about Time
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules
Robust solutions to Stackelberg games: Addressing bounded rationality and limited observations in human cognition
Using state abstractions to compute personalized contrastive explanations for AI agent behavior
A concept drift-tolerant case-base editing technique
SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems
An Abstract, Argumentation-Theoretic Approach to Default Reasoning
Three perspectives of data mining
Qualitative Reasoning about Physical Systems: A Return to Roots
A Minimax Algorithm Better than Alpha-Beta?
Representing preferences using intervals
BIG: An agent for resource-bounded information gathering and decision making
Hubert L. Dreyfus and Stuart E. Dreyfus, Mind over Machine: The Power of Human Intuition and Expertise in the Era of the Computer
Representation learning with extreme learning machines and empirical mode decomposition for wind speed forecasting methods
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
The Logic of Nonmonotonicity
Loop formulas for circumscription
Hard choices in artificial intelligence
Analysis of a probabilistic model of redundancy in unsupervised information extraction
Phase Transitions in Artificial Intelligence Systems
Hidden protocols: Modifying our expectations in an evolving world
Moving average reversion strategy for on-line portfolio selection
Professor Sir James Lighthill, FRS. Artificial Intelligence: A General Survey
CLIP: Concept Learning from Inference Patterns
A reconstruction of multipreference closure
On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle
An Analytical Comparison of Some Rule-Learning Programs
Qualitative constraint satisfaction problems: An extended framework with landmarks
Levesque's Axiomatization of only Knowing is Incomplete
Coltrane: A domain-independent system for characterizing and planning in novel situations
Planning as satisfiability: parallel plans and algorithms for plan search
Compositional Modeling: Finding the Right Model for the Job
Hybrid tractability of valued constraint problems
Multi resource allocation with partial preferences
Designing menus of contracts efficiently: The power of randomization
On the Emergence of Social Conventions: Modeling, Analysis, and Simulations
Querying incomplete information in RDF with SPARQL
Differential privacy of hierarchical Census data: An optimization approach
Introspective Multistrategy Learning: On the Construction of Learning Strategies
Explaining individual predictions when features are dependent: More accurate approximations to Shapley values
Qualitative Analysis of Behavior of Systems of Piecewise Linear Differential Equations with two State Variables
Interpreting Image Curve from Multiframes
Approximation quality of the hypervolume indicator