Robert A. Kowalski

According to our database, Robert A. Kowalski authored at least 92 papers between 1971 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Combining Logic Programming and Imperative Programming in LPS.

Robert A. Kowalski, Fariba Sadri, Miguel Calejo, Jacinto A. Dávila

Proceedings of the Prolog: The Next 50 Years, 2023

Logical English for Law and Education.

Robert A. Kowalski, Jacinto A. Dávila, Galileo Sartor, Miguel Calejo

Proceedings of the Prolog: The Next 50 Years, 2023

2022

Logical English meets legal English for swaps and derivatives.

Robert A. Kowalski, Akber Datoo

Artif. Intell. Law, 2022

Integration of Logical English and s(CASP).

Galileo Sartor, Jacinto A. Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert A. Kowalski

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2019

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

2018

Obligation as Optimal Goal Satisfaction.

Robert A. Kowalski, Ken Satoh

J. Philos. Log., 2018

Using SWISH to realise interactive web based tutorials for logic based languages.

Jan Wielemaker, Fabrizio Riguzzi, Bob Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo

CoRR, 2018

2017

Programming Machine Ethics by Luís Moniz Pereira and Ari Saptawijaya.

Robert A. Kowalski

AI Soc., 2017

How to do it with LPS (Logic-Based Production System).

Robert A. Kowalski, Fariba Sadri, Miguel Calejo

Proceedings of the Doctoral Consortium, 2017

Satisfiability for First-order Logic as a Non-Modal Deontic Logic.

Robert A. Kowalski

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2017

2016

Programming in logic without logic programming.

Robert A. Kowalski, Fariba Sadri

Theory Pract. Log. Program., 2016

2015

Reactive Computing as Model Generation.

Robert A. Kowalski, Fariba Sadri

New Gener. Comput., 2015

Computational Logic as an Intelligent Agent's Language of Thought.

Robert A. Kowalski

Proceedings of the ICAART 2015, 2015

2014

Logic Programming.

Robert A. Kowalski

Proceedings of the Computational Logic, 2014

A Logical Characterization of a Reactive System Language.

Robert A. Kowalski, Fariba Sadri

Proceedings of the Rules on the Web. From Theory to Applications, 2014

2013

Logic Programming in the 1970s.

Robert A. Kowalski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012

A Logic-Based Framework for Reactive Systems.

Robert A. Kowalski, Fariba Sadri

Proceedings of the Rules on the Web: Research and Applications, 2012

Teleo-Reactive Abductive Logic Programs.

Robert A. Kowalski, Fariba Sadri

Proceedings of the Logic Programs, Norms and Action, 2012

The Scientific Contribution of Marek Sergot.

Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen H. Muggleton, Giovanni Sartor

Proceedings of the Logic Programs, Norms and Action, 2012

2011

Abductive logic programming agents with destructive databases.

Robert A. Kowalski, Fariba Sadri

Ann. Math. Artif. Intell., 2011

WUENIC - A Case Study in Rule-Based Knowledge Representation and Reasoning.

Robert A. Kowalski, Anthony Burton

Proceedings of the New Frontiers in Artificial Intelligence, 2011

Artificial Intelligence and Human Thinking.

Robert A. Kowalski

Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

2010

An Agent Language with Destructive Assignment and Model-Theoretic Semantics.

Robert A. Kowalski, Fariba Sadri

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2009

Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents.

Robert A. Kowalski, Fariba Sadri

Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

Assumption-Based Argumentation.

Phan Minh Dung, Robert A. Kowalski, Francesca Toni

Proceedings of the Argumentation in Artificial Intelligence, 2009

2006

Dialectic proof procedures for assumption-based, admissible argumentation.

Phan Minh Dung, Robert A. Kowalski, Francesca Toni

Artif. Intell., 2006

Computational Logic in an Object-Oriented World.

Bob Kowalski

Proceedings of the Reasoning, 2006

2005

Reconciling Logic and Objects.

Robert A. Kowalski

Proceedings of the Sixth Mexican International Conference on Computer Science (ENC 2005), 2005

The Logical Way to Be Artificially Intelligent.

Robert A. Kowalski

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

