Linear Resolution with Selection Function. - Robert A. Kowalski; Donald Kuehner (Artif. Intell., 1971)

Predicate Logic as Programming Language. - Robert A. Kowalski (IFIP Congress, 1974)

A Proof Procedure Using Connection Graphs. - Robert A. Kowalski (J. ACM, 1975)

The Semantics of Predicate Logic as a Programming Language. - Maarten H. van Emden; Robert A. Kowalski (J. ACM, 1976)

Logic for Data Description. - Robert A. Kowalski (Logic and Data Bases, 1977)

Logic for problem solving. - Robert A. Kowalski (North-Holland, 1979)

Logic and Semantic Networks. - Amaryllis Deliyanni; Robert A. Kowalski (Commun. ACM, 1979)

Algorithm = Logic + Control. - Robert A. Kowalski (Commun. ACM, 1979)

Logic as a Computer Language for Children. - Robert A. Kowalski (ECAI, 1982)

Logic Programming. - Robert A. Kowalski (IFIP Congress, 1983)

Panel on the Fifth Generation Project. - Robert A. Kowalski; Hervé Gallaire; Toshio Yokoi; Robert B. K. Dewar (IJCAI, 1983)

Logic as a Database Language. - Robert A. Kowalski (BNCOD, 1984)

Logic for Knowledge Representation. - Robert A. Kowalski (FSTTCS, 1984)

Software engineering and artificial intelligence in new generation computing. - Robert A. Kowalski (Future Gener. Comput. Syst., 1984)

Logic Programming in the Fifth Generation. - Robert A. Kowalski (Knowl. Eng. Rev., 1984)

The Limitaions of Logic and Its Role in Artificial Intelligence. - Robert A. Kowalski (Foundations of Knowledge Base Management (Xania), 1985)

Computer Representation of the Law. - Robert A. Kowalski; Marek J. Sergot (IJCAI, 1985)

Directions for Logic Programming. - Robert A. Kowalski (SLP, 1985)

The limitation of logic. - Robert A. Kowalski (ACM Conference on Computer Science, 1986)

The British Nationality Act as a Logic Program. - Marek J. Sergot; Fariba Sadri; Robert A. Kowalski; F. Kriwaczek; Peter Hammond; H. T. Cory (Commun. ACM, 1986)

A Logic-based Calculus of Events. - Robert A. Kowalski; Marek J. Sergot (New Gener. Comput., 1986)

Integrity Checking in Deductive Databases. - Robert A. Kowalski; Fariba Sadri; Paul Soper (VLDB, 1987)

A Theorem-Proving Approach to Database Integrity. - Fariba Sadri; Robert A. Kowalski (Foundations of Deductive Databases and Logic Programming., 1988)

Knowledge Management - Panel Report. - Robert A. Kowalski; Douglas B. Lenat; Elliot Soloway; Michael Stonebraker; Adrian Walker (Expert Database Conf., 1988)

The Early Years of Logic Programming. - Robert A. Kowalski (Commun. ACM, 1988)

A Proposal for an Undergraduate Degree in the Uses of Logic. - Robert A. Kowalski (Artificial Intelligence in Higher Education, 1989)

The Treatment of Negation in Logic Programs for Representing Legislation. - Robert A. Kowalski (ICAIL, 1989)

Abduction Compared with Negation by Failure. - Kave Eshghi; Robert A. Kowalski (ICLP, 1989)

Central Government Pension Rules as a Logic Program. - K. K. Bajaj; R. K. Dubash; Robert A. Kowalski (KBCS, 1989)

Legislation as Logic Programs. - Robert A. Kowalski (ICLP, 1991)

Logic Programing in Artificial Intelligence. - Robert A. Kowalski (IJCAI, 1991)

Logic Programs with Exceptions. - Robert A. Kowalski; Fariba Sadri (New Gener. Comput., 1991)

Panel: A Springboard for Information Processing in the 21st Century. - Robert A. Kowalski (FGCS, 1992)

Theory and Practice in Logic Programming. - Robert A. Kowalski (Logic Programming Summer School, 1992)

Database Updates in the Event Calculus. - Robert A. Kowalski (J. Log. Program., 1992)

Abductive Logic Programming. - Antonis C. Kakas; Robert A. Kowalski; Francesca Toni (J. Log. Comput., 1992)

