MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
YearTitleBibTeX cite key
1996Default Quantifier Logic
In: Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, -
Weydert96b
1996Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
In: Logic, Action, and Information, 152-171
Weydert96c
1996System J - Revision Entailment: Default Reasoning through Ranking Measure Updates
In: Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR'96, 637-649
Weydert96a
1995Default Entailment. A preferential construction semantics for defeasible inference
In: Advances in Artificial Intelligence: Proceedings of the 19th German Annual Conference on Artificial Intelligence, 173-184
Weydert95b
1995Defaults and Infinitesimals. Defeasible inference by nonarchimedean entropy maximization
In: Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence (UAI 95), 540-547
Weydert95c
1995Numeric Defaults. About an expressive first-order framework for reasoning with infinitesimal probabilities
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 95), 420-427
Weydert95
1994General Belief Measures
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence, 575-582
Weydert94a
1994Hyperrational Conditionals
In: Foundations of Knowledge Representation and Reasoning, 310-332
Weydert94b
1993Default Quantifiers: About Plausible Reasoning in First-Order Contexts
In: Working Notes of the Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications, ?
Weydert93b
1993Plausible Inference for Default Conditionals
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings of the European Conference ECSQARU '93, 356-363
Weydert93a
Show details for Weydert, Brewka, Witteveen (ed.)Weydert, Brewka, Witteveen (ed.)
Show details for Weydert, van der TorreWeydert, van der Torre
Show details for WiesWies
Show details for Wies, Kuncak, Lam, Podelski, RinardWies, Kuncak, Lam, Podelski, Rinard
Show details for WuWu
Show details for Wu, LiuWu, Liu
Show details for Wu, LuWu, Lu
Show details for Wu, Tan, LiWu, Tan, Li
Show details for Xia, YangXia, Yang
Show details for Yoshida, Bundy, Green, Walsh, BasinYoshida, Bundy, Green, Walsh, Basin
Show details for Yuan, Billington, FreiheitYuan, Billington, Freiheit
Show details for ZeyerZeyer

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)