The following pages link to Thomas Andreas Meyer (Q1582324):
Displaying 47 items.
- (Q201921) (redirect page) (← links)
- (Q535323) (redirect page) (← links)
- How to revise a total preorder (Q535324) (← links)
- (Q588479) (redirect page) (← links)
- Double preference relations for generalised belief change (Q622124) (← links)
- Equilibria in social belief removal (Q625714) (← links)
- A general family of preferential belief removal operators (Q692180) (← links)
- Iterated belief change and the recovery axiom (Q1029821) (← links)
- Non-prioritized ranked belief change (Q1402585) (← links)
- Infobase change: A first approximation (Q1582326) (← links)
- Systematic withdrawal (Q1863960) (← links)
- Refined epistemic entrenchment (Q1973931) (← links)
- A KLM perspective on defeasible reasoning for description logics (Q2185464) (← links)
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure (Q2224833) (← links)
- On rational entailment for propositional typicality logic (Q2289021) (← links)
- Taking defeasible entailment beyond rational closure (Q2296705) (← links)
- A Bayesian extension of the description logic \(\mathcal{ALC}\) (Q2296717) (← links)
- Relaxations of semiring constraint satisfaction problems (Q2379967) (← links)
- SLAP: specification logic of actions with probability (Q2447174) (← links)
- Belief liberation (and retraction) (Q2574880) (← links)
- Preferential Reasoning for Modal Logics (Q2825407) (← links)
- (Q2851825) (← links)
- Prediction and Explanation over DL-Lite Data Streams (Q2870152) (← links)
- Reachability Modules for the Description Logic $\mathcal{SRIQ}$ (Q2870159) (← links)
- PTL: A Propositional Typicality Logic (Q2915063) (← links)
- Relevant Closure: A New Form of Defeasible Reasoning for Description Logics (Q2938487) (← links)
- (Q3093655) (← links)
- On the Dynamics of Total Preorders: Revising Abstract Interval Orders (Q3524916) (← links)
- (Q3624012) (← links)
- A General Family of Preferential Belief Removal Operators (Q3655216) (← links)
- On the semantics of combination operations (Q4443392) (← links)
- (Q4501595) (← links)
- (Q4576227) (← links)
- (Q4583956) (← links)
- (Q4708322) (← links)
- (Q4784855) (← links)
- AI 2003: Advances in Artificial Intelligence (Q5191596) (← links)
- (Q5354810) (← links)
- A Logic for Specifying Stochastic Actions and Observations (Q5404962) (← links)
- (Q5414676) (← links)
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463946) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473734) (← links)
- Types for Proofs and Programs (Q5897608) (← links)
- Basic infobase change (Q5943016) (← links)
- The Probabilistic Description Logic (Q6063856) (← links)
- Situated conditional reasoning (Q6161506) (← links)
- Rational closure extension in SPO-representable inductive inference operators (Q6545563) (← links)
