Abstract is missing.
- Cho-k-NN: A Method for Combining Interacting Pieces of Evidence in Case-Based LearningEyke Hüllermeier. 3-8 [doi]
- Automating the Discovery of Recommendation KnowledgeDavid McSherry, Christopher Stretch. 9-14 [doi]
- Sophia: A novel approach for Textual Case-based ReasoningDavid W. Patterson, Niall Rooney, Vladimir Dobrynin, Mykola Galushka. 15-20 [doi]
- Partial, Vague Knowledge for Similarity MeasuresTimo Steffens. 21-26 [doi]
- A flexible and robust similarity measure based on contextual probabilityHui Wang, Werner Dubitzky. 27-34 [doi]
- Propagating Logical Combinations of ConstraintsFahiem Bacchus, Toby Walsh. 35-40 [doi]
- Improved Knowledge Acquisition for High-Performance Heuristic SearchJ. P. Bekmann, Achim G. Hoffmann. 41-46 [doi]
- Extracting Certificates from Quantified Boolean FormulasMarco Benedetti. 47-53 [doi]
- Optimal and Suboptimal Singleton Arc Consistency AlgorithmsChristian Bessière, Romuald Debruyne. 54-59 [doi]
- The Range and Roots Constraints: Specifying Counting and Occurrence ProblemsChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh. 60-65 [doi]
- A Model for Generating Random Quantified Boolean FormulasHubie Chen, Yannet Interian. 66-71 [doi]
- A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut DecompositionDavid A. Cohen, Peter Jeavons, Marc Gyssens. 72-77 [doi]
- Phase Transitions of Dominating Clique Problem and Their Implications to Heuristics in Satisfiability SearchJoseph C. Culberson, Yong Gao, Calin Anton. 78-83 [doi]
- Existential arc consistency: Getting closer to full arc consistency in weighted CSPsSimon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa. 84-89 [doi]
- A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set ProgrammingThomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits. 90-96 [doi]
- On Solution Correspondences in Answer-Set ProgrammingThomas Eiter, Hans Tompits, Stefan Woltran. 97-102 [doi]
- Dual Lookups in Pattern DatabasesAriel Felner, Uzi Zahavi, Jonathan Schaeffer, Robert C. Holte. 103-108 [doi]
- The Rules of Constraint ModellingAlan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel. 109-116 [doi]
- Bin-Completion Algorithms for Multicontainer Packing and Covering ProblemsAlex S. Fukunaga, Richard E. Korf. 117-124 [doi]
- Limited Discrepancy Beam SearchDavid Furcy, Sven Koenig. 125-131 [doi]
- Generalized Amazons is PSPACE-CompleteTimothy Furtak, Masashi Kiyomi, Takeaki Uno, Michael Buro. 132-137 [doi]
- QCSP-Solve: A Solver for Quantified Constraint Satisfaction ProblemsIan P. Gent, Peter Nightingale, Kostas Stergiou. 138-143 [doi]
- The computational complexity of dominance and consistency in CP-netsJudy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson. 144-149 [doi]
- The Complexity of Quantified Constraint Satisfaction Problems under Structural RestrictionsGeorg Gottlob, Gianluigi Greco, Francesco Scarcello. 150-155 [doi]
- DPLL with a Trace: From SAT to Knowledge CompilationJinbo Huang, Adnan Darwiche. 156-162 [doi]
- Optimal Refutations for Constraint Satisfaction ProblemsTudor Hulubei, Barry O Sullivan. 163-168 [doi]
- Efficient Stochastic Local Search for MPE SolvingFrank Hutter, Holger H. Hoos, Thomas Stützle. 169-174 [doi]
- The Backbone of the Travelling SalespersonPhilip Kilby, John K. Slaney, Toby Walsh. 175-180 [doi]
- Complete MCS-Based Search: Application to Resource Constrained Project SchedulingPhilippe Laborie. 181-186 [doi]
- Three Truth Values for the SAT and MAX-SAT ProblemsFrédéric Lardeux, Frédéric Saubion, Jin-Kao Hao. 187-192 [doi]
- Resolution in Max-SAT and its relation to local consistency in weighted CSPsJavier Larrosa, Federico Heras. 193-198 [doi]
- A Greedy Approach to Establish Singleton Arc ConsistencyChristophe Lecoutre, Stéphane Cardon. 199-204 [doi]
- Identifying Conflicts in Overconstrained Temporal ProblemsMark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, Karem A. Sakallah. 205-211 [doi]
- Why Minimax Works: An Alternative ExplanationMitja Lustrek, Matjaz Gams, Ivan Bratko. 212-217 [doi]
- A New Approach to Multiobjective A* SearchLawrence Mandow, José-Luis Pérez-de-la-Cruz. 218-223 [doi]
- AND/OR Branch-and-Bound for Graphical ModelsRadu Marinescu 0002, Rina Dechter. 224-229 [doi]
- AND/OR Cutset ConditioningRobert Mateescu, Rina Dechter. 230-235 [doi]
- Reducing Checks and Revisions in Coarse-grained MAC AlgorithmsDeepak Mehta, Marc R. C. van Dongen. 236-241 [doi]
- Applying Local Search to Disjunctive Temporal ProblemsMichael D. Moffitt, Martha E. Pollack. 242-247 [doi]
- Possibilistic Stable ModelsPascal Nicolas, Laurent Garcia, Igor Stéphan. 248-253 [doi]
- Game-Tree Search with Combinatorially Large Belief StatesAustin Parker, Dana S. Nau, V. S. Subrahmanian. 254-259 [doi]
- Counting Solutions of CSPs: A Structural ApproachGilles Pesant. 260-265 [doi]
- A Scalable Method for Multiagent Constraint OptimizationAdrian Petcu, Boi Faltings. 266-271 [doi]
- Breaking symmetries in all different problemsJean-Francois Puget. 272-277 [doi]
- Efficient belief-state AND-OR search, with application to KriegspielStuart J. Russell, Jason Wolfe. 278-285 [doi]
- Bounded Search and Symbolic Inference for Constraint OptimizationMartin Sachenbacher, Brian C. Williams. 286-291 [doi]
- Solving CheckersJonathan Schaeffer, Yngvi Björnsson, Neil Burch, Akihiro Kishimoto, Martin Müller 0003, Robert Lake, Paul Lu, Steve Sutphen. 292-297 [doi]
- Structural Symmetry BreakingMeinolf Sellmann, Pascal Van Hentenryck. 298-303 [doi]
- Decentralized Search in Networks Using Homophily and Degree DisparityÖzgür Simsek, David Jensen. 304-310 [doi]
- Value Ordering for Finding All SolutionsBarbara M. Smith, Paula Sturdy. 311-316 [doi]
- Leaf-Value Tables for Pruning Non-Zero-Sum GamesNathan R. Sturtevant. 317-323 [doi]
- Choosing between heuristics and strategies: an enhanced model for decision-makingShavit Talman, Rotem Toister, Sarit Kraus. 324-330 [doi]
- Decision Diagrams for the Computation of Semiring ValuationsNic Wilson. 331-336 [doi]
- A Simple Model to Generate Hard Satisfiable InstancesKe Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre. 337-342 [doi]
- A Novel Local Search Algorithm for the Traveling Salesman Problem that Exploits BackbonesWeixiong Zhang, Moshe Looks. 343-350 [doi]
- Scalability Study of Peer-to-Peer Consequence FindingPhilippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon. 351-356 [doi]
- Identifiability of Path-Specific EffectsChen Avin, Ilya Shpitser, Judea Pearl. 357-363 [doi]
- Pushing the EL EnvelopeFranz Baader, Sebastian Brandt, Carsten Lutz. 364-369 [doi]
- Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking ApproachGrégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider. 370-375 [doi]
- Revision of Partially Ordered Information: Axiomatization, Semantics and IterationSalem Benferhat, Sylvain Lagrue, Odile Papini. 376-381 [doi]
- Computational ontologies of parthood, componenthood, and containmentThomas Bittner, Maureen Donnelly. 382-387 [doi]
- Propositional Argumentation and Causal ReasoningAlexander Bochman. 388-393 [doi]
- Reconstructing an Agent s Epistemic State from ObservationsRichard Booth, Alexander Nittka. 394-399 [doi]
- Scale-Based Monotonicity Analysis in Qualitative Modelling with Flat SegmentsMartin Brooks, Yuhong Yan, Daniel Lemire. 400-405 [doi]
- Declarative and Computational Properties of Logic Programs with AggregatesFrancesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri. 406-411 [doi]
- Parameterized CompilabilityHubie Chen. 412-417 [doi]
- Updating Action Domain DescriptionsThomas Eiter, Esra Erdem, Michael Fink, Ján Senko. 418-423 [doi]
- Quota and Gmin Merging OperatorsPatricia Everaere, Sébastien Konieczny, Pierre Marquis. 424-429 [doi]
- Strong Equivalence for Logic Programs with PreferencesWolfgang Faber, Kathrin Konczak. 430-435 [doi]
- Representing Flexible Temporal Behaviors in the Situation CalculusAlberto Finzi, Fiora Pirri. 436-441 [doi]
- Cohesion, coupling and the meta-theory of actionsAndreas Herzig, Ivan José Varzinczak. 442-447 [doi]
- A Tableaux Decision Procedure for SHOIQIan Horrocks, Ulrike Sattler. 448-453 [doi]
- Reasoning with Inconsistent OntologiesZhisheng Huang, Frank van Harmelen, Annette ten Teije. 454-459 [doi]
- Iterated Belief Change: A Transition System ApproachAaron Hunter, James P. Delgrande. 460-465 [doi]
- Data Complexity of Reasoning in Very Expressive Description LogicsUllrich Hustadt, Boris Motik, Ulrike Sattler. 466-471 [doi]
- Equivalence in Abductive LogicKatsumi Inoue, Chiaki Sakama. 472-477 [doi]
- Iterated Belief Revision, RevisedYi Jin, Michael Thielscher. 478-483 [doi]
- Reasoning under inconsistency: the forgotten connectiveSébastien Konieczny, Jérôme Lang, Pierre Marquis. 484-489 [doi]
- Semantics for a useful fragment of the situation calculusGerhard Lakemeyer, Hector J. Levesque. 490-496 [doi]
- From knowledge-based programs to graded belief-based programs, part II: off-line reasoningNoël Laverny, Jérôme Lang. 497-502 [doi]
- A Model-Theoretic Counterpart of Loop FormulasJoohyung Lee. 503-508 [doi]
- Planning with LoopsHector J. Levesque. 509-515 [doi]
- Discovering Classes of Strongly Equivalent Logic ProgramsFangzhen Lin, Yin Chen. 516-521 [doi]
- Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent ActionsYongmei Liu, Hector J. Levesque. 522-527 [doi]
- Cognitive Modelling of Event Ordering Reasoning in Imagistic DomainsLaura S. Mastella, Mara Abel, Luís C. Lamb, Luis Fernando De Ros. 528-533 [doi]
- Propositional Abduction is Almost Always HardGustav Nordh, Bruno Zanuttini. 534-539 [doi]
- Inverse Resolution as Belief ChangeMaurice Pagnucco, David Rajaratnam. 540-545 [doi]
- Building the Semantic Web Tower from RDF StrawPeter F. Patel-Schneider. 546-551 [doi]
- Measuring conflict and agreement between two prioritized belief basesGuilin Qi, Weiru Liu, David A. Bell. 552-557 [doi]
- Minimal and Absent Information in ContextsFloris Roelofsen, Luciano Serafini. 558-563 [doi]
- Supervaluation Semantics for an Inland Water Feature OntologyPaulo Santos, Brandon Bennett, Georgios Sakellariou. 564-569 [doi]
- Aspects of Distributed and Modular Ontology ReasoningLuciano Serafini, Alexander Borgida, Andrei Tamilin. 570-575 [doi]
- A Formal Investigation of Mapping Language for Terminological KnowledgeLuciano Serafini, Heiner Stuckenschmidt, Holger Wache. 576-581 [doi]
- Goal ChangeSteven Shapiro, Yves Lespérance, Hector J. Levesque. 582-588 [doi]
- First-Order Logical FilteringAfsaneh Shirazi, Eyal Amir. 589-595 [doi]
- Combining Learning Constraints and Numerical RegressionDorian Suc, Ivan Bratko. 596-602 [doi]
- On the Interaction between Inverse Features and Path-functional Dependencies in Description LogicsDavid Toman, Grant E. Weddell. 603-608 [doi]
- Ordering Heuristics for Description Logic ReasoningDmitry Tsarkov, Ian Horrocks. 609-614 [doi]
- Going Far, LogicallyFusun Yaman, Dana S. Nau, V. S. Subrahmanian. 615-620 [doi]
- A Motion Closed World AsumptionFusun Yaman, Dana S. Nau, V. S. Subrahmanian. 621-626 [doi]
- Solving Logic Program Conflict through Strong and Weak ForgettingsYan Zhang, Norman Y. Foo, Kewen Wang. 627-634 [doi]
- Ranking Cases with Decision Trees: a Geometric Method that Preserves IntelligibilityIsabelle Alvarez, Stephan Bernard. 635-640 [doi]
- Exploiting Informative Priors for Bayesian Classification and Regression TreesNicos Angelopoulos, James Cussens. 641-646 [doi]
- Exploiting Background Knowledge for Knowledge-Intensive Subgroup DiscoveryMartin Atzmüller, Frank Puppe, Hans-Peter Buscher. 647-652 [doi]
- Fast and Complete Symbolic Plan RecognitionDorit Avrahami-Zilberbrand, Gal A. Kaminka. 653-658 [doi]
- Unsupervised Learning of Semantic Relations between Concepts of a Molecular Biology OntologyMassimiliano Ciaramita, Aldo Gangemi, Esther Ratsch, Jasmin Saric, Isabel Rojas. 659-664 [doi]
- Feature Selection Based on the Shapley ValueShay Cohen, Eytan Ruppin, Gideon Dror. 665-670 [doi]
- Stacked Sequential LearningWilliam W. Cohen, Vitor Rocha de Carvalho. 671-676 [doi]
- View Learning for Statistical Relational Learning: With an Application to MammographyJesse Davis, Elizabeth S. Burnside, Inês de Castro Dutra, David Page, Raghu Ramakrishnan, Vítor Santos Costa, Jude W. Shavlik. 677-683 [doi]
- Learning Web Page Scores by Error Back-PropagationMichelangelo Diligenti, Marco Gori, Marco Maggini. 684-689 [doi]
- Reinforcement Learning in POMDPs Without ResetsEyal Even-Dar, Sham M. Kakade, Yishay Mansour. 690-695 [doi]
- A Simple-Transition Model for Relational SequencesAlan Fern. 696-701 [doi]
- Repairing Concavities in ROC CurvesPeter A. Flach, Shaomin Wu. 702-707 [doi]
- Inferring Useful Heuristics from the Dynamics of Iterative Relational ClassifiersAram Galstyan, Paul R. Cohen. 708-713 [doi]
- Learning Coordination ClassifiersYuhong Guo, Russell Greiner, Dale Schuurmans. 714-721 [doi]
- Generalization Bounds for Weighted Binary Classification with Applications to Statistical VerificationVu Ha, Tariq Samad. 722-727 [doi]
- The COMPSET Algorithm for Subset SelectionYaniv Hamo, Shaul Markovitch. 728-733 [doi]
- Combining Memory and Landmarks with Predictive State RepresentationsMichael R. James, Britton Wolfe, Satinder P. Singh. 734-739 [doi]
- Learning with Labeled SessionsRong Jin, Huan Liu. 740-745 [doi]
- A Novel Approach to Model Generation for Heterogeneous Data ClassificationRong Jin, Huan Liu. 746-751 [doi]
- State Abstraction Discovery from Irrelevant State VariablesNicholas K. Jong, Peter Stone. 752-757 [doi]
- Signal-to-Score Music Transcription using Graphical ModelsEmir Kapanci, Avi Pfeffer. 758-765 [doi]
- A Hybrid Discriminative/Generative Approach for Modeling Human ActivitiesJonathan Lester, Tanzeem Choudhury, Nicky Kern, Gaetano Borriello, Blake Hannaford. 766-772 [doi]
- Location-Based Activity Recognition using Relational Markov NetworksLin Liao, Dieter Fox, Henry A. Kautz. 773-778 [doi]
- Concurrent Hierarchical Reinforcement LearningBhaskara Marthi, Stuart J. Russell, David Latham, Carlos Guestrin. 779-785 [doi]
- Topic and Role Discovery in Social NetworksAndrew McCallum, Andrés Corrada-Emmanuel, Xuerui Wang. 786-791 [doi]
- Training without data: Knowledge Insertion into RBF Neural NetworksKenneth McGarry, Stefan Wermter. 792-797 [doi]
- Unsupervised Dimensionality Estimation and Manifold Learning in high-dimensional Spaces by Tensor VotingPhilippos Mordohai, Gérard G. Medioni. 798-803 [doi]
- Generalization Error of Linear Neural Networks in an Empirical Bayes ApproachShinichi Nakajima, Sumio Watanabe. 804-810 [doi]
- Phase Transitions within Grammatical InferenceNicolas Pernot, Antoine Cornuéjols, Michèle Sebag. 811-816 [doi]
- Learning against opponents with bounded memoryRob Powers, Yoav Shoham. 817-822 [doi]
- ROCCER: An Algorithm for Rule Learning Based on ROC AnalysisRonaldo C. Prati, Peter A. Flach. 823-828 [doi]
- Stepwise Nearest Neighbor Discriminant AnalysisXipeng Qiu, Lide Wu. 829-834 [doi]
- Using Predictive Representations to Improve Generalization in Reinforcement LearningEddie J. Rafols, Mark B. Ring, Richard S. Sutton, Brian Tanner. 835-840 [doi]
- InterActive Feature SelectionHema Raghavan, Omid Madani, Rosie Jones. 841-846 [doi]
- Generative Modeling with Failure in PRISMTaisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou. 847-852 [doi]
- Evolino: Hybrid Neuroevolution/Optimal Linear Search for Sequence LearningJürgen Schmidhuber, Daan Wierstra, Faustino J. Gomez. 853-858 [doi]
- A Multi-Objective Multi-Modal Optimization Approach for Mining Stable Spatio-Temporal PatternsMichèle Sebag, Nicolas Tarrisson, Olivier Teytaud, Julien Lefevre, Sylvain Baillet. 859-864 [doi]
- Temporal-Difference Networks with HistoryBrian Tanner, Richard S. Sutton. 865-870 [doi]
- Learning to Play Like the Great PianistsAsmir Tobudic, Gerhard Widmer. 871-876 [doi]
- Sequential Genetic Search for Ensemble Feature SelectionAlexey Tsymbal, Mykola Pechenizkiy, Padraig Cunningham. 877-882 [doi]
- Stereotype Extraction with Default ClusteringJulien Velcin, Jean-Gabriel Ganascia. 883-888 [doi]
- Learning Subjective Representations for PlanningDana F. Wilkinson, Michael H. Bowling, Ali Ghodsi. 889-894 [doi]
- Maximum A Posteriori Path Estimation with Input Trace Perturbation: Algorithms and Application to Credible Rating of Human RoutinesDaniel H. Wilson, Matthai Philipose. 895-901 [doi]
- Mining Spatial Object Associations for Scientific DataHui Yang, Srinivasan Parthasarathy, Sameep Mehta. 902-907 [doi]
- Semi-Supervised Regression with Co-TrainingZhi-Hua Zhou, Ming Li. 908-916 [doi]
- On the Axiomatic Foundations of Ranking SystemsAlon Altman, Moshe Tennenholtz. 917-922 [doi]
- Sequential-Simultaneous Information Elicitation in Multi-Agent SystemsGal Bahar, Moshe Tennenholtz. 923-928 [doi]
- Regret-based Utility Elicitation in Constraint-based Decision ProblemsCraig Boutilier, Relu Patrascu, Pascal Poupart, Dale Schuurmans. 929-934 [doi]
- Efficiency and envy-freeness in fair division of indivisible goods: logical representation and complexitySylvain Bouveret, Jérôme Lang. 935-940 [doi]
- On Maximal Classes of Utility Functions for Efficient one-to-one NegotiationYann Chevaleyre, Ulle Endriss, Nicolas Maudet. 941-946 [doi]
- Two-Sided Bandits and the Dating MarketSanmay Das, Emir Kamenica. 947-952 [doi]
- Multi-agent Coordination using Local SearchBoi Faltings, Quang Huy Nguyen. 953-958 [doi]
- More on the Power of Demand Queries in Combinatorial Auctions: Learning Atomic Languages and Handling IncentivesSébastien Lahaie, Florin Constantin, David C. Parkes. 959-964 [doi]
- The Role of Clustering on the Emergence of Efficient Social ConventionsJosep M. Pujol, Jordi Delgado, Ramon Sangüesa, Andreas Flache. 965-970 [doi]
- Distributive and Collective Readings in Group ProtocolsSilvia Rossi, Sanjeev Kumar, Philip R. Cohen. 971-976 [doi]
- Learning Payoff Functions in Infinite GamesYevgeniy Vorobeychik, Michael P. Wellman, Satinder P. Singh. 977-982 [doi]
- A Logical Model of Nash Bargaining SolutionDongmo Zhang. 983-990 [doi]
- A Two-Stage Method for Active Learning of Statistical GrammarsMarkus Becker, Miles Osborne. 991-996 [doi]
- TimeML-Compliant Text Analysis for Temporal ReasoningBranimir Boguraev, Rie Kubota Ando. 997-1003 [doi]
- Viewing Referring Expression Generation as SearchBernd Bohnet, Robert Dale. 1004-1009 [doi]
- Word Sense Disambiguation with Distribution EstimationYee Seng Chan, Hwee Tou Ng. 1010-1015 [doi]
- A Probabilistic Learning Method for XML Annotation of DocumentsBoris Chidlovskii, Jérôme Fuselier. 1016-1021 [doi]
- Maps for Verbs: The Relation Between Interaction Dynamics and Verb UsePaul R. Cohen, Clayton T. Morrison, Erin Cannon. 1022-1027 [doi]
- Learning to Understand Web Site Update RequestsWilliam W. Cohen, Einat Minkov, Anthony Tomasic. 1028-1033 [doi]
- A Probabilistic Model of Redundancy in Information ExtractionDoug Downey, Oren Etzioni, Stephen Soderland. 1034-1041 [doi]
- A Probabilistic Framework for Recognizing Intention in Information GraphicsStephanie Elzer, Sandra Carberry, Ingrid Zukerman, Daniel Chester, Nancy Green, Seniz Demir. 1042-1047 [doi]
- Feature Generation for Text Categorization Using World KnowledgeEvgeniy Gabrilovich, Shaul Markovitch. 1048-1053 [doi]
- Learning Strategies for Open-Domain Natural Language Question AnsweringEugene Grois, David C. Wilkins. 1054-1060 [doi]
- Shallow Semantics for Relation ExtractionSanda M. Harabagiu, Cosmin Adrian Bejan, Paul Morarescu. 1061-1066 [doi]
- Semantic Argument Classification Exploiting Argument InterdependenceZheng Ping Jiang, Jia Li, Hwee Tou Ng. 1067-1072 [doi]
- Automatic Text-to-Scene Conversion in the Traffic Accident DomainRichard Johansson, Anders Berglund, Magnus Danielsson, Pierre Nugues. 1073-1078 [doi]
- Redundancy-free Island Parsing of Word GraphsBernd Kiefer. 1079-1084 [doi]
- Automatic Evaluation of Text Coherence: Models and RepresentationsMirella Lapata, Regina Barzilay. 1085-1090 [doi]
- Semantic annotation of unstructured and ungrammatical textMatthew Michelson, Craig A. Knoblock. 1091-1098 [doi]
- Temporal Context Representation and ReasoningDan I. Moldovan, Christine Clark, Sanda M. Harabagiu. 1099-1104 [doi]
- A Machine Learning Approach to Identification and Resolution of One-AnaphoraHwee Tou Ng, Yu Zhou, Robert Dale, Mary Gardiner. 1105-1110 [doi]
- Robust Ontology Acquisition from Machine-Readable DictionariesEric Nichols, Francis Bond, Dan Flickinger. 1111-1116 [doi]
- The Necessity of Syntactic Parsing for Semantic Role LabelingVasin Punyakanok, Dan Roth, Wen-tau Yih. 1117-1123 [doi]
- Learning and Inference over Constrained OutputVasin Punyakanok, Dan Roth, Wen-tau Yih, Dav Zimak. 1124-1129 [doi]
- Beyond TFIDF Weighting for Text Categorization in the Vector Space ModelPascal Soucy, Guy W. Mineau. 1130-1135 [doi]
- Measuring Semantic Similarity by Latent Relational AnalysisPeter D. Turney. 1136-1141 [doi]
- Theory of Alignment Generators and Applications to Statistical Machine TranslationRaghavendra Udupa, Hemanta Kumar Maji. 1142-1147 [doi]
- Analogy Generation with HowNetTony Veale. 1148-1153 [doi]
- Meaning development versus predefined meanings in language evolution modelsPaul Vogt. 1154-1159 [doi]
- Automatic Semantic Role Labeling for Chinese VerbsNianwen Xue, Martha Stone Palmer. 1160-1165 [doi]
- Extraction of Hierarchies Based on Inclusion of Co-occurring Words with Frequency InformationEiko Yamamoto, Kyoko Kanzaki, Hitoshi Isahara. 1166-1174 [doi]
- Attribution of Knowledge to Artificial Agents and their PrincipalsSamir Chopra, Laurence White. 1175-1180 [doi]
- PsychSim: Modeling Theory of Mind with Decision-Theoretic AgentsDavid V. Pynadath, Stacy Marsella. 1181-1186 [doi]
- The Altricial-Precocial Spectrum for RobotsAaron Sloman, Jackie Chappell. 1187-1194 [doi]
- Model Compilation for Real-Time Planning and Diagnosis with FeedbackAnthony Barrett. 1195-1200 [doi]
- Proactive Algorithms for Scheduling with Probabilistic DurationsJ. Christopher Beck, Nic Wilson. 1201-1206 [doi]
- Over-Subscription Planning with Numeric GoalsJ. Benton, Minh Binh Do, Subbarao Kambhampati. 1207-1213 [doi]
- Robust Planning with (L)RTDPOlivier Buffet, Douglas Aberdeen. 1214-1219 [doi]
- Abstraction-based Action Ordering in PlanningMaria Fox, Derek Long, Julie Porteous. 1220-1225 [doi]
- Integrating Planning and Temporal Reasoning for Domains with Durations and Time WindowsAlfonso Gerevini, Alessandro Saetti, Ivan Serina. 1226-1231 [doi]
- Real-Time Path Planning for Humanoid Robot NavigationJens-Steffen Gutmann, Masaki Fukuchi, Masahiro Fujita. 1232-1237 [doi]
- LRTA*(k)Carlos Hernández, Pedro Meseguer. 1238-1243 [doi]
- Planning with Continuous Resources in Stochastic DomainsMausam, Emmanuel Benazera, Ronen I. Brafman, Nicolas Meuleau, Eric A. Hansen. 1244-1251 [doi]
- Automated Composition of Web Services by Planning at the Knowledge LevelMarco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso. 1252-1259 [doi]
- Conditional Planning in the Discrete Belief SpaceJussi Rintanen. 1260-1265 [doi]
- Probabilistic Reasoning for Plan RobustnessSteve R. Schaffer, Bradley J. Clement, Steve A. Chien. 1266-1271 [doi]
- Optimized Execution of Action Chains Using Learned Performance Models of Abstract ActionsFreek Stulp, Michael Beetz. 1272-1280 [doi]
- Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logicSalem Benferhat, Henri Prade. 1281-1286 [doi]
- Bounded Policy Iteration for Decentralized POMDPsDaniel S. Bernstein, Eric A. Hansen, Shlomo Zilberstein. 1287-1292 [doi]
- A Decision-Theoretic Approach to Task Assistance for Persons with DementiaJennifer Boger, Pascal Poupart, Jesse Hoey, Craig Boutilier, Geoff Fernie, Alex Mihailidis. 1293-1299 [doi]
- Sensitivity Analysis in Markov NetworksHei Chan, Adnan Darwiche. 1300-1305 [doi]
- Compiling Bayesian Networks with Local StructureMark Chavira, Adnan Darwiche. 1306-1312 [doi]
- The Inferential Complexity of Bayesian and Credal NetworksCassio Polpo de Campos, Fabio Gagliardi Cozman. 1313-1318 [doi]
- Lifted First-Order Probabilistic InferenceRodrigo de Salvo Braz, Eyal Amir, Dan Roth. 1319-1325 [doi]
- Stationary Deterministic Policies for Constrained MDPs with Multiple Rewards, Costs, and Discount FactorsDmitri A. Dolgov, Edmund H. Durfee. 1326-1331 [doi]
- Solving POMDPs with Continuous or Large Discrete Observation SpacesJesse Hoey, Pascal Poupart. 1332-1338 [doi]
- Optimal Nonmyopic Value of Information in Graphical Models - Efficient Algorithms and Theoretical LimitsAndreas Krause, Carlos Guestrin. 1339-1345 [doi]
- An MCMC Approach to Solving Hybrid Factored MDPsBranislav Kveton, Milos Hauskrecht. 1346-1351 [doi]
- BLOG: Probabilistic Models with Unknown ObjectsBrian Milch, Bhaskara Marthi, Stuart J. Russell, David Sontag, Daniel L. Ong, Andrey Kolobov. 1352-1359 [doi]
- Continuous Time Particle FilteringBrenda Ng, Avi Pfeffer, Richard Dearden. 1360-1365 [doi]
- Accurate and Low-cost Location Estimation Using KernelsJeffrey Junfeng Pan, James T. Kwok, Qiang Yang, Yiqiang Chen. 1366-1371 [doi]
- Algebraic Markov Decision ProcessesPatrice Perny, Olivier Spanjaard, Paul Weng. 1372-1377 [doi]
- Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic LogicRiccardo Rosati, Georg Gottlob. 1378-1383 [doi]
- Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic InferenceScott Sanner, David A. McAllester. 1384-1390 [doi]
- Probabilistic Reasoning with Hierarchically Structured VariablesRita Sharma, David Poole. 1391-1397 [doi]
- Self Adaptive Particle FilterAlvaro Soto. 1398-1406 [doi]
- Dynamically Constructed Bayes Nets for Multi-Domain Sketch UnderstandingChristine Alvarado, Randall Davis. 1407-1412 [doi]
- You Are Wrong! - Automatic Detection of Interaction Errors from Brain WavesPierre W. Ferrez, José del R. Millán. 1413-1418 [doi]
- A Live-User Evaluation of Collaborative Web SearchBarry Smyth, Evelyn Balfe, Oisín Boydell, Keith Bradley, Peter Briggs, Maurice Coyle, Jill Freyne. 1419-1424 [doi]
- Clinical-Reasoning Skill Acquisition through Intelligent Group TutoringSiriwan Suebnukarn, Peter Haddawy. 1425-1432 [doi]
- Learning Partially Observable Deterministic Action ModelsEyal Amir. 1433-1439 [doi]
- Learning Forward Models for RobotsAnthony M. Dearden, Yiannis Demiris. 1440-1445 [doi]
- Inferring Image Templates from Classification DecisionsArnab Dhua, Florin Cutzu. 1446-1451 [doi]
- Combining Structural Descriptions and Image-based Representations for Image, Object, and Scene RecognitionNicolas Do Huu, Williams Paquier, Raja Chatila. 1452-1457 [doi]
- Compound Effects of Top-down and Bottom-up Influences on Visual Attention During Action RecognitionBassam Khadhouri, Yiannis Demiris. 1458-1463 [doi]
- Collective AI: context awareness via communicationSergey Kornienko, Olga Kornienko, Paul Levi. 1464-1470 [doi]
- Relational Object Maps for Mobile RobotsBenson Limketkai, Lin Liao, Dieter Fox. 1471-1476 [doi]
- Maintaining Coherent Perceptual Information Using AnchoringAmy Loutfi, Silvia Coradeschi, Alessandro Saffiotti. 1477-1482 [doi]
- 2D Shape Classification and RetrievalGraham McNeill, Sethu Vijayakumar. 1483-1488 [doi]
- Efficient Distributed Hormone Graph GradientsEsben Hallundbæk Østergaard. 1489-1494 [doi]
- Building Patterned Structures with Robot SwarmsJustin Werfel, Yaneer Bar-Yam, Radhika Nagpal. 1495-1504 [doi]
- Motivated AgentsKathryn Kasmarik, William T. B. Uther, Mary Lou Maher. 1505-1506 [doi]
- Using AI and simulations to design and control space habitatsDavid Kortenkamp, Scott Bell. 1507-1508 [doi]
- A Universal Measure of Intelligence for Artificial AgentsShane Legg, Marcus Hutter. 1509-1510 [doi]
- It s About TimeNeil Madden, Brian Logan. 1511-1512 [doi]
- Automation Intelligence for the Smart EnvironmentG. Michael Youngblood, Edwin O. Heierman III, Lawrence B. Holder, Diane J. Cook. 1513-1514 [doi]
- Allocation and Scheduling for MPSoCs via decomposition and no-good generationLuca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano. 1517-1518 [doi]
- Minimizing a Makespan Under UncertaintyJérôme Fortin, Pawel Zielinski, Didier Dubois, Hélène Fargier. 1519-1520 [doi]
- Scaling up WA* with Commitment and DiversityDavid Furcy, Sven Koenig. 1521-1522 [doi]
- A Covering Problem for HypercubesJörg Hoffmann, Sebastian Kupferschmid. 1523-1524 [doi]
- Predicate-Oriented Isomorphism Elimination in Model FindingXiangxue Jia, Jian Zhang. 1525-1516 [doi]
- Maintaining Arc Consistency using Adaptive Domain OrderingChavalit Likitvivatanavong, Yuanlin Zhang, James Bowen, Eugene C. Freuder. 1527-1528 [doi]
- Combination of Local Search Strategies for Rotating Workforce Scheduling ProblemNysret Musliu. 1529-1530 [doi]
- Corrective Explanation for Interactive Constraint SatisfactionBarry O Sullivan, Barry O Callaghan, Eugene C. Freuder. 1531-1532 [doi]
- CSP Search with Responsibility Sets and KernelsIgor Razgon, Amnon Meisels. 1533-1534 [doi]
- Hypertree-decomposition via Branch-decompositionMarko Samer. 1535-1536 [doi]
- Improving Tree Decomposition Methods With Function FilteringMartí Sánchez, Javier Larrosa, Pedro Meseguer. 1537-1538 [doi]
- Streamlining Local Search for Spatially Balanced Latin SquaresCasey Smith, Carla P. Gomes, Cèsar Fernández. 1539-1540 [doi]
- Abduction with Hypotheses ConfirmationMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni. 1545-1546 [doi]
- A language for functional interpretation of model based simulationJonathan Bell, Neal Snooke, Chris Price. 1547-1548 [doi]
- A Non-monotonic Logic for Specifying and Querying PreferencesGuido Boella, Leendert W. N. van der Torre. 1549-1550 [doi]
- A Multidimensional Semantic Framework for Adaptive Hypermedia SystemsFrancesca Carmagnola, Federica Cena, Cristina Gena, Ilaria Torre. 1551-1552 [doi]
- Explaining Search ResultsMaurice Coyle, Barry Smyth. 1553-1555 [doi]
- A Cognitive Model of Visual Analogical Problem-Solving TransferJim Davies, Ashok K. Goel, Nancy J. Nersessian. 1556-1557 [doi]
- An Architecture for Proof Planning SystemsLouise A. Dennis. 1558-1559 [doi]
- Explaining preferences with argument positionsSylvie Doutre, Trevor J. M. Bench-Capon, Paul E. Dunne. 1560-1561 [doi]
- Heuristics for Hard ASP ProgramsWolfgang Faber, Nicola Leone, Francesco Ricca. 1562-1563 [doi]
- Incremental Diagnosis of Discrete-Event SystemsAlban Grastien, Marie-Odile Cordier, Christine Largouët. 1564-1665 [doi]
- Reflection Patterns for Interactive Knowledge CaptureJihie Kim. 1566-1567 [doi]
- A Unified Framework of Propositional Knowledge Base Revision and Update Based on State Transition ModelsYasuo Kudo, Tetsuya Murai. 1568-1569 [doi]
- Redesign Support Framework based on Hierarchical Multiple ModelsIvan López-Arévalo, A. Rodríguez-Martínez, Arantza Aldea, René Bañares-Alcántara, Laureano Jiménez. 1570-1571 [doi]
- Knowledge Based Approach for Mechanically Verifying Security ProtocolsXiaoqi Ma, Xiaochun Cheng, Rachel McCrindle. 1572-1573 [doi]
- Capturing and Reusing Case-Based Context for Image RetrievalDympna O Sullivan, Eoin McLoughlin, Michela Bertolotto, David C. Wilson. 1574-1576 [doi]
- Dependency Calculus Reasoning in a General Point Relation AlgebraMarco Ragni, Alexander Scivos. 1577-1578 [doi]
- Compact Propositional Encodings of First-Order TheoriesDeepak Ramachandran, Eyal Amir. 1579-1580 [doi]
- Computationally Grounded Model of BDI-AgentsKaile Su, Abdul Sattar, Kewen Wang, Guido Governatori. 1581-1582 [doi]
- The Ontology RevisionYu Sun, Yuefei Sui. 1583-1584 [doi]
- A CLP-Based, Diagnosticity-Driven System for Concept CombinationsGeorgios Tagalakis, Daniela Ferrari, Mark T. Keane. 1585-1586 [doi]
- Proof General / Eclipse: A Generic Interface for Interactive ProofDaniel Winterstein, David Aspinall, Christoph Lüth. 1587-1588 [doi]
- Using Learned Browsing Behavior Models to Recommend Relevant Web PagesTingshao Zhu, Russell Greiner, Gerald Häubl, Kevin Jewell, Robert Price. 1589-1590 [doi]
- A Study of Selection Noise in Collaborative Web SearchOisín Boydell, Barry Smyth, Cathal Gurrin, Alan F. Smeaton. 1595-1597 [doi]
- Image Retrieval and Disambiguation for Encyclopedic Web SearchAtsushi Fujii, Tetsuya Ishikawa. 1598-1599 [doi]
- Learning Complex Event Descriptions by AbstractionUgo Galassi, Attilio Giordana, Lorenza Saitta, Marco Botta. 1600-1601 [doi]
- Conditional Visuomotor Learning and Viability TheoryFadila Hadj-Bouziane, Hélène Frankowska, Martine Meunier, Driss Boussaoud. 1602-1603 [doi]
- fMRI Analysis via One-class Machine Learning TechniquesDavid R. Hardoon, Larry M. Manevitz. 1604-1605 [doi]
- Adaptive Support Vector Machine for Time-Varying Data Streams Using MartingaleShen-Shyang Ho, Harry Wechsler. 1606-1607 [doi]
- Automatic Hypertext Keyphrase DetectionDaniel Kelleher, Saturnino Luz. 1608-1609 [doi]
- Relational Learning for Email Task ManagementRinat Khoussainov, Nicholas Kushmerick. 1610-1612 [doi]
- A Fast Normalized Maximum Likelihood Algorithm for Multinomial DataPetri Kontkanen, Petri Myllymäki. 1613-1615 [doi]
- Using Neutral Examples for Learning PolarityMoshe Koppel, Jonathan Schler. 1616-1617 [doi]
- Transfer in Learning by DoingWilliam Krueger, Tim Oates, Tom Armstrong, Paul R. Cohen, Carole R. Beal. 1618-1619 [doi]
- Supervised Local Tangent Space Alignment for ClassificationHongYu Li, Wenbin Chen, I-Fan Shen. 1620-1621 [doi]
- Active Cost-Sensitive LearningDragos D. Margineantu. 1622-1613 [doi]
- Automatic learning of domain model for personalized hypermedia applicationsHermine Njike Fotzo, Thierry Artières, Patrick Gallinari, Julien Blanchard, Guillaume Letellier. 1624-1625 [doi]
- Kernels on Prolog Ground TermsAndrea Passerini, Paolo Frasconi. 1626-1627 [doi]
- A Learning Scheme for Generating Expressive Music Performances of Jazz StandardsRafael Ramirez, Amaury Hazan. 1628-1629 [doi]
- Incorporating a folding rule into inductive logic programmingDavid A. Rosenblueth. 1630-1631 [doi]
- Development of new techniques to improve Web searchDavid Sánchez, Antonio Moreno. 1632-1633 [doi]
- Intimate Learning: A Novel Approach for Combining Labelled and Unlabelled DataZhongmin Shi, Anoop Sarkar. 1634-1635 [doi]
- Collective Object IdentificationParag Singla, Pedro Domingos. 1636-1637 [doi]
- Question Classification by Structure InductionMenno van Zaanen, Luiz Augusto Sangoi Pizzato, Diego Mollá. 1638-1639 [doi]
- An Inductive Database for Mining Temporal Patterns in Event SequencesAlexandre Vautier, Marie-Odile Cordier, Rene Quiniou. 1640-1641 [doi]
- Discovering Time Differential Law Equations Containing Hidden State Variables and Chaotic DynamicsTakashi Washio, Fuminori Adachi, Hiroshi Motoda. 1642-1644 [doi]
- Learning Global Models Based on Distributed Data AbstractionsXiaofeng Zhang, William K. Cheung. 1645-1646 [doi]
- Language Learning in Multi-Agent SystemsMartin Allen, Claudia V. Goldman, Shlomo Zilberstein. 1649-1650 [doi]
- On the Evolution of Memory Size in the Minority Game (extended abstract)Ricardo Matsumura de Araújo, Luís C. Lamb. 1651-1652 [doi]
- Achieving Allocatively-Efficient and Strongly Budget-Balanced Mechanisms in the Network Flow Domain for Bounded-Rational AgentsYoram Bachrach, Jeffrey S. Rosenschein. 1653-1654 [doi]
- The Evolution of Artificial Social SystemsGuido Boella, Leendert W. N. van der Torre. 1655-1556 [doi]
- Fast convergence to satisfying distributionsTeddy Candale, Sandip Sen. 1657-1658 [doi]
- A rule language for modelling and monitoring social expectations in multi-agent systemsStephen Cranefield. 1659-1660 [doi]
- A Framework for Communication Planning on Mobile DevicesJoseph Kopena, William C. Regli. 1661-1662 [doi]
- Trust No One: Evaluating Trust-based Filtering for RecommendersJohn O Donovan, Barry Smyth. 1663-1665 [doi]
- Inter-Agent Communication: A Cost-Reduction Approach Using an Autonomous Mobile MailboxArmin Stranjak, Igor Cavrak, Mario Zagar. 1666-1667 [doi]
- Coalitional Games in Open Anonymous EnvironmentsMakoto Yokoo, Vincent Conitzer, Tuomas Sandholm, Naoki Ohta, Atsushi Iwasaki. 1668-1669 [doi]
- Value-Centric Trust Model with Improved Familiarity MeasurementJie Zhang, Ali A. Ghorbani. 1670-1671 [doi]
- Towards More Intelligent Mobile SearchKaren Church, Mark T. Keane, Barry Smyth. 1675-1676 [doi]
- An Inference Model for Semantic Entailment in Natural LanguageRodrigo de Salvo Braz, Roxana Girju, Vasin Punyakanok, Dan Roth, Mark Sammons. 1678-1679 [doi]
- Discovering Inconsistency through Examination DialoguesPaul E. Dunne, Sylvie Doutre, Trevor J. M. Bench-Capon. 1680-1681 [doi]
- A Probabilistic Lexical Approach to Textual EntailmentOren Glickman, Ido Dagan, Moshe Koppel. 1682-1683 [doi]
- Structural Representation and Matching of Articulatory Speech Structures based on the Evolving Transformation System (ETS) FormalismAlexander Gutkin, David Gay. 1684-1685 [doi]
- Sentence Extraction for Legal Text SummarisationBen Hachey, Claire Grover. 1686-1687 [doi]
- Fault-Tolerant Context-Based Interpretation of Mathematical FormulasHelmut Horacek, Magdalena Wolska. 1688-1691 [doi]
- MDL-based Acquisition of Substitutability Relationships between Discourse ConnectivesBen Hutchinson. 1690-1691 [doi]
- Can we assign attitudes to a computer based on its beeps? Toward an effective method for making humans empathize with artificial agentsTakanori Komatsu. 1692-1693 [doi]
- Correspondence-guided Synchronous Parsing of Parallel CorporaJonas Kuhn. 1694-1695 [doi]
- Naturalness of an Utterance Based on the Automatically Retrieved CommonsenseRafal Rzepka, Yali Ge, Kenji Araki. 1696-1697 [doi]
- Induction of Syntactic Collocation Patterns from Generic Syntactic RelationsVioleta Seretan. 1698-1699 [doi]
- Evaluating an NLG System using Post-EditingSomayajulu Sripada, Ehud Reiter, Lezan Hawizy. 1700-1701 [doi]
- Online Support System for Mediator EducationTakahiro Tanaka, Yoshiaki Yasumura, Daisuke Katagami, Katsumi Nitta. 1702-1703 [doi]
- Appropriate Microplanning Choices for Low-Skilled ReadersSandra Williams, Ehud Reiter. 1704-1705 [doi]
- Mixed-Initiative Activity Planning for Mars RoversJohn L. Bresina, Ari K. Jónsson, Paul H. Morris, Kanna Rajan. 1709-1710 [doi]
- Planning with graded fluents and actionsMarta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni. 1711-1712 [doi]
- Automated Adaptive Support for Task and Information PrioritizingTjerk de Greef, Peter-Paul van Maanen. 1713-1714 [doi]
- Planning for Weakly-Coupled Partially Observable Stochastic GamesAnyuan Guo, Victor R. Lesser. 1715-1716 [doi]
- Multi-Agent Assumption-Based PlanningDamien Pellier, Humbert Fiorino. 1717-1718 [doi]
- Open-World Planning for Story GenerationMark O. Riedl, R. Michael Young. 1719-1720 [doi]
- Disjunctive Temporal Planning with UncertaintyKristen Brent Venable, Neil Yorke-Smith. 1721-1722 [doi]
- Talking Robots: a Fully Autonomous Implementation of the Talking HeadsJean-Christophe Baillie, Matthieu Nottale. 1725-1726 [doi]
- An On-Line Time Warping Algorithm for Tracking Musical PerformancesSimon Dixon. 1727-1728 [doi]
- Path-Planning for Autonomous Training on Robot Manipulators in SpaceFroduald Kabanza, Roger Nkambou, Khaled Belghith. 1729-1731 [doi]
- Growth of Motor Coordination in Early Robot LearningMark H. Lee, Qinggang Meng. 1732-1733 [doi]
- Measuring the Cost of Robotic CommunicationAvi Rosenfeld, Gal A. Kaminka, Sarit Kraus. 1734-1735 [doi]
- An Heuristic Search based Approach for Moving Objects TrackingElena Sánchez-Nielsen, Mario Hernández-Tejera. 1736-1737 [doi]
- 3-D Interpretation of Single Line DrawingsKenji Shoji, Fubito Toyama, Juichi Miyamichi. 1738-1739 [doi]
- SVM-based Obstacles Recognition for Road Vehicle ApplicationsMiguel Ángel Sotelo, Jesús Nuevo, David Fernández, I. Parra, Luis Miguel Bergasa, Manuel Ocaña, Ramón Flores. 1740-1741 [doi]
- Detecting and locating faults in the control software of autonomous mobile robotsGerald Steinbauer, Franz Wotawa. 1742-1743 [doi]
- Learning discontinuities for switching between local modelsMarc Toussaint, Sethu Vijayakumar. 1744-1745 [doi]
- Model minimization by linear PSRMasoumeh T. Izadi, Doina Precup. 1749-1750 [doi]
- Using core beliefs for point-based value iterationMasoumeh T. Izadi, Ajit V. Rajwade, Doina Precup. 1751-1753 [doi]
- Approximating Pseudo-Boolean Functions on Non-Uniform DomainsRobert F. Lax, Guoli Ding, Peter P. Chen, Jianhua Chen. 1754-1755 [doi]
- A Modal Logic for Reasoning about Possibilistic Belief FusionChurn-Jung Liau, Tuan-Fang Fan. 1756-1757 [doi]
- Networked Distributed POMDPs: A Synergy of Distributed Constraint Optimization and POMDPsRanjit Nair, Pradeep Varakantham, Milind Tambe, Makoto Yokoo. 1758-1760 [doi]
- Coping with exceptions in multiclass ILP problems using possibilistic logicMathieu Serrurier, Henri Prade. 1761 [doi]
- What kind of graphical model is the brain?Geoffrey E. Hinton. 1765 [doi]