Donald Perlis

Available identifiers

Publication	Date of Publication	Type
Postulates for revising BDI structures	2011-02-25	Paper
A logic-based model of intention formation and action for multi-agent subcontracting	2007-10-23	Paper
Logic, Self-awareness and Self-improvement: the Metacognitive Loop and the Problem of Brittleness	2005-04-29	Paper
How to (plan to) meet a deadline between \textit{now} and \textit{then}	1997-04-21	Paper
https://portal.mardi4nfdi.de/entity/Q3142028	1993-12-06	Paper
Nonmonotonicity and the scope of reasoning	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3989940	1992-06-28	Paper
Truth and meaning	1989-01-01	Paper
Languages with self-reference. II: Knowledge, belief, and modality	1988-01-01	Paper
Autocircumscription	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3807198	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3807197	1988-01-01	Paper
Completeness results for circumscription	1986-01-01	Paper
Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)	1985-01-01	Paper
Computing protected circumscription	1985-01-01	Paper
Group algebras and model theory	1976-01-01	Paper
An application of compiler simulation at the source language level	1976-01-01	Paper
An extension of Ackermann's set theory	1973-01-01	Paper

This page was built for person: Donald Perlis