WorldCat Identities

Genesereth, Michael R. 1948-

Overview
Works: 62 works in 190 publications in 3 languages and 1,724 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Thesis advisor, Other
Publication Timeline
.
Most widely held works by Michael R Genesereth
Logical foundations of artificial intelligence by Michael R Genesereth( Book )

33 editions published between 1986 and 2012 in English and German and held by 683 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
Logische Grundlagen der künstlichen Intelligenz by Michael R Genesereth( Book )

4 editions published in 1989 in German and held by 81 WorldCat member libraries worldwide

Data integration : the relational logic approach by Michael R Genesereth( Book )

10 editions published between 2008 and 2010 in English and held by 57 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"--Source inconnue
Introduction to logic by Michael R Genesereth( Book )

18 editions published between 2012 and 2017 in English and Undetermined and held by 32 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 hav
General game playing by Michael R Genesereth( Book )

7 editions published between 2013 and 2014 in English and held by 20 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 for 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
Deals among rational agents by Jeffrey S Rosenschein( Book )

6 editions published between 1984 and 1985 in English and Undetermined and held by 11 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 )

3 editions published in 1997 in English and held by 10 WorldCat member libraries worldwide

Controlling recursive inference by David E Smith( Book )

6 editions published in 1985 in English and Undetermined and held by 10 WorldCat member libraries worldwide

Loosely speaking, recursive inference is when an inference procedure generates an infinite sequence of similar subgoals. In general the control of recursive inference involves demonstrating that recursive portions of a search space will not contribute any new answers to the problem beyond a certain level. We first review a well known syntactic method for controlling repeating inference (inference where the conjuncts processed are instances of the ancestors), provide a proof that it is correct, and discuss the conditions under which the strategy is optimal. We also derive more powerful pruning theorems for cases involving transitivity axioms and cases involving subsumed subgoals. The treatment of repeating inference is followed by consideration of the more difficult problem of recursive inference that does not repeat. Here we show how knowledge of the properties of the relations involved and knowledge about the contents of the system's database can be used to prove that portions of a search space will not contribute any new answers
Solving the Prisoner's dilemma by Michael R Genesereth( Book )

8 editions published in 1984 in English and Undetermined and held by 9 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
Expressiveness and language choice by Jock D Mackinlay( Book )

6 editions published in 1985 in English and held by 9 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
RESIDUE : a deductive approach to design synthesis by Joseph Jeffrey Finger( Book )

5 editions published in 1985 in English and Undetermined and held by 8 WorldCat member libraries worldwide

Intelligent privacy management : papers from the AAAI Spring Symposium by AAAI Spring Symposium( Book )

2 editions published in 2010 in English and held by 5 WorldCat member libraries worldwide

Automated consultation for complex computer systems by Michael R Genesereth( Book )

5 editions published between 1978 and 1979 in English and Undetermined and held by 5 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

The role of plans in intelligent teaching systems by Michael R Genesereth( Book )

3 editions published in 1980 in English and held by 4 WorldCat member libraries worldwide

Jinkō chinō kisoron( Book )

2 editions published in 1993 in Japanese and held by 4 WorldCat member libraries worldwide

Extensional reasoning by Timothy L Hinrichs( Book )

2 editions published in 2007 in English and held by 4 WorldCat member libraries worldwide

MRS manual by Michael R Genesereth( Book )

5 editions published in 1981 in English and Undetermined and held by 3 WorldCat member libraries worldwide

MRS is a knowledge representation system intended for use by AI researchers in building expert systems. It offers a diverse repertory of commands for asserting and retrieving information, with various inference techniques (e.g. backward and forward chaining) and various search strategies (e.g. depth-first, breadth-first, and best-first search). The initial system includes a vocabulary of concepts and facts about logic, sets, mappings, arithmetic, and procedures. Additional plug-in modules are available to handle contexts, default reasoning, and truth maintenance. There is a rudimentary compiler to eliminate needless meta-level processing and a meta-level consistency checker to protect the user from fata errors in making system modifications. (Author)
Communication and cooperation by Jeffrey S Rosenschein( Book )

3 editions published in 1984 in English and held by 3 WorldCat member libraries worldwide

The use of design descriptions in automated diagnosis by Michael R Genesereth( Book )

3 editions published in 1984 in English and held by 3 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.62 (from 0.53 for General ga ... to 0.92 for MRS manual ...)

Logical foundations of artificial intelligence
Alternative Names
Genesereth, M. R.

Genesereth, Michael.

Genesereth, Michael 1948-

Languages
English (119)

German (5)

Japanese (2)

Covers
Data integration : the relational logic approach