Michael R. Genesereth

105 papers A* 23A 3B 2C 4Misc 1Journal 32Unranked 27

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Community-driven vision for a new Knowledge Resource for AI. CoRR Vinay K. Chaudhri, Chaitan Baru, Brandon Bennett, Mehul Bhatt, Darion Cassel, Anthony G. Cohn, Rina Dechter, Esra Erdem, David A. Ferrucci, Kenneth D. Forbus, Gregory Gelfond, Michael R. Genesereth, Andrew S. Gordon, Benjamin N. Grosof, Gopal Gupta, Jim Hendler, Sharat Israni, Tyler R. Josephson, Patrick C. Kyllonen, Yuliya Lierler, Vladimir Lifschitz, Clifton James McFate, Hande K. McGinty, Leora Morgenstern, Alessandro Oltramari, Praveen K. Paritosh, Dan Roth, Blake Shepard, Cogan Shimizu, Denny Vrandecic, Mark Whiting, Michael Witbrock
2025	J	`jnl`	A community-driven vision for a new knowledge resource for AI. AI Mag. Vinay K. Chaudhri, Chaitan Baru, Brandon Bennett, Mehul Bhatt, Darion Cassel, Anthony G. Cohn, Rina Dechter, Esra Erdem, David A. Ferrucci, Kenneth D. Forbus, Gregory Gelfond, Michael R. Genesereth, Andrew S. Gordon, Benjamin N. Grosof, Gopal Gupta, Jim Hendler, Sharat Israni, Tyler R. Josephson, Patrick C. Kyllonen, Yuliya Lierler, Vladimir Lifschitz, Clifton James McFate, Hande K. McGinty, Leora Morgenstern, Alessandro Oltramari, Praveen K. Paritosh, Dan Roth, Blake Shepard, Cogan Shimizu, Denny Vrandecic, Mark Whiting, Michael Witbrock
2024	—	`conf`	General Game Playing - Killer App for Logic Programming. ICLP Workshops Michael R. Genesereth
2023	—	`ch.`	Dynamic Logic Programming. Prolog: The Next 50 Years Michael R. Genesereth
2023	C	`conf`	Insurance Portfolio Analysis as Containment Testing. JURIX Preston Carlson, Michael R. Genesereth
2023	—	`ch.`	Prolog as a Knowledge Representation Language the Nature and Importance of Prolog. Prolog: The Next 50 Years Michael R. Genesereth
2023	—	`ch.`	Symbium: Using Logic Programming to Streamline Citizen-to-Government Interactions. Prolog: The Next 50 Years Tristan Krueger, Abhijeet Mohapatra, Michael R. Genesereth
2022	J	`jnl`	Knowledge Graphs: Introduction, History and, Perspectives. AI Mag. Vinay K. Chaudhri, Chaitanya K. Baru, Naren Chittar, Xin Luna Dong, Michael R. Genesereth, James A. Hendler, Aditya Kalyanpur, Douglas B. Lenat, Juan Sequeda, Denny Vrandecic, Kuansan Wang
2020	—	`book`	Introduction to Logic Programming Michael R. Genesereth, Vinay K. Chaudhri
2019	—	`conf`	Practical Reformulation of Deductive Databases. AIKE Michael R. Genesereth, Abhijeet Mohapatra
2018	J	`jnl`	AI amusements: computer elected governor of California Corpus Legis trounces human opponents in state election. AI Matters Michael R. Genesereth
2016	—	`book`	Introduction to Logic, Third Edition Introduction to Logic (3rd Ed.) Michael R. Genesereth, Eric Kao
2016	—	`conf`	Invariant Projections in Games. GCAI Abhijeet Mohapatra, Bertrand Decoster, Sudhir Agarwal, Michael R. Genesereth
2016	—	`conf`	Smart Forms. AAAI Fall Symposia Sudhir Agarwal, Abhijeet Mohapatra, Michael R. Genesereth
2016	—	`conf`	Update Policies. Australasian Conference on Artificial Intelligence Abhijeet Mohapatra, Sudhir Agarwal, Michael R. Genesereth
2015	—	`conf`	Rule-Based Exploration of Structured Data in the Browser. RuleML Sudhir Agarwal, Abhijeet Mohapatra, Michael R. Genesereth, Harold Boley
2015	—	`conf`	The Herbrand Manifesto - Thinking Inside the Box. RuleML Michael R. Genesereth, Eric Jui-Yi Kao
2014	—	`book`	General Game Playing Michael R. Genesereth, Michael Thielscher
2014	—	`conf`	Incremental Maintenance of Aggregate Views. FoIKS Abhijeet Mohapatra, Michael R. Genesereth
2013	—	`conf`	An Incremental Algorithm to Optimally Maintain Aggregate Views. LPAR (short papers) Abhijeet Mohapatra, Michael R. Genesereth
2013	A	`conf`	Extraction and integration of web data by end-users. CIKM Sudhir Agarwal, Michael R. Genesereth
2013	—	`book`	Introduction to Logic Michael R. Genesereth, Eric Kao
2013	—	`book`	Introduction to Logic, Second Edition Introduction to Logic (2nd Ed.) Michael R. Genesereth, Eric Kao
2013	—	`conf`	Reformulating Aggregate Queries Using Views. SARA Abhijeet Mohapatra, Michael R. Genesereth
2013	J	`jnl`	The International General Game Playing Competition. AI Mag. Michael R. Genesereth, Yngvi Björnsson
2012	C	`conf`	Incrementally maintaining run-length encoded attributes in column stores. IDEAS Abhijeet Mohapatra, Michael R. Genesereth
2011	—	`conf`	Paraconsistent Inference from Data Using Existential Omega-Entailment. DEXA Workshops Michael Kassoff, Michael R. Genesereth
2011	J	`jnl`	Paraconsistent Inference from Data Using Existential ω-Entailment. Int. J. Semantic Comput. Michael Kassoff, Michael R. Genesereth
2011	—	`ed.`	Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, SARA 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18, 2011. SARA Michael R. Genesereth, Peter Z. Revesz
2011	—	`ch.`	Semantics for Smart Services. The Science of Service Systems Charles J. Petrie, Axel Hochstein, Michael R. Genesereth
2011	—	`conf`	The Markov Reformulation Theorem. SARA Michael Kassoff, Michael R. Genesereth
2010	—	`book`	Data Integration: The Relational Logic Approach Data Integration Michael R. Genesereth
2010	—	`conf`	Logical Spreadsheets. RuleML Michael R. Genesereth
2010	J	`jnl`	Reports of the AAAI 2010 Spring Symposia. AI Mag. Thomas Barkowsky, Sven Bertel, Frank Broz, Vinay K. Chaudhri, Nathan Eagle, Michael R. Genesereth, Harry Halpin, Emily Hamner, Gabe Hoffmann, Christoph Hölscher, Eric Horvitz, Tom Lauwers, Deborah L. McGuinness, Marek P. Michalowski, Emily Mower, Thomas F. Shipley, Kristen Stubbs, Roland Vogl, Mary-Anne Williams
2009	—	`conf`	Deep Web Annotation Using Goal-Oriented Special Purpose Ontologies (Position Paper). AAAI Spring Symposium: Social Semantic Web: Where Web 2.0 Meets Web 3.0 Axel Hochstein, Michael R. Genesereth
2009	A*	`conf`	Equivalence of SQL queries in presence of embedded dependencies. PODS Rada Chirkova, Michael R. Genesereth
2009	—	`conf`	Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. SARA Timothy L. Hinrichs, Eric Jui-Yi Kao, Michael R. Genesereth
2009	J	`jnl`	Semantic Email Addressing: The Semantic Web Killer App? IEEE Internet Comput. Michael Kassoff, Charles J. Petrie, Lee-Ming Zen, Michael R. Genesereth
2008	J	`jnl`	Equivalence of SQL Queries in Presence of Embedded Dependencies CoRR Rada Chirkova, Michael R. Genesereth
2008	A*	`conf`	Injecting the How into the What: Investigating a Finite Classical Logic. KR Timothy L. Hinrichs, Michael R. Genesereth
2008	—	`conf`	Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems. Australasian Conference on Artificial Intelligence Eric Schkufza, Nathaniel Love, Michael R. Genesereth
2007	—	`conf`	Extensional Reasoning. ESARLT Tim Hinrichs, Michael R. Genesereth
2007	J	`jnl`	PrediCalc: a logical spreadsheet management system. Knowl. Eng. Rev. Michael Kassoff, Michael R. Genesereth
2007	—	`conf`	Reformulation for Extensional Reasoning. SARA Timothy L. Hinrichs, Michael R. Genesereth
2007	C	`conf`	Representational complexity in law. ICAIL Harry Surden, Michael R. Genesereth, Bret Logu
2006	—	`conf`	Semantic Email Addressing: Sending to People, Not Strings. AAAI Fall Symposium: Integrating Reasoning into Everyday Applications Michael Kassoff, Charles Petrie, Lee-Ming Zen, Michael R. Genesereth
2005	A*	`conf`	Axiom Schemata as Metalevel Axioms: Model Theory. AAAI Timothy L. Hinrichs, Michael R. Genesereth
2005	C	`conf`	Computational Law. ICAIL Nathaniel Love, Michael R. Genesereth
2005	J	`jnl`	Database Reformulation with Integrity Constraints (extended abstract) CoRR Rada Chirkova, Michael R. Genesereth
2005	J	`jnl`	General Game Playing: Overview of the AAAI Competition. AI Mag. Michael R. Genesereth, Nathaniel Love, Barney Pell
2005	A*	`conf`	PrediCalc: A Logical Spreadsheet Management System. VLDB Michael Kassoff, Lee-Ming Zen, Ankit Garg, Michael R. Genesereth
2003	—	`conf`	Adding AI to Web Services. AMKM Charles J. Petrie, Michael R. Genesereth, Hans C. Bjornsson, Rada Chirkova, Martin A. Ekstrom, Hidehito Gomi, Tim Hinrichs, Rob Hoskins, Michael Kassoff, Daishi Kato, Kyohei Kawazoe, Jung Ung Min, Waqar Mohsin
2000	—	`conf`	Linearly Bounded Reformulations of Conjunctive Databases. Computational Logic Rada Chirkova, Michael R. Genesereth
2000	—	`conf`	Linearly Bounded Reformulations of Unary Databases. SARA Rada Chirkova, Michael R. Genesereth
2000	J	`jnl`	Recursive Query Plans for Data Integration. J. Log. Program. Oliver M. Duschka, Michael R. Genesereth, Alon Y. Levy
1997	A*	`conf`	Answering Recursive Queries Using Views. PODS Oliver M. Duschka, Michael R. Genesereth
1997	—	`conf`	Infomaster: An Information Integration System. SIGMOD Conference Michael R. Genesereth, Arthur M. Keller, Oliver M. Duschka
1997	J	`jnl`	Mobile robot obstacle avoidance via depth from focus. Robotics Auton. Syst. Illah R. Nourbakhsh, David Andre, Carlo Tomasi, Michael R. Genesereth
1997	Misc	`conf`	Query Planning in Infomaster. SAC Oliver M. Duschka, Michael R. Genesereth
1997	J	`jnl`	The Conceptual Basis for Mediation Services. IEEE Expert Gio Wiederhold, Michael R. Genesereth
1997	J	`jnl`	Using Infomaster to Create a Housewares Virtual Catalog. Electron. Mark. Arthur M. Keller, Michael R. Genesereth
1996	J	`jnl`	Assumptive planning and execution: A simple, working robot architecture. Auton. Robots Illah R. Nourbakhsh, Michael R. Genesereth
1996	B	`conf`	McCarthy's Idea. JELIA Michael R. Genesereth
1995	J	`jnl`	A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation. Int. J. Cooperative Inf. Syst. Narinder Singh, Michael R. Genesereth, M. Syed
1995	—	`conf`	Infomaster: A Virtual Information System. CIKM Information Agents Workshop Donald F. Geddis, Michael R. Genesereth, Arthur M. Keller, Narinder Singh
1995	A	`conf`	Intelligent Agents in Distributed Systems (Panel). ICDCS Joann J. Ordille, Oswald Drobnik, Michael R. Genesereth, Y. Lashkari, Bart Selman
1995	B	`conf`	The Basis for Mediation. CoopIS Gio Wiederhold, Michael R. Genesereth
1994	A	`conf`	Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving. ECAI Taha Khedro, Michael R. Genesereth
1994	A*	`conf`	Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents. AAAI Taha Khedro, Michael R. Genesereth
1994	J	`jnl`	Software Agents. Commun. ACM Michael R. Genesereth, Steven P. Ketchpel
1993	J	`jnl`	Automated Concurrent Engineering in Designworld. Computer Nam Huyn, Michael R. Genesereth, Reed Letsinger
1993	J	`jnl`	From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group. Artif. Intell. Michael R. Genesereth
1993	J	`jnl`	PACT: An Experiment in Integrating Concurrent Engineering Systems. Computer Mark R. Cutkosky, Robert S. Engelmore, Richard Fikes, Michael R. Genesereth, Thomas R. Gruber, William S. Mark, Jay M. Tenenbaum, Jay C. Weber
1993	J	`jnl`	Single-phase agreements among rational agents. J. Exp. Theor. Artif. Intell. Jeffrey S. Rosenschein, Michael R. Genesereth
1993	A*	`conf`	Time-Saving Tips for Problem Solving with Incomplete Information. AAAI Michael R. Genesereth, Illah R. Nourbakhsh
1991	A*	`conf`	Designworld. ICRA Michael R. Genesereth
1991	J	`jnl`	Epikit: A Library of Subroutines Supporting Declarative Representations and Reasoning. SIGART Bull. Narinder Singh, Michael R. Genesereth
1991	A*	`conf`	Knowledge Interchange Format. KR Michael R. Genesereth
1991	A*	`conf`	Partial Programs. KR Michael R. Genesereth, Jane Yung-jen Hsu
1989	—	`book`	Logische Grundlagen der künstlichen Intelligenz. Michael R. Genesereth, Nils J. Nilsson
1989	J	`jnl`	The acquisition, verification, and explanation of design knowledge. SIGART Newsl. Charles Kellogg, Robert A. Gargan Jr., William S. Mark, James McGuire, Michael Pontecorvo, Jon Schlossberg, Joseph W. Sullivan, Michael R. Genesereth, Narinder Singh
1988	—	`book`	Logical foundations of artificial intelligence. Michael R. Genesereth, Nils J. Nilsson
1987	J	`jnl`	Choosing Directions for Rules. J. Autom. Reason. Richard Treitel, Michael R. Genesereth
1987	A*	`conf`	The Relevance of Irrelevance. IJCAI Devika Subramanian, Michael R. Genesereth
1986	J	`jnl`	AAAI-86: Experimenting with a New Conference Format. AI Mag. Claudia Mazzetti, Jay M. Tenenbaum, Michael R. Genesereth, Ronald J. Brachman, Mark Stefik
1986	A*	`conf`	Choosing Directions for Rules. AAAI Richard Treitel, Michael R. Genesereth
1986	J	`jnl`	Controlling Recursive Inference. Artif. Intell. David E. Smith, Michael R. Genesereth, Matthew L. Ginsberg
1986	A*	`conf`	Cooperation without Communication. AAAI Michael R. Genesereth, Matthew L. Ginsberg, Jeffrey S. Rosenschein
1985	A*	`conf`	A Variable Supply Model for Distributing Deductions. IJCAI Vineet Singh, Michael R. Genesereth
1985	A*	`conf`	Deals Among Rational Agents. IJCAI Jeffrey S. Rosenschein, Michael R. Genesereth
1985	J	`jnl`	Expressiveness and Language Choice. Data Knowl. Eng. Jock D. Mackinlay, Michael R. Genesereth
1985	J	`jnl`	Logic Programming. Commun. ACM Michael R. Genesereth, Matthew L. Ginsberg
1985	J	`jnl`	Ordering Conjunctive Queries. Artif. Intell. David E. Smith, Michael R. Genesereth
1984	A*	`conf`	Expressiveness of Languages. AAAI Jock D. Mackinlay, Michael R. Genesereth
1984	J	`jnl`	The Use of Design Descriptions in Automated Diagnosis. Artif. Intell. Michael R. Genesereth
1983	A*	`conf`	An Overview of Meta-Level Architecture. AAAI Michael R. Genesereth
1983	A*	`ed.`	Proceedings of the National Conference on Artificial Intelligence, Washington, D.C., USA, August 22-26, 1983. AAAI Michael R. Genesereth
1983	A*	`conf`	What's New? A Semantic Definition of Novelty. IJCAI Russell Greiner, Michael R. Genesereth
1982	A*	`conf`	Diagnosis Using Hierarchical Design Models. AAAI Michael R. Genesereth
1982	—	`conf`	Intelligent Assistance for Complex Systems. ACM Annual Conference Tom Kehler, Avron Barr, Tim Finin, Peter Friedland, Michael R. Genesereth, James R. Miller, Mark L. Miller, Elliot Soloway, Harry R. Tennant
1981	—	`conf`	DART: Expert systems for automated computer fault diagnosis. ACM Annual Conference Michael R. Genesereth, James S. Bennett, Clifford R. Hollander
1980	A*	`conf`	Metaphors and Models. AAAI Michael R. Genesereth
1979	—	`conf`	Canonicity in rule systems. EUROSAM Michael R. Genesereth
1979	A*	`conf`	The Role of Plans in Automated Consultation. IJCAI Michael R. Genesereth
1977	A*	`conf`	An Automated Consultant for MACSYMA. IJCAI Michael R. Genesereth