An Assumption-Based Framework for Non-Monotonic Reasoning. - Andrei Bondarenko; Francesca Toni; Robert A. Kowalski (LPNMR, 1993)

The Fifth Generation Project: Personal Perspectives. - Ehud Shapiro; David H. D. Warren; Kazuhiro Fuchi; Robert A. Kowalski; Koichi Furukawa; Kazunori Ueda; Kenneth M. Kahn; Takashi Chikayama; Evan Tick (Commun. ACM, 1993)

Editorial: An Undergraduate Degree in Practical Reasoning. - Robert A. Kowalski (J. Log. Comput., 1993)

Temporal Database Technology for Air Traffic Flow Management. - Suryanarayana M. Sripada; B. L. Rosser; J. M. Bedford; Robert A. Kowalski (ADB, 1994)

An abstract argumentation-theoretic framework for non-monotonic reasoning (joint work with Bondaranko, Dung, and Toni). - Bob Kowalski 001 (ICLP Workshop: Legal Application of Logic Programming, 1994)

The Situation Calculus and Event Calculus Compared. - Robert A. Kowalski; Fariba Sadri (ILPS, 1994)

Towards a Declarative and Efficient Glass-Box CLP Language. - Robert A. Kowalski; Francesca Toni; Gerhard Wetzel (WLP, 1994)

Logical Foundations for Multi-agent Systems. - Robert A. Kowalski (GULP-PRODE, 1995)

Variants of the Event Calculus. - Fariba Sadri; Robert A. Kowalski (ICLP, 1995)

Reduction of Abductive Logic Programs to Normal Logic Programs. - Francesca Toni; Robert A. Kowalski (ICLP, 1995)

An Argumentation-Theoretic Approach to Logic Program Transformation. - Francesca Toni; Robert A. Kowalski (LOPSTR, 1995)

A Theorem-Proving approach to CLP. - Gerhard Wetzel; Robert A. Kowalski; Francesca Toni (WLP, 1995)

Workshop Report: Application of Logic Programming to Legal Reasoning. - Robert A. Kowalski (New Gener. Comput., 1995)

PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). - Gerhard Wetzel; Robert A. Kowalski; Francesca Toni (JICSLP, 1996)

Logic Programming with Integrity Constraints. - Robert A. Kowalski (JELIA, 1996)

Towards a Unified Agent Architecture that Combines Rationality with Reactivity. - Robert A. Kowalski; Fariba Sadri (Logic in Databases, 1996)

Synthesis of Proof Procedures for Default Reasoning. - Phan Minh Dung; Robert A. Kowalski; Francesca Toni (LOPSTR, 1996)

Using Meta-Logic to Reconcile Reactive with Rational Agents. - Robert A. Kowalski (PAAM, 1996)

Abstract Argumentation. - Robert A. Kowalski; Francesca Toni (Artif. Intell. Law, 1996)

Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. - Anthony J. Bonner; Burkhard Freitag; Laura Giordano 001; Robert A. Kowalski (ILPS, 1997)

An Abstract, Argumentation-Theoretic Approach to Default Reasoning. - Andrei Bondarenko; Phan Minh Dung; Robert A. Kowalski; Francesca Toni (Artif. Intell., 1997)

The Iff Proof Procedure for Abductive Logic Programming. - Tze Ho Fung; Robert A. Kowalski (J. Log. Program., 1997)

Reconciling the Event Calculus With the Situation Calculus. - Robert A. Kowalski; Fariba Sadri (J. Log. Program., 1997)

Executing Suspended Logic Programs. - Robert A. Kowalski; Francesca Toni; Gerhard Wetzel (Fundam. Informaticae, 1998)

From Logic Programming Towards Multi-Agent Systems. - Robert A. Kowalski; Fariba Sadri (Ann. Math. Artif. Intell., 1999)

Is Logic Really Dead or Only Just Sleeping? - Robert A. Kowalski (ICLP, 2001)

A Logic-based Calculus of Events. - Robert A. Kowalski; Marek J. Sergot (The Language of Time - A Reader, 2005)

The Logical Way to Be Artificially Intelligent. - Robert A. Kowalski (CLIMA, 2005)

