Erik Sandewall

Available identifiers

zbMath Open sandewall.erikMaRDI QIDQ543605

List of research outcomes

Publication	Date of Publication	Type
From systems to logic in the early development of nonmonotonic reasoning	2011-06-17	Paper
Defeasible inheritance with doubt index and its axiomatic characterization	2011-01-31	Paper
The Leordo computation system	2010-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4411526	2003-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4934654	2000-08-01	Paper
An early use of continuations and partial evaluation for compiling rules written in first-order predicate calculus	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4839154	1995-07-16	Paper
The Range of Applicability of some Non-monotonic Logics for Strict Inertia	1994-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q3198889	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3829534	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3493250	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4151704	1978-01-01	Paper
A partial evaluator, and its use as a programming tool	1976-01-01	Paper
Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs	1976-01-01	Paper
Formal methods in the design of question-answering systems	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5626281	1969-01-01	Paper

Research outcomes over time

This page was built for person: Erik Sandewall