A Logic-based Calculus of Events.

Robert A. Kowalski, Marek J. Sergot

Proceedings of the Language of Time - A Reader., 2005

2001

Is Logic Really Dead or Only Just Sleeping?

Robert A. Kowalski

Proceedings of the Logic Programming, 17th International Conference, 2001

1999

From Logic Programming Towards Multi-Agent Systems.

Robert A. Kowalski, Fariba Sadri

Ann. Math. Artif. Intell., 1999

1998

Executing Suspended Logic Programs.

Robert A. Kowalski, Francesca Toni, Gerhard Wetzel

Fundam. Informaticae, 1998

1997

Reconciling the Event Calculus With the Situation Calculus.

Robert A. Kowalski, Fariba Sadri

J. Log. Program., 1997

The Iff Proof Procedure for Abductive Logic Programming.

Tze Ho Fung, Robert A. Kowalski

J. Log. Program., 1997

An Abstract, Argumentation-Theoretic Approach to Default Reasoning.

Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni

Artif. Intell., 1997

Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases.

Anthony J. Bonner, Burkhard Freitag, Laura Giordano, Robert A. Kowalski

Proceedings of the Logic Programming, 1997

1996

Abstract Argumentation.

Robert A. Kowalski, Francesca Toni

Artif. Intell. Law, 1996

Using Meta-Logic to Reconcile Reactive with Rational Agents.

Robert A. Kowalski

Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1996

Synthesis of Proof Procedures for Default Reasoning.

Phan Minh Dung, Robert A. Kowalski, Francesca Toni

Proceedings of the Logic Programming Synthesis and Transformation, 1996

Towards a Unified Agent Architecture that Combines Rationality with Reactivity.

Robert A. Kowalski, Fariba Sadri

Proceedings of the Logic in Databases, 1996

Logic Programming with Integrity Constraints.

Robert A. Kowalski

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

PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract).

Gerhard Wetzel, Robert A. Kowalski, Francesca Toni

Proceedings of the Logic Programming, 1996

1995

Workshop Report: Application of Logic Programming to Legal Reasoning.

Robert A. Kowalski

New Gener. Comput., 1995

A Theorem-Proving approach to CLP.

Gerhard Wetzel, Robert A. Kowalski, Francesca Toni

Proceedings of the 11. Workshop Logische Programmierung, 1995

An Argumentation-Theoretic Approach to Logic Program Transformation.

Francesca Toni, Robert A. Kowalski

Proceedings of the Logic Programming Synthesis and Transformation, 1995

Reduction of Abductive Logic Programs to Normal Logic Programs.

Francesca Toni, Robert A. Kowalski

Proceedings of the Logic Programming, 1995

Variants of the Event Calculus.

Fariba Sadri, Robert A. Kowalski

Proceedings of the Logic Programming, 1995

Logical Foundations for Multi-agent Systems.

Robert A. Kowalski

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Towards a Declarative and Efficient Glass-Box CLP Language.

Robert A. Kowalski, Francesca Toni, Gerhard Wetzel

Proceedings of the Tenth Logic Programming Workshop, 1994

The Situation Calculus and Event Calculus Compared.

Robert A. Kowalski, Fariba Sadri

Proceedings of the Logic Programming, 1994

An abstract argumentation-theoretic framework for non-monotonic reasoning (joint work with Bondaranko, Dung, and Toni).

Bob Kowalski

Proceedings of the ICLP 1994 Workshop W12: Legal Application of Logic Programming, 1994

Temporal Database Technology for Air Traffic Flow Management.

Suryanarayana M. Sripada, B. L. Rosser, J. M. Bedford, Robert A. Kowalski

Proceedings of the Applications of Databases, First International Conference, 1994

1993

Editorial: An Undergraduate Degree in Practical Reasoning.

Robert A. Kowalski

J. Log. Comput., 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

An Assumption-Based Framework for Non-Monotonic Reasoning.

Andrei Bondarenko, Francesca Toni, Robert A. Kowalski

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

1992

Abductive Logic Programming.

Antonis C. Kakas, Robert A. Kowalski, Francesca Toni