Reconciling Logic and Objects. - Robert A. Kowalski (ENC, 2005)

Computational Logic in an Object-Oriented World. - Bob Kowalski 001 (Reasoning, Action and Interaction in AI Theories and Systems, 2006)

Dialectic proof procedures for assumption-based, admissible argumentation. - Phan Minh Dung; Robert A. Kowalski; Francesca Toni (Artif. Intell., 2006)

Assumption-Based Argumentation. - Phan Minh Dung; Robert A. Kowalski; Francesca Toni (Argumentation in Artificial Intelligence, 2009)

Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. - Robert A. Kowalski; Fariba Sadri (RR, 2009)

An Agent Language with Destructive Assignment and Model-Theoretic Semantics. - Robert A. Kowalski; Fariba Sadri (CLIMA, 2010)

Artificial Intelligence and Human Thinking. - Robert A. Kowalski (IJCAI, 2011)

WUENIC - A Case Study in Rule-Based Knowledge Representation and Reasoning. - Robert A. Kowalski; Anthony Burton (JSAI-isAI Workshops, 2011)

Abductive logic programming agents with destructive databases. - Robert A. Kowalski; Fariba Sadri (Ann. Math. Artif. Intell., 2011)

The Scientific Contribution of Marek Sergot. - Steve Barker; Andrew J. I. Jones; Antonis C. Kakas; Robert A. Kowalski; Alessio Lomuscio; Rob Miller 002; Stephen H. Muggleton; Giovanni Sartor (Logic Programs, Norms and Action, 2012)

Teleo-Reactive Abductive Logic Programs. - Robert A. Kowalski; Fariba Sadri (Logic Programs, Norms and Action, 2012)

A Logic-Based Framework for Reactive Systems. - Robert A. Kowalski; Fariba Sadri (RuleML, 2012)

Logic Programming in the 1970s. - Robert A. Kowalski (LPNMR, 2013)

A Logical Characterization of a Reactive System Language. - Robert A. Kowalski; Fariba Sadri (RuleML, 2014)

Logic Programming. - Robert A. Kowalski (Computational Logic, 2014)

Computational Logic as an Intelligent Agent's Language of Thought. - Robert A. Kowalski (ICAART (1), 2015)

Reactive Computing as Model Generation. - Robert A. Kowalski; Fariba Sadri (New Gener. Comput., 2015)

Programming in logic without logic programming. - Robert A. Kowalski; Fariba Sadri (Theory Pract. Log. Program., 2016)

Satisfiability for First-order Logic as a Non-Modal Deontic Logic. - Robert A. Kowalski (Bridging@CogSci, 2017)

How to do it with LPS (Logic-Based Production System). - Robert A. Kowalski; Fariba Sadri; Miguel Calejo (RuleML+RR (Supplement), 2017)

Programming Machine Ethics by Luís Moniz Pereira and Ari Saptawijaya. - Robert A. Kowalski (AI Soc., 2017)

Using SWISH to realise interactive web based tutorials for logic based languages. - Jan Wielemaker; Fabrizio Riguzzi; Bob Kowalski 001; Torbjörn Lager; Fariba Sadri; Miguel Calejo (CoRR, 2018)

Obligation as Optimal Goal Satisfaction. - Robert A. Kowalski; Ken Satoh (J. Philos. Log., 2018)

Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages. - Jan Wielemaker; Fabrizio Riguzzi; Robert A. Kowalski; Torbjörn Lager; Fariba Sadri; Miguel Calejo (Theory Pract. Log. Program., 2019)

Integration of Logical English and s(CASP). - Galileo Sartor; Jacinto A. Dávila; Marco Billi; Giuseppe Contissa; Giuseppe Pisano; Robert A. Kowalski (ICLP Workshops, 2022)

Logical English meets legal English for swaps and derivatives. - Robert A. Kowalski; Akber Datoo (Artif. Intell. Law, 2022)

Logical English for Law and Education. - Robert A. Kowalski; Jacinto A. Dávila; Galileo Sartor; Miguel Calejo (Prolog: The Next 50 Years, 2023)

Combining Logic Programming and Imperative Programming in LPS. - Robert A. Kowalski; Fariba Sadri; Miguel Calejo; Jacinto A. Dávila (Prolog: The Next 50 Years, 2023)