Results 281 to 290 of about 114,749 (312)
Some of the next articles are maybe not open access.
Variations on backtracking for TMS
2006 We review the backtracking technique of Doyle's Truth Maintenance System (TMS). Backtracking in principle is to recover from a failure state by retracting some assumptions. We discuss three possible applications for the TMS: (1) Transforming a contradiction proof into a direct proof if a false-node is labelled with In.openaire +1 more sourceTMS
2010 Marc Turiault, Caroline Cohen, Guy Griebel, David E. Nichols, Britta Hahn, Gary Remington, Ronald F. Mucha, Emma Childs, Darren R. Christensen, Warren K. Bickel, Darren R. Christensen, Warren K. Bickel, Andrea Bari, Rosa M. M. de Almeida, Klaus A. Miczek, Sheldon Preskorn, Megan M. Dahmen, Janka Lincoln, Emma Childs, Tomasz Schneider, Pierre Baumann, Britta Hahn, W. Wolfgang Fleischhacker, W. Wolfgang Fleischhacker, W. Wolfgang Fleischhacker, Trevor W. Robbins, Emma Childs, Lawrence Scahill, Lawrence Scahill, Lawrence Scahill, Lawrence Scahill, Ben J. Harrison, Christos Pantelis, Warren H. Meck, Catalin V. Buhusi, Catalin V. Buhusi, Warren H. Meck, Warren H. Meck, Catalin V. Buhusi, Seiya Miyamoto, Harriet de Wit, David C. S. Roberts, Robert L. Balster, Robert Kessler, Ronald L. Cowan, Johannes Mosbacher, Emma Childs, Sara Tomlinson, Glen B. Baker, Sara Tomlinson, Glen B. Baker, Mark Slifstein, Suzanne H. Mitchell, Harriet de Wit, Tara L. White, Richard A. Depue, Martine Cador, Lawrence H. Price, Jean-Michel Scherrmann, Etienne Sibille, Nicole Edgar, Christof Baltes, Thomas Mueggler, Markus Rudin, Thomas Steckler, Josee E. Leysen, Stephen M. Stahl, Meghan M. Grady, Klaus A. Miczek, Joseph Zohar, Klaus A. Miczek, Linda Lundström, Silvia Gatti McArthur, Will Spooren, Gary Remington, Ashwini Padhi, Naomi A. Fineberg, Josee E. Leysen, Emma Childs, Robert L. Balster, Subhash C. Pandey, Michael H. Bloch, Sidney H. Kennedy, Sakina J. Rizvi, Clemens Kirschbaum, W. Wolfgang Fleischhacker, Harriet de Wit, Theodora Duka, David S. Middlemas, David B. Bylund, A. Claudio Cuello, David E. Nichols, Lawrence H. Price, Simon N. Young, Peter Verhaert, Per Svenningsson, Per E. Andrén, Tiffany Thomas, Robert L. Findling +98 moreopenaire +1 more source