Michael Minock and Hansi Kraus mjmcs.umu. se c97hkscs.umu. se The University...  Home/Search
Context
Related
| cs.umu.se/~mjm/pubs/jelia.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.umu.se/~mjm/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present Z-log - a practical system that employs the system-Z[14] semantics. Z-log incurs polynomial cost for compilation and entailment in the horn and q-horn[3] cases. Z-log's complexity is intractable in the unrestricted case - but intractable in the number of defaults that cause the violation of the q-horn property. (Update)
Active bibliography (related documents): More All
0.5: On Reasoning with Default Rules and Exceptions - Elio, Pelletier (1996) (Correct)
0.4: New Tractable Cases in Default Reasoning from Conditional.. - Eiter, Lukasiewicz (2000) (Correct)
0.3: Complexity Results for Default Reasoning from Conditional.. - Eiter, Lukasiewicz (1999) (Correct)
Similar documents based on text: More All
0.3: Requirements Visualization - Teyseyre, Orosco, Campo (Correct)
0.3: Solving the Resolution-Free SAT Problem by Hyper-Unit Propagation .. - Kusper (2002) (Correct)
0.3: Objektorienterad Programvaruutveckling - Börstler (Correct)
BibTeX entry: (Update)
@misc{ and-zlog,
author = "Michael Minock And",
title = "Z-log: Applying System-Z",
url = "citeseer.ist.psu.edu/593378.html" }
Citations (may not include all citations):224 Preferential models and cumulative logics (context) - Kraus, Lehmann et al. - 1990
101 Inconsistency management and prioritized syntax-based entail.. (context) - Benferhat, Cayrol et al. - 1993
59 A maximum entropy approach to nonmonotonic reasoning (context) - Goldszmidt, Morris et al. - 1990
57 A natural ordering of defaults with tractable applications t.. (context) - Pearl - 1990
49 Representing default rules in possibilistic logic - Benferhat, Dubois et al. - 1992
36 Qualitative probabilities for default reasoning (context) - Judea - 1996
26 Polynomial-time inference of all valid implications for horn.. (context) - Boros, Crama et al. - 1990
11 Maximum entropy and variable strength defaults - Bourne, Parsons - 1999
10 Annals of Mathematics and Artificial Intelligence (context) - Lehmann, on - 1995
5 Complexity results for default reasoning from conditional kn.. - Eiter, Lukasiewicz - 2000
4 Technical Report (context) - Minock, Krause et al. - 2002
2 Default reasoning: causal and conditional theories (context) - Gefner - 1992
1 Decision support systems and diagnosing cognitive disorders (context) - Lindgren - 2000
1 Qualitative Probabilities: A Normatire Framework for Commons.. (context) - Goldszmidt - 1992
Documents on the same site (http://www.cs.umu.se/~mjm/): More
The Identification of Missing Information Resources.. - Michael Minock Marek (1999) (Correct)
Explanation Over Inference Hierarchies in Active Mediation.. - Minock, Chu (2000) (Correct)
A Phrasal Generator for Describing Relational Database Queries - Michael Minock Mjm (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC