WorldCat Identities

Genesereth, Michael R. 1948-

Overview
Works: 26 works in 64 publications in 3 languages and 1,099 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 )
23 editions published between 1986 and 1990 in English and German and held by 736 WorldCat member libraries worldwide
Data integration the relational logic approach by Michael R Genesereth ( )
5 editions published between 2008 and 2010 in English and held by 177 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 ( )
7 editions published between 2012 and 2013 in English and held by 140 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
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 MacKinlay ( Book )
2 editions published in 1985 in English and held by 5 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 )
2 editions published in 1985 in English and held by 5 WorldCat member libraries worldwide
Jinkō chinō kisoron ( Book )
2 editions published in 1993 in Japanese and held by 3 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
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
The role of plans in intelligent teaching systems by Michael R Genesereth ( Book )
1 edition published in 1980 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
Extensional reasoning by Timothy L Hinrichs ( )
2 editions published in 2007 in English and held by 2 WorldCat member libraries worldwide
The MRS casebook ( Book )
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
Logical spreadsheets by Michael Adam Kassoff ( )
1 edition published in 2011 in English and held by 1 WorldCat member library worldwide
Computerized spreadsheets are tremendously popular and useful. Despite their success, computerized spreadsheet systems today have significant and unnecessary restrictions that limit their usefulness. One significant restriction is that the formulas used to specify calculations must be functions. Another unnecessary restriction is that propagation can only occur in one direction. We can lift these restrictions, allowing for many-to-many logical constraints and multidirectional propagation. We call such a spreadsheet a logical spreadsheet. We allow for inconsistency between the constraints of the spreadsheet. To allow for the consequences of the spreadsheet to be shown, we create a new paraconsistent entailment relation and show how it can be computed. We discuss the issues involved in updating a logical spreadsheet, and design a family of domain-independent update operators for updating logical spreadsheets. To allow for domain-dependent behavior, we design a logic called Markov Change Logic that can be used to express update policies for spreadsheets. The design of Markov Change Logic is motivated in part by an analysis of dynamic database constraints, in which we prove that all database constraints can be reduced to Markov dynamic constraints if the schema may be reformulated. We describe the implementation of a logical spreadsheet engine called Webcell which can be used to turn Web pages into logical spreadsheets, and discuss its application to the Stanford Computer Science Master's Program Sheets
The use of design descriptions in automated diagnosis by Michael R Genesereth ( Book )
1 edition published in 1984 in English and held by 1 WorldCat member library worldwide
An overview of MRS for AI experts by Michael R Genesereth ( Book )
1 edition published in 1984 in English and held by 1 WorldCat member library worldwide
Logical Foundations of AI : Sixth National Conference on Artificial Intelligence, Conference Tutorial Program, July, 1987 by Michael R Genesereth ( Book )
1 edition published in 1987 in English and held by 1 WorldCat member library worldwide
Deals among rational agents by Jeffrey S Rosenschein ( Book )
1 edition published in 1985 in English and held by 1 WorldCat member library 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)
The MRS dictionary ( Book )
1 edition published in 1984 in English and held by 1 WorldCat member library worldwide
Communication and cooperation by Jeffrey S Rosenschein ( Book )
1 edition published in 1984 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.47 for Proceeding ... to 1.00 for Intelligen ...)
Alternative Names
Genesereth, Michael 1948-
Languages
English (54)
Japanese (2)
German (1)
Covers