Erik Sandewall

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
From systems to logic in the early development of nonmonotonic reasoning Artificial Intelligence	2011-06-17	Paper
Defeasible inheritance with doubt index and its axiomatic characterization Artificial Intelligence	2011-01-31	Paper
The Leordo computation system	2010-02-05	Paper
scientific article; zbMATH DE number 1947503 (Why is no real title available?)	2003-07-09	Paper
scientific article; zbMATH DE number 1390362 (Why is no real title available?)	2000-08-01	Paper
An early use of continuations and partial evaluation for compiling rules written in first-order predicate calculus Higher-Order and Symbolic Computation	1999-09-22	Paper
scientific article; zbMATH DE number 774417 (Why is no real title available?)	1995-07-16	Paper
The Range of Applicability of some Non-monotonic Logics for Strict Inertia Journal Of Logic And Computation	1994-12-07	Paper
scientific article; zbMATH DE number 4174354 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4104922 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4166881 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 3583254 (Why is no real title available?)	1978-01-01	Paper
A partial evaluator, and its use as a programming tool Artificial Intelligence	1976-01-01	Paper
Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs IEEE Transactions on Computers	1976-01-01	Paper
Formal methods in the design of question-answering systems Artificial Intelligence	1971-01-01	Paper
scientific article; zbMATH DE number 3351188 (Why is no real title available?)	1969-01-01	Paper

Research outcomes over time

This page was built for person: Erik Sandewall