The following pages link to Alexander Bochman (Q190252):
Displaying 33 items.
- Concerted instant-interval temporal semantics. II: Temporal valuations and logics of change (Q803117) (← links)
- A causal approach to nonmonotonic reasoning (Q814640) (← links)
- Default logic generalized and simplified (Q1028638) (← links)
- On the relation between default and modal nonmonotonic reasoning (Q1274266) (← links)
- A foundational theory of belief and belief change (Q1285676) (← links)
- Brave nonmonotonic inference and its kinds (Q1397238) (← links)
- Modal nonmonotonic logics demodalized (Q1924826) (← links)
- Causal dynamic inference (Q1935591) (← links)
- A foundationalist view of the AGM theory of belief change (Q1978245) (← links)
- Sequential dynamic logic (Q2255197) (← links)
- Concerted instant-interval temporal semantics. I: Temporal ontologies (Q2639048) (← links)
- (Q2727768) (← links)
- Here and There among Logics for Logic Programming (Q2900511) (← links)
- Yet Another Characterization of Strong Equivalence (Q2909135) (← links)
- (Q3007248) (← links)
- (Q3126167) (← links)
- A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion (Q4208858) (← links)
- A logical foundation for logic programming II: Semantics of general logic programs (Q4208859) (← links)
- Collective Argumentation and Disjunctive Logic Programming (Q4444967) (← links)
- Belief contraction as nonmonotonic inference (Q4508249) (← links)
- (Q4546703) (← links)
- Explanatory Nonmonotonic Reasoning (Q4676553) (← links)
- (Q4797421) (← links)
- (Q4906883) (← links)
- Default consequence relations as a logical framework for logic programs (Q5101454) (← links)
- (Q5288468) (← links)
- (Q5414672) (← links)
- A Causal Theory of Abduction (Q5431423) (← links)
- A Logical Theory of Causality (Q5857680) (← links)
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness (Q5937806) (← links)
- Entrenchment versus dependence: Coherence and foundations in belief change (Q5960006) (← links)
- An inferential theory of causal reasoning (Q6562524) (← links)
- On logics and semantics for general logic programs (Q6623792) (← links)