J. Log. Comput., 1992

Database Updates in the Event Calculus.

Robert A. Kowalski

J. Log. Program., 1992

Theory and Practice in Logic Programming.

Robert A. Kowalski

Proceedings of the Logic Programming in Action, 1992

Panel: A Springboard for Information Processing in the 21st Century.

Robert A. Kowalski

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

Logic Programs with Exceptions.

Robert A. Kowalski, Fariba Sadri

New Gener. Comput., 1991

Logic Programing in Artificial Intelligence.

Robert A. Kowalski

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Legislation as Logic Programs.

Robert A. Kowalski

Proceedings of the Logic Programming, 1991

1989

Central Government Pension Rules as a Logic Program.

K. K. Bajaj, R. K. Dubash, Robert A. Kowalski

Proceedings of the Knowledge Based Computer Systems, 1989

Abduction Compared with Negation by Failure.

Kave Eshghi, Robert A. Kowalski

Proceedings of the Logic Programming, 1989

The Treatment of Negation in Logic Programs for Representing Legislation.

Robert A. Kowalski

Proceedings of the Second International Conference on Artificial Intelligence and Law, 1989

A Proposal for an Undergraduate Degree in the Uses of Logic.

Robert A. Kowalski

Proceedings of the Artificial Intelligence in Higher Education, 1989

1988

The Early Years of Logic Programming.

Robert A. Kowalski

Commun. ACM, 1988

Knowledge Management - Panel Report.

Robert A. Kowalski, Douglas B. Lenat, Elliot Soloway, Michael Stonebraker, Adrian Walker

Proceedings of the Expert Database Systems, 1988

A Theorem-Proving Approach to Database Integrity.

Fariba Sadri, Robert A. Kowalski

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987

Integrity Checking in Deductive Databases.

Robert A. Kowalski, Fariba Sadri, Paul Soper

Proceedings of the VLDB'87, 1987

1986

A Logic-based Calculus of Events.

Robert A. Kowalski, Marek J. Sergot

New Gener. Comput., 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

The limitation of logic.

Robert A. Kowalski

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985

Directions for Logic Programming.

Robert A. Kowalski

Proceedings of the 1985 Symposium on Logic Programming, 1985

Computer Representation of the Law.

Robert A. Kowalski, Marek J. Sergot

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

The Limitaions of Logic and Its Role in Artificial Intelligence.

Robert A. Kowalski

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

1984

Logic Programming in the Fifth Generation.

Robert A. Kowalski

Knowl. Eng. Rev., 1984

Software engineering and artificial intelligence in new generation computing.

Robert A. Kowalski

Future Gener. Comput. Syst., 1984

Logic for Knowledge Representation.

Robert A. Kowalski

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

Logic as a Database Language.

Robert A. Kowalski

Proceedings of the Third British National Conference on Databases (BNCOD 3), 1984

1983

Panel on the Fifth Generation Project.

Robert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar

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

Logic Programming.

Robert A. Kowalski

Proceedings of the Information Processing 83, 1983

1982

Logic as a Computer Language for Children.

Robert A. Kowalski

Proceedings of the 5th European Conference on Artificial Intelligence, 1982

1979

Algorithm = Logic + Control.

Robert A. Kowalski

Commun. ACM, 1979

Logic and Semantic Networks.

Amaryllis Deliyanni, Robert A. Kowalski

Commun. ACM, 1979

Logic for problem solving.

Robert A. Kowalski

The computer science library : Artificial intelligence series 7, North-Holland, ISBN: 0444003681, 1979

1977

Logic for Data Description.

Robert A. Kowalski

Proceedings of the Logic and Data Bases, 1977

1976

The Semantics of Predicate Logic as a Programming Language.

Maarten H. van Emden, Robert A. Kowalski

J. ACM, 1976

1975

A Proof Procedure Using Connection Graphs.

Robert A. Kowalski

J. ACM, 1975

1974

Predicate Logic as Programming Language.

Robert A. Kowalski

Proceedings of the Information Processing, 1974

1971

Linear Resolution with Selection Function.

Robert A. Kowalski, Donald Kuehner

Artif. Intell., 1971