BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × France
1 × Israel
1 × Japan
1 × Sweden
1 × The Netherlands
2 × USA
Collaborated with:
F.Sadri F.Toni P.M.Dung P.Soper
Talks about:
logic (7) program (6) calculus (3) event (2) transform (1) synthesi (1) procedur (1) argument (1) approach (1) variant (1)

Person: Robert A. Kowalski

DBLP DBLP: Kowalski:Robert_A=

Facilitated 6 volumes:

CADE 1980Ed
TAPSOFT, Vol.1: AS 1987Ed
TAPSOFT, Vol.2: AS 1987Ed
TAPSOFT, Vol.1: CAAP 1987Ed
TAPSOFT, Vol.2: CFLP 1987Ed

Contributed to:

ICLP 20012001
LOPSTR 19961996
ICLP 19951995
LOPSTR 19951995
ILPS 19941994
ICLP 19911991
ICLP 19901990
VLDB 19871987
SLP 19851985

Wrote 11 papers:

ICLP-2001-Kowalski #logic #question
Is Logic Really Dead or Only Just Sleeping? (RAK), pp. 2–3.
LOPSTR-1996-DungKT #proving #reasoning #synthesis
Synthesis of Proof Procedures for Default Reasoning (PMD, RAK, FT), pp. 313–324.
ICLP-1995-SadriK #calculus
Variants of the Event Calculus (FS, RAK), pp. 67–81.
ICLP-1995-ToniK #abduction #logic programming #reduction #source code
Reduction of Abductive Logic Programs to Normal Logic Programs (FT, RAK), pp. 367–381.
LOPSTR-1995-ToniK #approach #logic programming #program transformation
An Argumentation-Theoretic Approach to Logic Program Transformation (FT, RAK), pp. 61–75.
ILPS-1994-KowalskiS #calculus
The Situation Calculus and Event Calculus Compared (RAK, FS), pp. 539–553.
ICLP-1991-Kowalski #logic programming #source code
Legislation as Logic Programs (RAK), p. 910.
CLP-1990-KowalskiS90 #exception #logic programming #source code
Logic Programs with Exceptions (RAK, FS), pp. 598–613.
VLDB-1987-KowalskiSS #database #deduction
Integrity Checking in Deductive Databases (RAK, FS, PS), pp. 61–69.
SLP-1985-Kowalski85 #logic programming
Directions for Logic Programming (RAK), pp. 2–7.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.