Robert A. Kowalski

Publication Activity (10 Years)

Years Active: 1971-2019
Publications (10 Years): 7

Top Topics

Computational Logic

Top Venues

Theory Pract. Log. Program.

Bridging@CogSci

Publications

Jan Wielemaker, Fabrizio Riguzzi, Robert A. Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages. Theory Pract. Log. Program. 19 (2) (2019)
Robert A. Kowalski, Ken Satoh
Obligation as Optimal Goal Satisfaction. J. Philos. Log. 47 (4) (2018)
Robert A. Kowalski
Satisfiability for First-order Logic as a Non-Modal Deontic Logic. Bridging@CogSci (2017)
Robert A. Kowalski
Programming Machine Ethics by Luís Moniz Pereira and Ari Saptawijaya. AI Soc. 32 (2) (2017)
Robert A. Kowalski, Fariba Sadri, Miguel Calejo
How to do it with LPS (Logic-Based Production System). RuleML+RR (Supplement) (2017)
Robert A. Kowalski, Fariba Sadri
Programming in logic without logic programming. CoRR (2016)
Robert A. Kowalski, Fariba Sadri
Programming in logic without logic programming. Theory Pract. Log. Program. 16 (3) (2016)
Robert A. Kowalski
Computational Logic as an Intelligent Agent's Language of Thought. ICAART (1) (2015)
Robert A. Kowalski, Fariba Sadri
Reactive Computing as Model Generation. New Gener. Comput. 33 (1) (2015)
Robert A. Kowalski, Fariba Sadri
A Logical Characterization of a Reactive System Language. RuleML (2014)
Robert A. Kowalski
Logic Programming in the 1970s. LPNMR (2013)
Robert A. Kowalski, Fariba Sadri
Teleo-Reactive Abductive Logic Programs. Logic Programs, Norms and Action (2012)
Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen Muggleton, Giovanni Sartor
The Scientific Contribution of Marek Sergot. Logic Programs, Norms and Action (2012)
Robert A. Kowalski, Fariba Sadri
A Logic-Based Framework for Reactive Systems. RuleML (2012)
Robert A. Kowalski, Anthony Burton
WUENIC - A Case Study in Rule-Based Knowledge Representation and Reasoning. JSAI-isAI Workshops (2011)
Robert A. Kowalski, Fariba Sadri
Abductive logic programming agents with destructive databases. Ann. Math. Artif. Intell. 62 (1-2) (2011)
Robert A. Kowalski
Artificial Intelligence and Human Thinking. ICCSW (2011)
Robert A. Kowalski
Artificial Intelligence and Human Thinking. IJCAI (2011)
Robert A. Kowalski, Fariba Sadri
An Agent Language with Destructive Assignment and Model-Theoretic Semantics. CLIMA (2010)
Robert A. Kowalski, Fariba Sadri
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. RR (2009)
Phan Minh Dung, Robert A. Kowalski, Francesca Toni
Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell. 170 (2) (2006)
Robert A. Kowalski
Reconciling Logic and Objects. ENC (2005)
Robert A. Kowalski
The Logical Way to Be Artificially Intelligent. CLIMA (2005)
Robert A. Kowalski
Directions for Logic Programming. Computational Logic: Logic Programming and Beyond (2002)
Robert A. Kowalski
Is Logic Really Dead or Only Just Sleeping? ICLP (2001)
Robert A. Kowalski, Fariba Sadri
From Logic Programming Towards Multi-Agent Systems. Ann. Math. Artif. Intell. 25 (3-4) (1999)
Robert A. Kowalski, Francesca Toni, Gerhard Wetzel
Executing Suspended Logic Programs. Fundam. Informaticae 34 (3) (1998)
Robert A. Kowalski, Fariba Sadri
Reconciling the Event Calculus With the Situation Calculus. J. Log. Program. 31 (1-3) (1997)
Tze Ho Fung, Robert A. Kowalski
The Iff Proof Procedure for Abductive Logic Programming. J. Log. Program. 33 (2) (1997)
Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni
An Abstract, Argumentation-Theoretic Approach to Default Reasoning. Artif. Intell. 93 (1997)
Anthony J. Bonner, Burkhard Freitag, Laura Giordano, Robert A. Kowalski
Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. ILPS (1997)
Phan Minh Dung, Robert A. Kowalski, Francesca Toni
Synthesis of Proof Procedures for Default Reasoning. LOPSTR (1996)
Robert A. Kowalski, Fariba Sadri
Towards a Unified Agent Architecture that Combines Rationality with Reactivity. Logic in Databases (1996)
Robert A. Kowalski
Using Meta-Logic to Reconcile Reactive with Rational Agents. PAAM (1996)
Robert A. Kowalski
Logic Programming with Integrity Constraints. JELIA (1996)
Robert A. Kowalski, Francesca Toni
Abstract Argumentation. Artif. Intell. Law 4 (3-4) (1996)
Gerhard Wetzel, Robert A. Kowalski, Francesca Toni
PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). JICSLP (1996)
Robert A. Kowalski
Logical Foundations for Multi-agent Systems. GULP-PRODE (1995)
Robert A. Kowalski
Workshop Report: Application of Logic Programming to Legal Reasoning. New Gener. Comput. 13 (3&4) (1995)
Fariba Sadri, Robert A. Kowalski
Variants of the Event Calculus. ICLP (1995)
Francesca Toni, Robert A. Kowalski
An Argumentation-Theoretic Approach to Logic Program Transformation. LOPSTR (1995)
Francesca Toni, Robert A. Kowalski
Reduction of Abductive Logic Programs to Normal Logic Programs. ICLP (1995)
Gerhard Wetzel, Robert A. Kowalski, Francesca Toni
A Theorem-Proving approach to CLP. WLP (1995)
Robert A. Kowalski, Francesca Toni, Gerhard Wetzel
Towards a Declarative and Efficient Glass-Box CLP Language. WLP (1994)
Robert A. Kowalski, Fariba Sadri
The Situation Calculus and Event Calculus Compared. ILPS (1994)
Suryanarayana M. Sripada, B. L. Rosser, J. M. Bedford, Robert A. Kowalski
Temporal Database Technology for Air Traffic Flow Management. ADB (1994)
Ehud Shapiro, David H. D. Warren, Kazuhiro Fuchi, Robert A. Kowalski, Koichi Furukawa, Kazunori Ueda, Kenneth M. Kahn, Takashi Chikayama, Evan Tick
The Fifth Generation Project: Personal Perspectives. Commun. ACM 36 (3) (1993)
Andrei Bondarenko, Francesca Toni, Robert A. Kowalski
An Assumption-Based Framework for Non-Monotonic Reasoning. LPNMR (1993)
Robert A. Kowalski
Editorial: An Undergraduate Degree in Practical Reasoning. J. Log. Comput. 3 (3) (1993)
Robert A. Kowalski
Panel: A Springboard for Information Processing in the 21st Century. FGCS (1992)
Robert A. Kowalski
Database Updates in the Event Calculus. J. Log. Program. 12 (1&2) (1992)
Robert A. Kowalski
Legislation as Logic Programs. Logic Programming Summer School (1992)
Antonis C. Kakas, Robert A. Kowalski, Francesca Toni
Abductive Logic Programming. J. Log. Comput. 2 (6) (1992)
Robert A. Kowalski
Theory and Practice in Logic Programming. Logic Programming Summer School (1992)
Robert A. Kowalski
Logic Programing in Artificial Intelligence. IJCAI (1991)
Robert A. Kowalski
Legislation as Logic Programs. ICLP (1991)
Robert A. Kowalski, Fariba Sadri
Logic Programs with Exceptions. New Gener. Comput. 9 (3/4) (1991)
Robert A. Kowalski, Fariba Sadri
Logic Programs with Exceptions. ICLP (1990)
Robert A. Kowalski
The Treatment of Negation in Logic Programs for Representing Legislation. ICAIL (1989)
Robert A. Kowalski
A Proposal for an Undergraduate Degree in the Uses of Logic. Artificial Intelligence in Higher Education (1989)
Kave Eshghi, Robert A. Kowalski
Abduction Compared with Negation by Failure. ICLP (1989)
K. K. Bajaj, R. K. Dubash, Robert A. Kowalski
Central Government Pension Rules as a Logic Program. KBCS (1989)
Robert A. Kowalski, Douglas B. Lenat, Elliot Soloway, Michael Stonebraker, Adrian Walker
Knowledge Management - Panel Report. Expert Database Conf. (1988)
Robert A. Kowalski
The Early Years of Logic Programming. Commun. ACM 31 (1) (1988)
Robert A. Kowalski, Fariba Sadri, Paul Soper
Integrity Checking in Deductive Databases. VLDB (1987)
Robert A. Kowalski
Directions for Logic Programming. Wissensbasierte Systeme (1987)
Marek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory
The British Nationality Act as a Logic Program. Commun. ACM 29 (5) (1986)
Robert A. Kowalski, Marek J. Sergot
A Logic-based Calculus of Events. New Gener. Comput. 4 (1) (1986)
Robert A. Kowalski
The limitation of logic. ACM Conference on Computer Science (1986)
Robert A. Kowalski, Marek J. Sergot
Computer Representation of the Law. IJCAI (1985)
Robert A. Kowalski
The Limitaions of Logic and Its Role in Artificial Intelligence. Foundations of Knowledge Base Management (Xania) (1985)
Robert A. Kowalski, Marek J. Sergot
A Logic-Based Calculus of Events. Foundations of Knowledge Base Management (Xania) (1985)
Robert A. Kowalski
Directions for Logic Programming. SLP (1985)
Robert A. Kowalski
Logic as a Database Language. BNCOD (1984)
Robert A. Kowalski
Logic for Knowledge Representation. FSTTCS (1984)
Robert A. Kowalski
Logic Programming in the Fifth Generation. Knowl. Eng. Rev. 1 (1) (1984)
Robert A. Kowalski
Software engineering and artificial intelligence in new generation computing. Future Gener. Comput. Syst. 1 (1) (1984)
Robert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar
Panel on the Fifth Generation Project. IJCAI (1983)
Robert A. Kowalski
Logic Programming. IFIP Congress (1983)
Robert A. Kowalski
Logic as a Computer Language for Children. ECAI (1982)
Amaryllis Deliyanni, Robert A. Kowalski
Logic and Semantic Networks. Commun. ACM 22 (3) (1979)
Robert A. Kowalski
Algorithm = Logic + Control. Commun. ACM 22 (7) (1979)
Robert A. Kowalski
Logic for Data Description. Logic and Data Bases (1977)
Maarten H. van Emden, Robert A. Kowalski
The Semantics of Predicate Logic as a Programming Language. J. ACM 23 (4) (1976)
Robert A. Kowalski
A Proof Procedure Using Connection Graphs. J. ACM 22 (4) (1975)
Robert A. Kowalski
Predicate Logic as Programming Language. IFIP Congress (1974)
Robert A. Kowalski, Donald Kuehner
Linear Resolution with Selection Function. Artif. Intell. 2 (3/4) (1971)