The following pages link to Artificial Intelligence (Q72340):
Displayed 50 items.
- Planning and acting in partially observable stochastic domains (Q72343) (← links)
- Swarm intelligence for self-organized clustering (Q86925) (← links)
- ASlib: A benchmark library for algorithm selection (Q98782) (← links)
- Complex systems: Network thinking (Q105986) (← links)
- Conditional independence and chain event graphs (Q110201) (← links)
- Solving QBF with counterexample guided refinement (Q253964) (← links)
- Optimal cost almost-sure reachability in POMDPs (Q253969) (← links)
- Truncated incremental search (Q253972) (← links)
- Games for query inseparability of description logic knowledge bases (Q253977) (← links)
- On the expressivity of inconsistency measures (Q253979) (← links)
- Parameterised verification for multi-agent systems (Q253980) (← links)
- The co-occurrence test for non-monotonic inference (Q253982) (← links)
- Broken triangles: from value merging to a tractable class of general-arity constraint satisfaction problems (Q253988) (← links)
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Argument graphs and assumption-based argumentation (Q253995) (← links)
- The scope and limits of simulation in automated reasoning (Q253998) (← links)
- On the query complexity of selecting minimal sets for monotone predicates (Q253999) (← links)
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result (Q254004) (← links)
- A formalization of programs in first-order logic with a discrete linear order (Q274400) (← links)
- MaxSAT by improved instance-specific algorithm configuration (Q274404) (← links)
- Strategyproof matching with regional minimum and maximum quotas (Q274410) (← links)
- The multifaceted impact of Ada Lovelace in the digital age. Book review of: R. Hammerman (ed.) and A. L. Russell (ed.), Ada's legacy. Cultures of computing from the Victorian to the digital age (Q274412) (← links)
- Belief and truth in hypothesised behaviours (Q274416) (← links)
- Tractable approximate deduction for OWL (Q274420) (← links)
- e-NSP: efficient negative sequential pattern mining (Q274424) (← links)
- One-pass AUC optimization (Q286076) (← links)
- Domain-independent planning for services in uncertain and dynamic environments (Q286080) (← links)
- On abstract modular inference systems and solvers (Q286083) (← links)
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies (Q286087) (← links)
- Algorithms for computing strategies in two-player simultaneous move games (Q286381) (← links)
- ASlib: a benchmark library for algorithm selection (Q286390) (← links)
- POPPONENT: highly accurate, individually and socially efficient opponent preference model in bilateral multi issue negotiations (Q286393) (← links)
- The QBF Gallery: behind the scenes (Q286397) (← links)
- Evaluating epistemic negation in answer set programming (Q286399) (← links)
- Book review of: W. C. Stirling, Theory of conditional games (Q286401) (← links)
- Querying incomplete information in RDF with SPARQL (Q286403) (← links)
- Bounded situation calculus action theories (Q286407) (← links)
- Hierarchical conceptual spaces for concept combination (Q286409) (← links)
- A qualitative spatial representation of string loops as holes (Q309906) (← links)
- Knowledge base exchange: the case of OWL 2 QL (Q309909) (← links)
- Smooth sparse coding via marginal regression for learning sparse representations (Q309913) (← links)
- Making the right exceptions (Q309916) (← links)
- Generating SAT instances with community structure (Q309919) (← links)
- Learning general constraints in CSP (Q309921) (← links)
- A note on the complexity of the causal ordering problem (Q309924) (← links)
- Tractability-preserving transformations of global cost functions (Q309935) (← links)
- Data repair of inconsistent nonmonotonic description logic programs (Q322065) (← links)
- Extracting qualitative relations from categorical data (Q322069) (← links)
- Diffusion centrality: a paradigm to maximize spread in social networks (Q322073) (← links)