Michael Genesereth's AcademicInfluence.com Rankings Michael Genesereth's Degrees Similar Degrees You Can Earn Why Is Michael Genesereth Influential? (Suggest an Edit or Addition)
According to Wikipedia , Michael Genesereth is an American logician and computer scientist, who is most known for his work on computational logic and applications of that work in enterprise management, computational law, and general game playing. Genesereth is professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School. His 1987 textbook on Logical Foundations of Artificial Intelligence remains one of the key references on symbolic artificial intelligence. He is the author of the influential Game Description Language and Knowledge Interchange Format , the latter of which led to the ISO Common Logic standard.
(See a Problem?) Michael Genesereth's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
1880 1890 1900 1910 1920 1930 1940 1950 1960 1970 1980 1990 2000 2010 2020 0 250 500 750 1000 1250 1500 1750 2000 2250 2500 2750 3000 Published Works Software agents (1994) Logical foundations of artificial intelligence (1987) Knowledge Interchange Format Version 3.0 Reference Manual (1992) (1238)Knowledge Interchange Format (1991) (680)PACT: an experiment in integrating concurrent engineering systems (1993) The Use of Design Descriptions in Automated Diagnosis (1984) Introduction to Logic (2012) General Game Playing: Overview of the AAAI Competition (2005) Infomaster: an information integration system (1997) The Conceptual Basis for Mediation Services (1997) Deals Among Rational Agents (1985) Answering recursive queries using views (1997) Cooperation without Communication (1986) Recursive Query Plans for Data Integration (2000) Query planning in infomaster (1997) Diagnosis Using Hierarchical Design Models (1982) (122)Ordering Conjunctive Queries (1985) An agent-based framework for interoperability (1997) (109)An Overview of Meta-Level Architecture (1983) (109)A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation (1995) The Relevance of Irrelevance (1987) (78)Logic programming (1985) Controlling Recursive Inference (1986) The Basis for Mediation (1995) (62)Mobile robot obstacle avoidance via depth from focus (1997) The International General Game Playing Competition (2013) Time-Saving Tips for Problem Solving with Incomplete Information (1993) (51)PrediCalc: a logical spreadsheet management system (2005) Infomaster - An Information Integration Tool (1997) (50)RESIDUE: a deductive approach to design synthesis (1985) (47)Metaphors and Models (1980) (44)Assumptive planning and execution: A simple, working robot architecture (1996) The Role of Plans in Automated Consultation (1979) (35)Infomaster: a virtual information system (1995) (32)Multivendor Catalogs: Smart Catalogs and Virtual Catalogs (1998) (31)The Federation Architecture for Interoperable Agent-based Concurrent Engineering Systems (1994) Computational law (2005) Expressiveness and Language Choice (1985) Linearly Bounded Reformulations of Conjunctive Databases (2000) A Knowledge Sharing Approach to Software Interoperation (1994) (25)Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems (2008) Factoring General Games using Propositional Automata (2009) (23)Using Infomaster to Create a Housewares Virtual Catalog (1997) Query Planning with Disjunctive Sources (1998) (20)Automated concurrent engineering in Designworld (1993) Data Integration: The Relational Logic Approach (2010) Semantic Email Addressing: The Semantic Web Killer App? (2009) Herbrand Logic (2006) (18)Adding AI to Web Services (2003) Obstacle Avoidance Via Depth From Focus (1998) (17)Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving (1994) (16)The acquisition, verification, and explanation of design knowledge (1989) What's New? A Semantic Definition of Novelty (1983) (14)A Variable Supply Model for Distributing Deductions (1985) (13)Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents (1994) (13)An Automated Consultant for MACSYMA (1977) (13)Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases (2009) (12)FCDA: A framework for collaborative distributed multidisciplinary design (1993) (11)A Framework for Collaborative Distributed Facility Engineering (1994) (11)Development of Multi-Institutional Testbed for Collaborative Facility Engineering Infrastructure (1995) (11)Solving the Prisoner''s Dilemma (1984) (10)Expressiveness of Languages (1984) (9)Partial Programs (1991) (9)Facilitators: A Networked Computing Infrastructure for Distributed Software Interoperation (1995) (8)Knowledge Graphs: Introduction, History and, Perspectives (2022) Agent-based framework for integrated facility engineering (1993) The difficulties of using MACSYMA and the function of user aids (1977) (7)DART: Expert systems for automated computer fault diagnosis (1981) Semantic Email Addressing: Sending Email to People, Not Strings (2006) (6)Incrementally maintaining run-length encoded attributes in column stores (2012) Semantics for Smart Services (2011) Agent-Based Technology for Facility Design Software Integration (1993) (6)Incremental Maintenance of Aggregate Views (2014) Representational complexity in law (2007) A Name-Space Context Graph for Multi-Context, Multi-Agent Systems (1995) (6)Concurrent Engineering Through Interoperable Software Agents (1994) (6)Linearly Bounded Reformulations of Unary Databases (2000) Semantic Email Addressing: Sending to People, Not Strings (2006) (5)Intelligent Web Services (2009) (5)Reformulating Aggregate Queries Using Views (2013) (5)Formalizing Context (expanded Notes) the Development of These Ideas Has Beneetted from Discussions With (1997) (5)Aggregation in Datalog Under Set Semantics (2012) (5)Intelligent-Agent Architecture (1987) The Architecture of a Multiple Representation System (Draft). (MRS) (1981) (4)Extraction and integration of web data by end-users (2013) Equivalence of SQL queries in presence of embedded dependencies (2008) The Herbrand Manifesto - Thinking Inside the Box (2015) From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group (1993) Rule-Based Exploration of Structured Data in the Browser (2015) Database Reformulation with Integrity Constraints (extended abstract) (2005) (3)State and Change (1987) Reasoning with Uncertain Beliefs (1987) CHAPTER 2 – Declarative Knowledge (1987) Canonicity in rule systems (1979) Introduction to Logic, Second Edition (2013) Epikit: a library of subroutines supporting declarative representations and reasoning (1991) "Intelligent Agents in Distributed Systems" (1995) Choosing directions for rules (1986) Paraconsistent Inference from Data Using Existential Omega-Entailment (2011) McCarthy's Idea (1996) Axiom Schemata as Metalevel Axioms: Model Theory (2005) (1)Selected papers from the sixth international conference on World Wide Web (1997) (1)Reformulation for Extensional Reasoning (2007) CHAPTER 6 – Nonmonotonic Reasoning (1987) Injecting the How into the What: Investigating a Finite Classical Logic (2008) (1)Intelligent privacy management : papers from the AAAI Spring Symposium (2010) (1)Introduction to Logic Programming (2020) A NameSpace Context Graph for Multi-Context , Multi-Agent Systems (2001) (1)Smart Forms (2016) (1)The Markov Reformulation Theorem (2011) (1)Logical Spreadsheets (2010) Query rewriting with filtering constraints (2011) (1)Metaknowledge and Metareasoning (1987) Addressing : Sending Email to People , Not Strings (2006) (1)Update Policies (2016) Single-phase agreements among rational agents (1993) Bibliography External Interfaces Working Group Arpa Knowledge Sharing Effort. Kqml Overview. Working Paper, 1992. External Interfaces Working Group Arpa Knowledge Sharing Effort. Specification of the Kqml Agent-communication Language. Working Paper, December 1992. Force Module Selection Force Planne (1980) (0)Object-Oriented Constraint Satisfaction ∗ (2005) (0)Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence Table of Contents (2012) (0)Research on Introspective Systems. (1984) (0)Agent-Based Framework for Concurrent Engineering Software (2007) (0)AAAI-86: Experimenting with a New Conference Format (1985) CHAPTER 12 – Planning (1987) CHAPTER 3 – Inference (1987) The Semantic Web Killer App ? (2008) (0)Diagnosis Using Ilierarchical Design Models (1982) (0)The Development of Representation Methods to Facilitate Knowledge Acquisition and Exposition in Expert Systems. (1981) (0)Intelligent Agents in Distributed Systems (Panel). (1995) (0)rogressive Negotiation Ong istri Heterogeneous Cooperating Agents (1994) (0)Database Reformulation (2007) (0)Deep Web Annotation Using Goal-Oriented Special Purpose Ontologies (Position Paper) (2009) (0)Data Integration (2010) 2 nd Global Conference on Artificial Intelligence Invariant Projections in Games (2016) (0)CHAPTER 7 – Induction (1987) Reports of the AAAI 2010 Spring Symposia (2010) Extract Phase GDL Game Description Game Visualization Game concepts boards , peices , board graph , mobility Render Phase (2016) (0)Dexter: Plugging-n-Playing with Data Sources in Your Browser (2014) (0)Invariant Projections in Games (2016) 0 Designworld : an automated engineering system (2007) (0)CHAPTER 4 – Resolution (1987) Transfer Learning Level Definitions (2007) (0)Stanford Heuristic Programming Project Report No . HPP 844 Expressiveness and Language Choice (1998) (0)AI amusements: computer elected governor of California Corpus Legis trounces human opponents in state election (2018) Optimal CQ Reformulation is NP-Hard (2018) (0)A Practical Algorithm for Reformulation of Deductive Databases (2018) (0)An Incremental Algorithm to Optimally Maintain Aggregate Views (2013) Query Rewriting for Answers with Consistent Support (2009) (0)Intelligent Assistance for Complex Systems (1982) Solution Consistency and Convergence in Cooperative Distributed Problem Solving (2002) (0)A New Method for Incremental Consequence-Finding (2011) (0)Knowledge and Belief (1987) Introduction to Logic, Third Edition (2016) CHAPTER 5 – Resolution Strategies (1987) US 8 , 396 , 856 B 2 Page 3 (2017) (0)Reviews and Response (2002) (0)SARA 2013 Organization (2013) (0)Practical Reformulation of Deductive Databases (2019) Object-Oriented Constraint Satisfaction Problems 1 (2006) (0)MRS Manual. Multiple Representation System (1981) (0)Study : Creating a Dataweb of FinancialService Data Using (1998) (0)Automatic Web Form Construction via Compilation of Paraconsistent Entailment to Relational Databases (2010) (0)Expressiveness of Languages1 (1984) (0)More Papers This paper list is powered by the following services:
Other Resources About Michael Genesereth What Schools Are Affiliated With Michael Genesereth? Michael Genesereth is affiliated with the following schools:
