Skip to content

Robert A. Kowalski

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

23

Venues

11

Active years

1982–2022

Best venue rank

A*

Where they publish

Papers

23 indexed papers, newest first.

YearVenueTitleAuthors
2022ICLPIntegration of Logical English and s(CASP).Galileo Sartor, Jacinto A. Dvila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert A. Kowalski
2017CogSciSatisfiability for First-order Logic as a Non-Modal Deontic Logic.Robert A. Kowalski
2015ICAARTComputational Logic as an Intelligent Agent's Language of Thought.Robert A. Kowalski
2013LPNMRLogic Programming in the 1970s.Robert A. Kowalski
2011IJCAIArtificial Intelligence and Human Thinking.Robert A. Kowalski
2001ICLPIs Logic Really Dead or Only Just Sleeping?Robert A. Kowalski
1996ICLPPROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract).Gerhard Wetzel, Robert A. Kowalski, Francesca Toni
1996JELIALogic Programming with Integrity Constraints.Robert A. Kowalski
1996LOPSTRSynthesis of Proof Procedures for Default Reasoning.Phan Minh Dung, Robert A. Kowalski, Francesca Toni
1995ICLPVariants of the Event Calculus.Fariba Sadri, Robert A. Kowalski
1995ICLPReduction of Abductive Logic Programs to Normal Logic Programs.Francesca Toni, Robert A. Kowalski
1995LOPSTRAn Argumentation-Theoretic Approach to Logic Program Transformation.Francesca Toni, Robert A. Kowalski
1993LPNMRAn Assumption-Based Framework for Non-Monotonic Reasoning.Andrei Bondarenko, Francesca Toni, Robert A. Kowalski
1991ICLPLegislation as Logic Programs.Robert A. Kowalski
1991IJCAILogic Programing in Artificial Intelligence.Robert A. Kowalski
1990ICLPLogic Programs with Exceptions.Robert A. Kowalski, Fariba Sadri
1989ICAILThe Treatment of Negation in Logic Programs for Representing Legislation.Robert A. Kowalski
1989ICLPAbduction Compared with Negation by Failure.Kave Eshghi, Robert A. Kowalski
1987VLDBIntegrity Checking in Deductive Databases.Robert A. Kowalski, Fariba Sadri, Paul Soper
1987WIDirections for Logic Programming.Robert A. Kowalski
1985IJCAIComputer Representation of the Law.Robert A. Kowalski, Marek J. Sergot
1983IJCAIPanel on the Fifth Generation Project.Robert A. Kowalski, Herv Gallaire, Toshio Yokoi, Robert B. K. Dewar
1982ECAILogic as a Computer Language for Children.Robert A. Kowalski