Michael R. Genesereth

Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024

2023

Symbium: Using Logic Programming to Streamline Citizen-to-Government Interactions.

[BibT_eX]

[DOI]

Tristan Krueger

Proceedings of the Prolog: The Next 50 Years, 2023

Dynamic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Prolog: The Next 50 Years, 2023

Prolog as a Knowledge Representation Language the Nature and Importance of Prolog.

[BibT_eX]

[DOI]

Proceedings of the Prolog: The Next 50 Years, 2023

Insurance Portfolio Analysis as Containment Testing.

[BibT_eX]

[DOI]

Preston Carlson

Proceedings of the Legal Knowledge and Information Systems, 2023

2022

Knowledge Graphs: Introduction, History and, Perspectives.

[BibT_eX]

[DOI]

AI Mag., 2022

2020

Introduction to Logic Programming

[BibT_eX]

[DOI]

Vinay K. Chaudhri

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01586-1, 2020

2019

Practical Reformulation of Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

2018

AI amusements: computer elected governor of California Corpus Legis trounces human opponents in state election.

[BibT_eX]

[DOI]

AI Matters, 2018

2016

Introduction to Logic, Third Edition

[BibT_eX]

[DOI]

Eric Kao

Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, ISBN: 978-3-031-01801-5, 2016

Invariant Projections in Games.

[BibT_eX]

[DOI]

Bertrand Decoster

Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

Update Policies.

[BibT_eX]

[DOI]

Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

Smart Forms.

[BibT_eX]

[DOI]

Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016

2015

The Herbrand Manifesto - Thinking Inside the Box.

[BibT_eX]

[DOI]

Eric Jui-Yi Kao

Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

Rule-Based Exploration of Structured Data in the Browser.

[BibT_eX]

[DOI]

Harold Boley

Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

2014

General Game Playing

[BibT_eX]

[DOI]

Michael Thielscher

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01569-4, 2014

Incremental Maintenance of Aggregate Views.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2014

2013

Introduction to Logic, Second Edition

[BibT_eX]

[DOI]

Eric Kao

Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, ISBN: 978-3-031-01799-5, 2013

Introduction to Logic

[BibT_eX]

[DOI]

Eric Kao

Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, ISBN: 978-3-031-01798-8, 2013

The International General Game Playing Competition.

[BibT_eX]

[DOI]

Yngvi Björnsson

AI Mag., 2013

Reformulating Aggregate Queries Using Views.

[BibT_eX]

[DOI]

Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013

An Incremental Algorithm to Optimally Maintain Aggregate Views.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2013, 2013

Extraction and integration of web data by end-users.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013

2012

Incrementally maintaining run-length encoded attributes in column stores.

[BibT_eX]

[DOI]

Proceedings of the 16th International Database Engineering & Applications Symposium, 2012

2011

Paraconsistent Inference from Data Using Existential ω-Entailment.

[BibT_eX]

[DOI]

Int. J. Semantic Comput., 2011

The Markov Reformulation Theorem.

[BibT_eX]

[DOI]

Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, 2011

Paraconsistent Inference from Data Using Existential Omega-Entailment.

[BibT_eX]

[DOI]

Proceedings of the 2011 Database and Expert Systems Applications, 2011

Semantics for Smart Services.

[BibT_eX]

[DOI]

Charles J. Petrie

Axel Hochstein

Proceedings of the Science of Service Systems., 2011

2010

Data Integration: The Relational Logic Approach

[BibT_eX]

[DOI]

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01550-2, 2010

Reports of the AAAI 2010 Spring Symposia.

[BibT_eX]

[DOI]

Deborah L. McGuinness

AI Mag., 2010

Logical Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Rules - International Symposium, 2010

2009

Semantic Email Addressing: The Semantic Web Killer App?

[BibT_eX]

[DOI]

Charles J. Petrie

Lee-Ming Zen

IEEE Internet Comput., 2009

Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases.

[BibT_eX]

[DOI]

Eric Jui-Yi Kao

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Equivalence of SQL queries in presence of embedded dependencies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

Deep Web Annotation Using Goal-Oriented Special Purpose Ontologies (Position Paper).

[BibT_eX]

[DOI]

Axel Hochstein

