The following pages link to Artificial Intelligence (Q72340):
Displaying 50 items.
- Using Chunking to solve chess pawn endgames (Q792779) (← links)
- Computations underlying the measurement of visual motion (Q796310) (← links)
- A polymorphic type system for Prolog (Q796313) (← links)
- Foundations of a functional approach to knowledge representation (Q799390) (← links)
- Refutational theorem proving using term-rewriting systems (Q802317) (← links)
- A critical examination of Allen's theory of action and time (Q809997) (← links)
- Algorithms for propagating resource constraints in AI planning and scheduling: Existing approaches and new results (Q814422) (← links)
- Problem difficulty for tabu search in job-shop scheduling (Q814423) (← links)
- Complexity results for standard benchmark domains in planning (Q814425) (← links)
- Knowledge, action, and the frame problem (Q814427) (← links)
- A relevance restriction strategy for automated deduction (Q814429) (← links)
- Qualitative simulation of temporal concurrent processes using time interval Petri nets (Q814432) (← links)
- On market-inspired approaches to propositional satisfiability (Q814434) (← links)
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436) (← links)
- Robustness of regional matching scheme over global matching scheme (Q814437) (← links)
- Evaluating the effect of semi-normality on the expressiveness of defaults (Q814438) (← links)
- Multiobjective heuristic state-space planning (Q814441) (← links)
- BOB: Improved winner determination in combinatorial auctions and generalizations (Q814442) (← links)
- Towards an analytic framework for analysing the computation time of evolutionary algorithms (Q814443) (← links)
- Backjumping for quantified Boolean logic satisfiability (Q814445) (← links)
- Region connection calculus: Its models and composition table (Q814446) (← links)
- Diagram processing: Computing with diagrams (Q814449) (← links)
- Establishing motion correspondence using extended temporal scope (Q814453) (← links)
- Controlling the learning process of real-time heuristic search (Q814454) (← links)
- Hybrid backtracking bounded by tree-decomposition of constraint networks (Q814455) (← links)
- Object-based visual attention for computer vision (Q814456) (← links)
- Discovering simple rules in complex data: A meta-learning algorithm and some surprising musical discoveries (Q814458) (← links)
- Similarity of personal preferences: Theoretical foundations and empirical analysis (Q814460) (← links)
- The complexity of achievement and maintenance problems in agent-based systems (Q814461) (← links)
- Dynamic belief revision operators (Q814462) (← links)
- On the undecidability of probabilistic planning and related stochastic optimization problems (Q814465) (← links)
- Weak, strong, and strong cyclic planning via symbolic model checking (Q814470) (← links)
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism (Q814472) (← links)
- Contingent planning under uncertainty via stochastic satisfiability (Q814473) (← links)
- Equivalence notions and model minimization in Markov decision processes (Q814474) (← links)
- Solving factored MDPs using non-homogeneous partitions (Q814475) (← links)
- Performance bounds for planning in unknown terrain (Q814477) (← links)
- Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence (Q814478) (← links)
- Fuzzy \(rr\)DFCSP and planning (Q814480) (← links)
- A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments (Q814484) (← links)
- Fuzzy constraint networks for signal pattern recognition (Q814488) (← links)
- Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition -- application to 3D brain imaging (Q814491) (← links)
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief (Q814492) (← links)
- Testing the descriptive validity of possibility theory in human judgments of uncertainty (Q814496) (← links)
- Qualitative decision theory with preference relations and comparative uncertainty: an axiomatic approach (Q814497) (← links)
- Temporal scenario modelling and recognition based on possibilistic logic (Q814498) (← links)
- Logical representation and fusion of prioritized information based on guaranteed possibility measures: Application to the distance-based merging of classical bases (Q814499) (← links)
- Possibilistic instance-based learning (Q814500) (← links)
- Operations and evaluation measures for learning possibilistic graphical models (Q814501) (← links)
- Preferences and explanations (Q814503) (← links)
