Symbolic and Quantitative Approaches to Reasoning with Uncertainty c - Liu, Weiru; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Computer Communication Networks; Logic design; Information storage and retrieval systems; Information systems; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Information Systems Applications (incl.Internet).; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Information Storage and Retrieval; Computer Communication Networks