See this document in CiteSeerX!

Z-log: Applying System-Z  (Make Corrections)  
Michael Minock and Hansi Kraus mjmcs.umu. se c97hkscs.umu. se The University...



  Home/Search   Context   Related

 
View or download:
cs.umu.se/~mjm/pubs/jelia.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.umu.se/~mjm/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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