Robert A. Kowalski

According to our database1, Robert A. Kowalski authored at least 88 papers between 1971 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

ACM Fellow

ACM Fellow 2001, "For his work as a cofounder of the field of logic programming, for providing the field's first foundations, and for pursuing applications to legal reasoning, temporal reasoning, metalevel reasoning, default reasoning, and argumentation.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages.
TPLP, 2019

2018
Obligation as Optimal Goal Satisfaction.
J. Philosophical Logic, 2018

2017
Programming Machine Ethics by Luís Moniz Pereira and Ari Saptawijaya.
AI Soc., 2017

How to do it with LPS (Logic-Based Production System).
Proceedings of the Doctoral Consortium, 2017

Satisfiability for First-order Logic as a Non-Modal Deontic Logic.
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2017

2016
Programming in logic without logic programming.
TPLP, 2016

2015
Reactive Computing as Model Generation.
New Generation Comput., 2015

Computational Logic as an Intelligent Agent's Language of Thought.
Proceedings of the ICAART 2015, 2015

2014
A Logical Characterization of a Reactive System Language.
Proceedings of the Rules on the Web. From Theory to Applications, 2014

2013
Logic Programming in the 1970s.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012
A Logic-Based Framework for Reactive Systems.
Proceedings of the Rules on the Web: Research and Applications, 2012

Teleo-Reactive Abductive Logic Programs.
Proceedings of the Logic Programs, Norms and Action, 2012

The Scientific Contribution of Marek Sergot.
Proceedings of the Logic Programs, Norms and Action, 2012

2011
Abductive logic programming agents with destructive databases.
Ann. Math. Artif. Intell., 2011

WUENIC - A Case Study in Rule-Based Knowledge Representation and Reasoning.
Proceedings of the New Frontiers in Artificial Intelligence, 2011

Artificial Intelligence and Human Thinking.
Proceedings of the IJCAI 2011, 2011

Artificial Intelligence and Human Thinking.
Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

2010
An Agent Language with Destructive Assignment and Model-Theoretic Semantics.
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.
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

Assumption-Based Argumentation.
Proceedings of the Argumentation in Artificial Intelligence, 2009

2006
Dialectic proof procedures for assumption-based, admissible argumentation.
Artif. Intell., 2006

Computational Logic in an Object-Oriented World.
Proceedings of the Reasoning, 2006

2005
Reconciling Logic and Objects.
Proceedings of the Sixth Mexican International Conference on Computer Science (ENC 2005), 2005

The Logical Way to Be Artificially Intelligent.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2002
Directions for Logic Programming.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
Is Logic Really Dead or Only Just Sleeping?
Proceedings of the Logic Programming, 17th International Conference, 2001

1999
From Logic Programming Towards Multi-Agent Systems.
Ann. Math. Artif. Intell., 1999

1998
Executing Suspended Logic Programs.
Fundam. Inform., 1998

1997
Reconciling the Event Calculus With the Situation Calculus.
J. Log. Program., 1997

The Iff Proof Procedure for Abductive Logic Programming.
J. Log. Program., 1997

An Abstract, Argumentation-Theoretic Approach to Default Reasoning.
Artif. Intell., 1997

Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases.
Proceedings of the Logic Programming, 1997

1996
Abstract Argumentation.
Artif. Intell. Law, 1996

Synthesis of Proof Procedures for Default Reasoning.
Proceedings of the Logic Programming Synthesis and Transformation, 1996

Towards a Unified Agent Architecture that Combines Rationality with Reactivity.
Proceedings of the Logic in Databases, 1996

Logic Programming with Integrity Constraints.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract).
Proceedings of the Logic Programming, 1996

1995
Workshop Report: Application of Logic Programming to Legal Reasoning.
New Generation Comput., 1995

A Theorem-Proving approach to CLP.
Proceedings of the 11. Workshop Logische Programmierung, 1995

An Argumentation-Theoretic Approach to Logic Program Transformation.
Proceedings of the Logic Programming Synthesis and Transformation, 1995

Reduction of Abductive Logic Programs to Normal Logic Programs.
Proceedings of the Logic Programming, 1995

Variants of the Event Calculus.
Proceedings of the Logic Programming, 1995

Logical Foundations for Multi-agent Systems.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Towards a Declarative and Efficient Glass-Box CLP Language.
Proceedings of the Tenth Logic Programming Workshop, 1994

The Situation Calculus and Event Calculus Compared.
Proceedings of the Logic Programming, 1994

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

Temporal Database Technology for Air Traffic Flow Management.
ADB, 1994

1993
Editorial: An Undergraduate Degree in Practical Reasoning.
J. Log. Comput., 1993

The Fifth Generation Project: Personal Perspectives.
Commun. ACM, 1993

An Assumption-Based Framework for Non-Monotonic Reasoning.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

1992
Abductive Logic Programming.
J. Log. Comput., 1992

Database Updates in the Event Calculus.
J. Log. Program., 1992

Legislation as Logic Programs.
Proceedings of the Logic Programming in Action, 1992

Theory and Practice in Logic Programming.
Proceedings of the Logic Programming in Action, 1992

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

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

Legislation as Logic Programs.
Proceedings of the Logic Programming, 1991

1990
Logic Programs with Exceptions.
Proceedings of the Logic Programming, 1990

1989
Central Government Pension Rules as a Logic Program.
Proceedings of the Knowledge Based Computer Systems, 1989

Abduction Compared with Negation by Failure.
Proceedings of the Logic Programming, 1989

The Treatment of Negation in Logic Programs for Representing Legislation.
Proceedings of the Second International Conference on Artificial Intelligence and Law, 1989

A Proposal for an Undergraduate Degree in the Uses of Logic.
Proceedings of the Artificial Intelligence in Higher Education, 1989

1988
The Early Years of Logic Programming.
Commun. ACM, 1988

Knowledge Management - Panel Report.
Expert Database Conf., 1988

A Theorem-Proving Approach to Database Integrity.
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987
Directions for Logic Programming.
Proceedings of the Wissensbasierte Systeme, 1987

Integrity Checking in Deductive Databases.
Proceedings of the VLDB'87, 1987

1986
The British Nationality Act as a Logic Program.
Commun. ACM, 1986

The limitation of logic.
Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985
Directions for Logic Programming.
Proceedings of the 1985 Symposium on Logic Programming, 1985

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

A Logic-Based Calculus of Events.
Foundations of Knowledge Base Management (Xania), 1985

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

1984
Logic Programming in the Fifth Generation.
Knowledge Eng. Review, 1984

Software engineering and artificial intelligence in new generation computing.
Future Generation Comp. Syst., 1984

Logic for Knowledge Representation.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

Logic as a Database Language.
Proceedings of the Third British National Conference on Databases (BNCOD 3), 1984

1983
Panel on the Fifth Generation Project.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Logic Programming.
IFIP Congress, 1983

1982
Logic as a Computer Language for Children.
ECAI, 1982

1979
Algorithm = Logic + Control.
Commun. ACM, 1979

Logic and Semantic Networks.
Commun. ACM, 1979

Logic for problem solving.
The computer science library : Artificial intelligence series 7, North-Holland, ISBN: 0444003681, 1979

1977
Logic for Data Description.
Proceedings of the Logic and Data Bases, 1977

1976
The Semantics of Predicate Logic as a Programming Language.
J. ACM, 1976

1975
A Proof Procedure Using Connection Graphs.
J. ACM, 1975

1974
Predicate Logic as Programming Language.
IFIP Congress, 1974

1971
Linear Resolution with Selection Function.
Artif. Intell., 1971


  Loading...