Robert Kowalski

Available identifiers

zbMath Open kowalski.robert-aDBLPk/RobertAKowalskiWikidataQ3490465 ScholiaQ3490465MaRDI QIDQ264955

List of research outcomes

Publication	Date of Publication	Type
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages	2019-09-19	Paper
https://portal.mardi4nfdi.de/entity/Q4619827	2019-02-07	Paper
Obligation as optimal goal satisfaction	2018-09-05	Paper
Programming in logic without logic programming	2017-11-09	Paper
A logic-based calculus of events	2017-02-28	Paper
Reactive computing as model generation	2016-04-01	Paper
Logic Programming in the 1970s	2013-10-10	Paper
Teleo-Reactive Abductive Logic Programs	2012-07-23	Paper
The Scientific Contribution of Marek Sergot	2012-07-23	Paper
Abductive logic programming agents with destructive databases	2012-01-13	Paper
Computational Logic and Human Thinking	2011-08-10	Paper
An Agent Language with Destructive Assignment and Model-Theoretic Semantics	2010-08-24	Paper
The Logical Way to Be Artificially Intelligent	2009-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3509186	2008-07-01	Paper
Dialectic proof procedures for assumption-based, admissible argumentation	2007-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4736493	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4707733	2003-06-11	Paper
From logic programming towards multi-agent systems	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4264198	1999-09-16	Paper
The IFF proof procedure for abductive logic programming	1998-01-21	Paper
Reconciling the event calculus with the situation calculus	1997-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4698602	1995-05-11	Paper
Abductive Logic Programming	1994-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q4016553	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4012259	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3983044	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3862380	1979-01-01	Paper
Algorithm = logic + control	1979-01-01	Paper
Logic and semantic networks	1979-01-01	Paper
The Semantics of Predicate Logic as a Programming Language	1976-01-01	Paper
A Proof Procedure Using Connection Graphs	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4051550	1974-01-01	Paper
Linear resolution with selection function	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5633671	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5623241	1969-01-01	Paper

Research outcomes over time

This page was built for person: Robert Kowalski