Umeå universitets logga

umu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Z-log: Applying system-Z
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
Umeå universitet.
2002 (Engelska)Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2002, s. 545-548Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

We present Z-log - a practical system that employs the system-Z [13] semantics. Z-log incurs polynomial cost for compilation and entailment in the horn and q-horn [2] 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. We present here initial performance results over two alternative rulesbases. The results indicate that Z-log currently scales to problems on the order of 1000's of propositional rules when the rules are in q-Horn form. We shall be applying Z-log in cognitive disease diagnosis. 

Ort, förlag, år, upplaga, sidor
Springer, 2002. s. 545-548
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:umu:diva-186137DOI: 10.1007/3-540-45757-7_52Scopus ID: 2-s2.0-85099426768ISBN: 3540441905 (tryckt)ISBN: 9783540441908 (tryckt)OAI: oai:DiVA.org:umu-186137DiVA, id: diva2:1580536
Konferens
8th European Conference on Logics in Artificial Intelligence, JELIA 2002, Cosenza, Italy, September 23-26, 2002
Tillgänglig från: 2021-07-15 Skapad: 2021-07-15 Senast uppdaterad: 2021-07-15Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Minock, Michael J

Sök vidare i DiVA

Av författaren/redaktören
Minock, Michael J
Av organisationen
Institutionen för datavetenskapUmeå universitet
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 121 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf