Automatic scoring of short handwritten essays in reading comprehension testsSRIHARI, Sargur; COLLINS, Jim; SRIHARI, Rohini et al.Artificial intelligence. 2008, Vol 172, Num 2-3, pp 300-324, issn 0004-3702, 25 p.Article

On propositional definabilityLANG, Jérome; MARQUIS, Pierre.Artificial intelligence. 2008, Vol 172, Num 8-9, pp 991-1017, issn 0004-3702, 27 p.Article

Representation of occurrences for road vehicle trafficGERBER, R; NAGEL, H.-H.Artificial intelligence. 2008, Vol 172, Num 4-5, pp 351-391, issn 0004-3702, 41 p.Article

Robust artificial life via artificial programmed deathOLSEN, M. M; SIEGELMANN-DANIELI, N; SIEGELMANN, H. T et al.Artificial intelligence. 2008, Vol 172, Num 6-7, pp 884-898, issn 0004-3702, 15 p.Article

Speculative plan execution for information gatheringBARISH, Greg; KNOBLOCK, Craig A.Artificial intelligence. 2008, Vol 172, Num 4-5, pp 413-453, issn 0004-3702, 41 p.Article

The model evolution calculus as a first-order DPLL methodBAUMGARTNER, Peter; TINELLI, Cesare.Artificial intelligence. 2008, Vol 172, Num 4-5, pp 591-632, issn 0004-3702, 42 p.Article

A note on Trillas' CHC modelsDAOWEN QIU.Artificial intelligence. 2007, Vol 171, Num 4, pp 239-254, issn 0004-3702, 16 p.Article

A representation theorem for minmax regret policiesSANJIANG LI.Artificial intelligence. 2007, Vol 171, Num 1, pp 19-24, issn 0004-3702, 6 p.Article

Inductive situation calculusDENECKER, Marc; TEMOVSKA, Eugenia.Artificial intelligence. 2007, Vol 171, Num 5-6, pp 332-360, issn 0004-3702, 29 p.Article

Learning and inferring transportation routinesLIN LIAO; PATTERSON, Donald J; FOX et al.Artificial intelligence. 2007, Vol 171, Num 5-6, pp 311-331, issn 0004-3702, 21 p.Article

Bounded model checking for knowledge and real timeLOMUSCIO, Alessio; PENEZEK, Wojciech; WOINA, Bozena et al.Artificial intelligence. 2007, Vol 171, Num 16-17, pp 1011-1038, issn 0004-3702, 28 p.Article

Exploiting functional dependencies in declarative problem specificationsMANCINI, Toni; CADOLI, Marco.Artificial intelligence. 2007, Vol 171, Num 16-17, pp 985-1010, issn 0004-3702, 26 p.Article

From here to human-level AIMCCARTHY, John.Artificial intelligence. 2007, Vol 171, Num 18, pp 1174-1182, issn 0004-3702, 9 p.Article

Learning equilibrium as a generalization of learning to optimizeMONDERER, Dov; TENNENHOLTZ, Moshe.Artificial intelligence. 2007, Vol 171, Num 7, pp 448-452, issn 0004-3702, 5 p.Article

Argument based machine learningMOGINA, Martin; ZABKAR, Jure; BRATKO, Ivan et al.Artificial intelligence. 2007, Vol 171, Num 10-15, pp 922-937, issn 0004-3702, 16 p.Article

Constraint-based optimization and utility elicitation using the minimax decision criterionBOUTILIER, Craig; PATRASCU, Relu; POUPART, Pascal et al.Artificial intelligence. 2006, Vol 170, Num 8-9, pp 686-713, issn 0004-3702, 28 p.Article

Cut-and-solve : An iterative search strategy for combinatorial optimization problemsCLIMER, Sharlee; WEIXIONG ZHANG.Artificial intelligence. 2006, Vol 170, Num 8-9, pp 714-738, issn 0004-3702, 25 p.Article

Finding optimal satisficing strategies for and-or treesGREINER, Russell; HAYWARD, Ryan; JANKOWSKA, Magdalena et al.Artificial intelligence. 2006, Vol 170, Num 1, pp 19-58, issn 0004-3702, 40 p.Article

On the incompatibility of faithfulness and monotone DAG faithfulnessCHICKERING, David Maxwell; MEEK, Christopher.Artificial intelligence. 2006, Vol 170, Num 8-9, pp 653-666, issn 0004-3702, 14 p.Article

Planning as satisfiability : Parallel plans and algorithms for plan searchRINTANEN, Jussi; HELJANKO, Keijo; NIEMELÄ, Ilkka et al.Artificial intelligence. 2006, Vol 170, Num 12-13, pp 1031-1080, issn 0004-3702, 50 p.Article

Solving logic program conflict through strong and weak forgettingsYAN ZHANG; FOO, Norman Y.Artificial intelligence. 2006, Vol 170, Num 8-9, pp 739-778, issn 0004-3702, 40 p.Article

Strong planning under partial observabilityBERTOLI, Piergiorgio; CIMATTI, Alessandro; ROVERI, Marco et al.Artificial intelligence. 2006, Vol 170, Num 4-5, pp 337-384, issn 0004-3702, 48 p.Article

Controlled generation of hard and easy Bayesian networks : Impact on maximal clique size in tree clusteringMENGSHOEL, Ole J; WILKINS, David C; ROTH, Dan et al.Artificial intelligence. 2006, Vol 170, Num 16-17, pp 1137-1174, issn 0004-3702, 38 p.Article

Learning adaptation knowledge to improve case-based reasoningCRAW, Susan; WIRATUNGA, Nirmalie; ROWE, Ray C et al.Artificial intelligence. 2006, Vol 170, Num 16-17, pp 1175-1192, issn 0004-3702, 18 p.Article

Shifting viewpoints : Artificial intelligence and human-computer interactionWINOGRAD, Terry.Artificial intelligence. 2006, Vol 170, Num 18, pp 1256-1258, issn 0004-3702, 3 p.Article