MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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
#YearTitleType
1996Default Quantifier Logic
In: Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, -		Proceedings Article
1996Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
In: Logic, Action, and Information, 152-171		Part of a Book
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		Proceedings Article
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		Proceedings Article
1995Defaults and Infinitesimals. Defeasible inference by nonarchimedean entropy maximization
In: Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence (UAI 95), 540-547		Proceedings Article
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		Proceedings Article
1994General Belief Measures
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence, 575-582		Proceedings Article
1994Hyperrational Conditionals
In: Foundations of Knowledge Representation and Reasoning, 310-332		Proceedings Article
1993Default Quantifiers: About Plausible Reasoning in First-Order Contexts
In: Working Notes of the Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications, ?		Proceedings Article
1993Plausible Inference for Default Conditionals
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings of the European Conference ECSQARU '93, 356-363		Proceedings Article
1
Show details for Weydert, Brewka, Witteveen (ed.)Weydert, Brewka, Witteveen (ed.)
2
Show details for Weydert, van der TorreWeydert, van der Torre
1
Show details for WiesWies
1
Show details for Wies, Kuncak, Lam, Podelski, RinardWies, Kuncak, Lam, Podelski, Rinard
1
Show details for WuWu
1
Show details for Wu, LiuWu, Liu
1
Show details for Wu, LuWu, Lu
1
Show details for Wu, Tan, LiWu, Tan, Li
1
Show details for Xia, YangXia, Yang
1
Show details for Yoshida, Bundy, Green, Walsh, BasinYoshida, Bundy, Green, Walsh, Basin
1
Show details for Yuan, Billington, FreiheitYuan, Billington, Freiheit
1
Show details for ZeyerZeyer
782

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