Robert Kowalski

Available identifiers

zbMath Open kowalski.robert-aWikidataQ3490465 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
The Scientific Contribution of Marek Sergot	2012-07-23	Paper
Teleo-Reactive Abductive Logic Programs	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
Logic and semantic networks	1979-01-01	Paper
Algorithm = logic + control	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert Kowalski