The following pages link to Artificial Intelligence (Q72340):
Displaying 50 items.
- A flexible ILP formulation for hierarchical clustering (Q511770) (← links)
- Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability (Q511772) (← links)
- Semantic-based regularization for learning and inference (Q511774) (← links)
- Structured learning modulo theories (Q511777) (← links)
- Relational linear programming (Q511779) (← links)
- Learning an efficient constructive sampler for graphs (Q511780) (← links)
- Learning Bayesian network parameters under equivalence constraints (Q511784) (← links)
- Integer linear programming for the Bayesian network structure learning problem (Q511785) (← links)
- Automatic construction of parallel portfolios via algorithm configuration (Q511786) (← links)
- \textsc{Alors}: an algorithm recommender system (Q511788) (← links)
- Constraint acquisition (Q511791) (← links)
- Empirical decision model learning (Q511793) (← links)
- Auction optimization using regression trees and linear models as integer programs (Q511796) (← links)
- State space search nogood learning: online refinement of critical-path dead-end detectors in planning (Q514137) (← links)
- A unified framework of active transfer learning for cross-system recommendation (Q514140) (← links)
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Graph aggregation (Q514143) (← links)
- An initial study of time complexity in infinite-domain constraint satisfaction (Q514144) (← links)
- Robust planning with incomplete domain models (Q514145) (← links)
- John McCarthy's legacy (Q543573) (← links)
- Non-Markovian control in the Situation Calculus (Q543575) (← links)
- \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem (Q543579) (← links)
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- A unifying action calculus (Q543584) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- Iterated belief change in the situation calculus (Q543588) (← links)
- First-order logical filtering (Q543591) (← links)
- Dealing with logical omniscience: expressiveness and pragmatics (Q543593) (← links)
- Stable models and circumscription (Q543596) (← links)
- From answer set logic programming to circumscription via logic of GK (Q543597) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- How does a box work? A study in the qualitative dynamics of solid objects (Q543601) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
- From systems to logic in the early development of nonmonotonic reasoning (Q543606) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- Revenue monotonicity in deterministic, dominant-strategy combinatorial auctions (Q543608) (← links)
- Weighted argument systems: basic definitions, algorithms, and complexity results (Q543610) (← links)
- Online planning for multi-agent systems with bounded communication (Q543611) (← links)
- On the power of clause-learning SAT solvers as resolution engines (Q543613) (← links)
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure (Q543614) (← links)
- The extended global cardinality constraint: an empirical survey (Q543616) (← links)
- A new representation and associated algorithms for generalized planning (Q543617) (← links)
- Mechanism design for the truthful elicitation of costly probabilistic estimates in distributed information systems (Q543619) (← links)
- SampleSearch: importance sampling in presence of determinism (Q543621) (← links)
- Bounded approximate decentralised coordination via the max-sum algorithm (Q543622) (← links)
- Belief extrapolation (or how to reason about observations and unpredicted change) (Q543623) (← links)
- On the resolution-based family of abstract argumentation semantics and its grounded instance (Q543626) (← links)
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning (Q543630) (← links)