Proceedings of the Social Semantic Web: Where Web 2.0 Meets Web 3.0, 2009

2008

Injecting the How into the What: Investigating a Finite Classical Logic.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems.

[BibT_eX]

[DOI]

Eric Schkufza

Nathaniel Love

Proceedings of the AI 2008: Advances in Artificial Intelligence, 2008

2007

PrediCalc: a logical spreadsheet management system.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2007

Reformulation for Extensional Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Abstraction, 2007

Representational complexity in law.

[BibT_eX]

[DOI]

Harry Surden

Bret Logu

Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

Extensional Reasoning.

[BibT_eX]

[DOI]

Tim Hinrichs

Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, 2007

2006

Semantic Email Addressing: Sending to People, Not Strings.

[BibT_eX]

[DOI]

Charles Petrie

Lee-Ming Zen

Proceedings of the Integrating Reasoning into Everyday Applications, 2006

2005

Database Reformulation with Integrity Constraints (extended abstract)

[BibT_eX]

[DOI]

CoRR, 2005

General Game Playing: Overview of the AAAI Competition.

[BibT_eX]

[DOI]

Nathaniel Love

Barney Pell

AI Mag., 2005

PrediCalc: A Logical Spreadsheet Management System.

[BibT_eX]

[DOI]

Lee-Ming Zen

Ankit Garg

Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

Computational Law.

[BibT_eX]

[DOI]

Nathaniel Love

Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

Axiom Schemata as Metalevel Axioms: Model Theory.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2003

Adding AI to Web Services.

[BibT_eX]

[DOI]

Charles J. Petrie

Proceedings of the Agent Mediated Knowledge Management, 2003

2000

Recursive Query Plans for Data Integration.

[BibT_eX]

[DOI]

Alon Y. Levy

J. Log. Program., 2000

Linearly Bounded Reformulations of Unary Databases.

[BibT_eX]

[DOI]

Proceedings of the Abstraction, 2000

Linearly Bounded Reformulations of Conjunctive Databases.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

1997

Mobile robot obstacle avoidance via depth from focus.

[BibT_eX]

[DOI]

Illah R. Nourbakhsh

David Andre

Carlo Tomasi

Robotics Auton. Syst., 1997

The Conceptual Basis for Mediation Services.

[BibT_eX]

[DOI]

Gio Wiederhold

IEEE Expert, 1997

Using Infomaster to Create a Housewares Virtual Catalog.

[BibT_eX]

[DOI]

Arthur M. Keller

Electron. Mark., 1997

Infomaster: An Information Integration System.

[BibT_eX]

[DOI]

Arthur M. Keller

Proceedings of the SIGMOD 1997, 1997

Query Planning in Infomaster.

[BibT_eX]

[DOI]

Proceedings of the 1997 ACM symposium on Applied Computing, 1997

Answering Recursive Queries Using Views.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1997

1996

Assumptive planning and execution: A simple, working robot architecture.

[BibT_eX]

[DOI]

Illah R. Nourbakhsh

Auton. Robots, 1996

McCarthy's Idea.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

1995

A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation.

[BibT_eX]

[DOI]

M. Syed

Int. J. Cooperative Inf. Syst., 1995

Intelligent Agents in Distributed Systems (Panel).

[BibT_eX]

[DOI]

Joann J. Ordille

Oswald Drobnik

Y. Lashkari

Bart Selman

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

The Basis for Mediation.

[BibT_eX]

Gio Wiederhold

Proceedings of the Third International Conference on Cooperative Information Systems (CoopIS-95), 1995

Infomaster: A Virtual Information System.

[BibT_eX]

Donald F. Geddis

Arthur M. Keller

Proceedings of the CIKM 1995 Intelligent Information Agents Workshop, 1995

1994

Software Agents.

[BibT_eX]

[DOI]

Steven P. Ketchpel

Commun. ACM, 1994

Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving.

[BibT_eX]

Taha Khedro

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents.

[BibT_eX]

[DOI]

Taha Khedro

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

Single-phase agreements among rational agents.

[BibT_eX]

[DOI]

Jeffrey S. Rosenschein

J. Exp. Theor. Artif. Intell., 1993

Automated Concurrent Engineering in Designworld.

[BibT_eX]

[DOI]

