Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Engineering & Technology
  2. Computer Science
  3. Artificial Intelligence
On the Tractability of Restricted Disjunctive Temporal Problems Knowledge Systems Laboratory
On the Tractability of Restricted Disjunctive Temporal Problems Knowledge Systems Laboratory
On the Testability of BDI Agent Systems (Extended Abstract)
On the Testability of BDI Agent Systems (Extended Abstract)
On the Synthesis of Functionally Equivalent Mechanical Designs Horea Ilies¸ Vadim Shapiro
On the Synthesis of Functionally Equivalent Mechanical Designs Horea Ilies¸ Vadim Shapiro
On the Structure of Synergies in Cooperative Games Ariel D. Procaccia
On the Structure of Synergies in Cooperative Games Ariel D. Procaccia
On the Solutions to the Travelling Salesman Problem using
On the Solutions to the Travelling Salesman Problem using
On the Small-Scope Hypothesis for Testing Answer-Set Programs
On the Small-Scope Hypothesis for Testing Answer-Set Programs
On the semantics of visual behaviour, structured events and trajectories... human action Shaogang Gong*, Jeffrey Ng, Jamie Sherrah
On the semantics of visual behaviour, structured events and trajectories... human action Shaogang Gong*, Jeffrey Ng, Jamie Sherrah
On the Semantics of Logic Programs with Preferences Sergio Greco Irina Trubitsyna
On the Semantics of Logic Programs with Preferences Sergio Greco Irina Trubitsyna
On the Scaling Behavior of HDA* Akihiro Kishimoto Alex Fukunaga Adi Botea
On the Scaling Behavior of HDA* Akihiro Kishimoto Alex Fukunaga Adi Botea
On the Scalable Learning of Stochastic Blockmodel
On the Scalable Learning of Stochastic Blockmodel
On the Runtime of Randomized Local Search and Simple
On the Runtime of Randomized Local Search and Simple
On the Roles of Search and Learning in Time
On the Roles of Search and Learning in Time
On the Role of Ground Actions in Refinement Planning
On the Role of Ground Actions in Refinement Planning
On the role of Disjunctive Representations and Constraint Propagation
On the role of Disjunctive Representations and Constraint Propagation
On the Role of Canonicity in Knowledge Compilation
On the Role of Canonicity in Knowledge Compilation
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses
On the Relevance of Philosophy for Psychological Research: A
On the Relevance of Philosophy for Psychological Research: A
On the relationship between symbolic and neural computation
On the relationship between symbolic and neural computation
On the Relation of Constraint Answer Set Programming Languages and Algorithms
On the Relation of Constraint Answer Set Programming Languages and Algorithms
On the Relation of Computing to the World
On the Relation of Computing to the World
On the Recognition of Abstract Markov Policies
On the Recognition of Abstract Markov Policies
On the Power of Top-Down Branching Heuristics Matti J¨arvisalo Tommi Junttila
On the Power of Top-Down Branching Heuristics Matti J¨arvisalo Tommi Junttila
On the Online Generation of Effective Macro-Operators
On the Online Generation of Effective Macro-Operators
On the Occasion of John McCarthy’s 80th Birthday
On the Occasion of John McCarthy’s 80th Birthday