The following pages link to Donald Perlis (Q625695):
Displaying 16 items.
- Postulates for revising BDI structures (Q625696) (← links)
- Truth and meaning (Q908898) (← links)
- Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!) (Q1068068) (← links)
- Completeness results for circumscription (Q1073787) (← links)
- Languages with self-reference. II: Knowledge, belief, and modality (Q1101099) (← links)
- Autocircumscription (Q1105394) (← links)
- Nonmonotonicity and the scope of reasoning (Q1189875) (← links)
- Group algebras and model theory (Q1224093) (← links)
- A logic-based model of intention formation and action for multi-agent subcontracting (Q2457680) (← links)
- (Q3142028) (← links)
- Computing protected circumscription (Q3702535) (← links)
- (Q3807197) (← links)
- (Q3807198) (← links)
- (Q3989940) (← links)
- An application of compiler simulation at the source language level (Q4086691) (← links)
- Logic, Self-awareness and Self-improvement: the Metacognitive Loop and the Problem of Brittleness (Q4673355) (← links)
