WorldCat Identities

Genesereth, Michael R. 1948-

Overview
Works: 45 works in 109 publications in 3 languages and 1,268 library holdings
Genres: Conference proceedings 
Roles: Thesis advisor, Editor
Classifications: Q335, 006.3
Publication Timeline
Key
Publications about  Michael R Genesereth Publications about Michael R Genesereth
Publications by  Michael R Genesereth Publications by Michael R Genesereth
Most widely held works by Michael R Genesereth
Logical foundations of artificial intelligence by Michael R Genesereth ( Book )
25 editions published between 1986 and 2012 in English and German and held by 676 WorldCat member libraries worldwide
Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic. The first section of the book introduces the logicist approach to AI--discussing the representation of declarative knowledge and featuring an introduction to the process of conceptualization, the syntax and semantics of predicate calculus, and the basics of other declar
Data integration the relational logic approach by Michael R Genesereth ( )
5 editions published between 2008 and 2010 in English and held by 184 WorldCat member libraries worldwide
Data integration is a critical problem in our increasingly interconnected but inevitably heterogeneous world. There are numerous data sources available in organizational databases and on public information systems like the World Wide Web. Not surprisingly, the sources often use different vocabularies and different data structures, being created, as they are, by different people, at different times, for different purposes. The goal of data integration is to provide programmatic and human users with integrated access to multiple, heterogeneous data sources, giving each user the illusion of a single, homogeneous database designed for his or her specific need. The good news is that, in many cases, the data integration process can be automated. This book is an introduction to the problem of data integration and a rigorous account of one of the leading approaches to solving this problem, viz., the relational logic approach. Relational logic provides a theoretical framework for discussing data integration. Moreover, in many important cases, it provides algorithms for solving the problem in a computationally practical way. In many respects, relational logic does for data integration what relational algebra did for database theory several decades ago. A companion web site provides interactive demonstrations of the algorithms
Introduction to logic by Michael R Genesereth ( )
8 editions published between 2012 and 2013 in English and held by 152 WorldCat member libraries worldwide
This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at the college level. However, it can also be used for advanced secondary school students, and it can be used at the start of graduate school for those who have not yet seen the material. The approach to teaching logic used here emerged from more than 20 years of teaching logic to students at Stanford University and from teaching logic to tens of thousands of others via online courses on the World Wide Web. The approach differs from that taken by other books in logic in two essential ways, one having to do with content, the other with form. Like many other books on logic, this one covers logical syntax and semantics and proof theory plus induction. However, unlike other books, this book begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand and leaves them with a deeper understanding of what logic is all about
General game playing by Michael R Genesereth ( )
3 editions published in 2014 in English and held by 80 WorldCat member libraries worldwide
General game players are computer systems able to play strategy games based solely on formal game descriptions supplied at runtime. (In other words, they don't know the rules until the game starts.) Unlike specialized game players, such as Deep Blue, general game players cannot rely on algorithms designed in advance for specific games; they must discover such algorithms themselves. General game playing expertise depends on intelligence on the part of the game player and not just intelligence of the programmer of the game player. GGP is an interesting application in its own right. It is intellectually engaging and more than a little fun. But it is much more than that. It provides a theoretical framework for modeling discrete dynamic systems and defining rationality in a way that takes into account problem representation and complexities like incompleteness of information and resource bounds. It has practical applications in areas where these features are important, e.g., in business and law. More fundamentally, it raises questions about the nature of intelligence and serves as a laboratory in which to evaluate competing approaches to artificial intelligence. This book is an elementary introduction to General Game Playing (GGP). (1) It presents the theory of General Game Playing and leading GGP technologies. (2) It shows how to create GGP programs capable of competing against other programs and humans. (3) It offers a glimpse of some of the real-world applications of General Game Playing
Logische Grundlagen der künstlichen Intelligenz by Michael R Genesereth ( Book )
1 edition published in 1989 in German and held by 76 WorldCat member libraries worldwide
Deals among rational agents by Jeffrey S Rosenschein ( Book )
4 editions published between 1984 and 1985 in English and Undetermined and held by 9 WorldCat member libraries worldwide
A formal framework is presented that models communication and promises in multi-agent interactions. This framework generalizes previous work on cooperation without communication, and shows the ability of communication to resolve conflicts among agents having disparate goals. Using a deal-making mechanism, agents are able to coordinate and cooperate more easily than in the communication-free model. In addition, there are certain types of interactions where communication makes possible mutually beneficial activity that is otherwise impossible to coordinate. Additional keywords: artificial intelligence; game theory; theorems; mathematical models. (Author)
Proceedings for the Sixth International World Wide Web Conference : April 7-11, 1997, Santa Clara, California by International WWW Conference ( Book )
1 edition published in 1997 in English and held by 8 WorldCat member libraries worldwide
Expressiveness and language choice by Jock D Mackinlay ( Book )
4 editions published in 1985 in English and held by 7 WorldCat member libraries worldwide
Specialized languages are often more appropriate than general languages for expressing certain information. However, specialized languages must be chosen carefully because they do not allow sets of facts to be stated. This paper considers the problems associated with choosing among specialized languages. Methods are presented for determining that a set of facts is expressible in a language, for identifying when additional facts are stated accidentally, and for choosing among languages that can express a set of facts. This research is being used to build a system that automatically chooses an appropriate graphical language to present a given set of facts
Controlling recursive inference by David F Smith ( Book )
3 editions published in 1985 in English and held by 7 WorldCat member libraries worldwide
RESIDUE : a deductive approach to design synthesis by Joseph Jeffrey Finger ( Book )
4 editions published in 1985 in English and Undetermined and held by 7 WorldCat member libraries worldwide
Solving the Prisoner's dilemma by Michael R Genesereth ( Book )
5 editions published in 1984 in English and Undetermined and held by 6 WorldCat member libraries worldwide
A framework is proposed for analyzing various types of rational interaction. We consider a variety of restrictions on participants' moves; each leads to a different characterization of rational behavior. Under an assumption of common rationality, it is proven that participants will cooperate, rather than defect, in the Prisoner's Dilemma. We will follow the usual convention of representing a game as a payoff matrix. This is a unified framework for considering various types of interactions that occur without communication. Using assumptions about what types of moves other agents will make, a participant is able to reason about what constitutes rational behavior on its own part. Several of the characterizations of rationality have parallels in existing game theory literature, and lead to familiar results such as case analysis and iterated case analysis
Jinkō chinō kisoron ( Book )
2 editions published in 1993 in Japanese and held by 4 WorldCat member libraries worldwide
Partial programs by Michael R Genesereth ( Book )
3 editions published in 1984 in English and held by 4 WorldCat member libraries worldwide
Fundamentals of artificial intelligence : Engineering 874, a five day short course, April 30-May 4, 1984 : lecture notes ( Book )
1 edition published in 1984 in English and held by 3 WorldCat member libraries worldwide
The role of plans in intelligent teaching systems by Michael R Genesereth ( Book )
2 editions published in 1980 in English and held by 3 WorldCat member libraries worldwide
Extensional reasoning by Timothy L Hinrichs ( Book )
2 editions published in 2007 in English and held by 3 WorldCat member libraries worldwide
Intelligent privacy management : papers from the AAAI Spring Symposium by AAAI Spring Symposium ( Book )
1 edition published in 2010 in English and held by 3 WorldCat member libraries worldwide
Logic programming by Michael R Genesereth ( Book )
2 editions published in 1985 in English and held by 2 WorldCat member libraries worldwide
World Wide Web conference : papers by International World Wide Web Conference ( Book )
1 edition published in 1997 in English and held by 2 WorldCat member libraries worldwide
World-Wide Web conference 97 - WWW6 : proceedings by International World Wide Web Conference ( Book )
1 edition published in 1997 in English and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.00 for World Wide ... to 0.92 for Intelligen ...)
Alternative Names
Genesereth, Michael 1948-
Languages
English (71)
German (2)
Japanese (2)
Covers