The following pages link to Artificial Intelligence (Q72340):
Displaying 50 items.
- Specifying and computing preferred plans (Q646542) (← links)
- Sequential decision making with partially ordered preferences (Q646545) (← links)
- Computing rank dependent utility in graphical models for sequential decision problems (Q646548) (← links)
- On the modelling and optimization of preferences in constraint-based temporal reasoning (Q646549) (← links)
- A general framework for explaining the results of a multi-attribute preference model (Q646550) (← links)
- Preference-based English reverse auctions (Q646553) (← links)
- A graded BDI agent model to represent and reason about preferences (Q646556) (← links)
- Decentralized MDPs with sparse interactions (Q650520) (← links)
- Dynamics of argumentation systems: a division-based method (Q650522) (← links)
- Solving conflicts in information merging by a flexible interpretation of atomic propositions (Q650523) (← links)
- On the complexity of core, kernel, and bargaining set (Q650525) (← links)
- Independent natural extension (Q650526) (← links)
- Itemset mining: a constraint programming perspective (Q650527) (← links)
- Verification in incomplete argumentation frameworks (Q668774) (← links)
- Approximating optimal social choice under metric preferences (Q668776) (← links)
- Isomorphisms of genetic algorithms (Q685333) (← links)
- Approximating probabilistic inference in Bayesian belief networks is NP- hard (Q685336) (← links)
- A theory of nonmonotonic inheritance based on annotated logic (Q685338) (← links)
- Circumscription: Completeness reviewed (Q685339) (← links)
- On prediction in Theorist (Q685340) (← links)
- Implicit parallelism in genetic algorithms (Q685342) (← links)
- Removing redundancy from a clause (Q685346) (← links)
- Skeptical reason maintenance and belief revision (Q685347) (← links)
- Epistemic entrenchment and arithmetical hierarchy (Q685538) (← links)
- Linear-space best-first search (Q685539) (← links)
- Formal semantics for mutual belief (Q685541) (← links)
- The complexity of path-based defeasible inheritance (Q685542) (← links)
- Acquiring search-control knowledge via static analysis (Q685544) (← links)
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- Parsing as non-Horn deduction (Q688151) (← links)
- Attributive concept descriptions with complements (Q749235) (← links)
- Automatic analysis of one-parameter planar ordinary differential equations by intelligent numeric simulation (Q751202) (← links)
- Multi-player alpha-beta pruning (Q753695) (← links)
- Exaggeration (Q756609) (← links)
- An analysis of first-order logics of probability (Q757340) (← links)
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491) (← links)
- Synthetic programming (Q761788) (← links)
- CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement (Q785225) (← links)
- On quasi-inconsistency and its complexity (Q785227) (← links)
- Book review of: J. Pearl and D. Mackenzie, The book of why. The new science of cause and effect (Q785231) (← links)
- Knowing the price of success (Q785233) (← links)
- On the complexity of reasoning about opinion diffusion under majority dynamics (Q785234) (← links)
- On strengthening the logic of iterated belief revision: proper ordinal interval operators (Q785235) (← links)
- Complexity of abstract argumentation under a claim-centric view (Q785236) (← links)
- Compact and efficient encodings for planning in factored state and action spaces with learned binarized neural network transition models (Q785238) (← links)
- Special issue on autonomous agents modelling other agents: guest editorial (Q785239) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- A heuristic search algorithm with modifiable estimate (Q792766) (← links)
- General branch and bound, and its relation to \(A^*\) and \(AO^*\) (Q792768) (← links)
- An algebraic approach to shape-from-image problems (Q792776) (← links)