Nam Huyn

Reed Letsinger

Computer, 1993

PACT: An Experiment in Integrating Concurrent Engineering Systems.

[BibT_eX]

[DOI]

Mark R. Cutkosky

Robert S. Engelmore

Richard Fikes

Computer, 1993

From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group.

[BibT_eX]

[DOI]

Artif. Intell., 1993

Time-Saving Tips for Problem Solving with Incomplete Information.

[BibT_eX]

[DOI]

Illah R. Nourbakhsh

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1991

Epikit: A Library of Subroutines Supporting Declarative Representations and Reasoning.

[BibT_eX]

[DOI]

SIGART Bull., 1991

Partial Programs.

[BibT_eX]

Jane Yung-jen Hsu

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Knowledge Interchange Format.

[BibT_eX]

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Designworld.

[BibT_eX]

[DOI]

Proceedings of the 1991 IEEE International Conference on Robotics and Automation, 1991

1989

The acquisition, verification, and explanation of design knowledge.

[BibT_eX]

[DOI]

SIGART Newsl., 1989

Logische Grundlagen der künstlichen Intelligenz.

[BibT_eX]

Nils J. Nilsson

Artificial intelligence, Vieweg, ISBN: 978-3-528-04638-5, 1989

1988

Logical foundations of artificial intelligence.

[BibT_eX]

Nils J. Nilsson

Morgan Kaufmann, ISBN: 978-0-934613-31-6, 1988

1987

Choosing Directions for Rules.

[BibT_eX]

[DOI]

Richard Treitel

J. Autom. Reason., 1987

The Relevance of Irrelevance.

[BibT_eX]

[DOI]

Devika Subramanian

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986

AAAI-86: Experimenting with a New Conference Format.

[BibT_eX]

[DOI]

Claudia Mazzetti

Jay M. Tenenbaum

Ronald J. Brachman

Mark Stefik

AI Mag., 1986

Controlling Recursive Inference.

[BibT_eX]

[DOI]

David E. Smith

Matthew L. Ginsberg

Artif. Intell., 1986

Cooperation without Communication.

[BibT_eX]

[DOI]

Matthew L. Ginsberg

Jeffrey S. Rosenschein

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

Expressiveness and Language Choice.

[BibT_eX]

[DOI]

Jock D. Mackinlay

Data Knowl. Eng., 1985

Logic Programming.

[BibT_eX]

[DOI]

Matthew L. Ginsberg

Commun. ACM, 1985

Ordering Conjunctive Queries.

[BibT_eX]

[DOI]

David E. Smith

Artif. Intell., 1985

A Variable Supply Model for Distributing Deductions.

[BibT_eX]

[DOI]

Vineet Singh

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

Deals Among Rational Agents.

[BibT_eX]

[DOI]

Jeffrey S. Rosenschein

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984

The Use of Design Descriptions in Automated Diagnosis.

[BibT_eX]

[DOI]

Artif. Intell., 1984

Expressiveness of Languages.

[BibT_eX]

[DOI]

Jock D. Mackinlay

Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

1983

What's New? A Semantic Definition of Novelty.

[BibT_eX]

[DOI]

Russell Greiner

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

An Overview of Meta-Level Architecture.

[BibT_eX]

[DOI]

Proceedings of the National Conference on Artificial Intelligence, 1983

1982

Intelligent Assistance for Complex Systems.

[BibT_eX]

[DOI]

Proceedings of the ACM 1982 Annual Conference, Dallas, TX, USA, October 25-27, 1982, 1982

Diagnosis Using Hierarchical Design Models.

[BibT_eX]

[DOI]

Proceedings of the National Conference on Artificial Intelligence, 1982

1981

DART: Expert systems for automated computer fault diagnosis.

[BibT_eX]

[DOI]

James S. Bennett

Clifford R. Hollander

Proceedings of the ACM 1981 Annual Conference, Los Angeles, CA, USA, November 9-11, 1981., 1981

1980

Metaphors and Models.

[BibT_eX]

[DOI]

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1979

The Role of Plans in Automated Consultation.

[BibT_eX]

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

Canonicity in rule systems.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, 1979

1977

An Automated Consultant for MACSYMA.

[BibT_eX]

[DOI]