Prof.Dr.rer.nat. J.C. Acosta Guadarrama

Search this site
    • about
    • KRR-lab
      • applications
      • other tools
      • solvers
    • projects
    • proposal
      • belief revision
      • belief updates
      • doctoral dissertation
    • publications
      • interesting links
    • scientific interests
      • Student's Research Projects
    • some slides
    • Sitemap

    Research Cloud

    Wordle: Untitled
    KRR-lab‎ > ‎

    solvers

    SMODELS [Gelfond and Lifschitz, 1988]

    • Original source
    • Original engine with my web-interface at: my web interface
      http://www2.in.tu-clausthal.de/~guadarrama/updates/smodels.html

    DLV [Lifschitz and Woo, 1992]

    • Original source at:
      http://www.dbai.tuwien.ac.at/proj/dlv/
    • Original engine with my web-interface at
      http://www2.in.tu-clausthal.de/~guadarrama/updates/dlv.html

    Updates [Eiter et al., 2002]

    • Original source at:
      http://www.kr.tuwien.ac.at/staff/giuliana/project.html#Download
    • Original engine with my web-interface at
      http://www2.in.tu-clausthal.de/~guadarrama/updates/upd.html

    U�Z(Π0, Π1) [Zhang, 2006]

    • PLP interpreter
    • Alternative compiler for PLP’s running on Prolog

    Pairs of Updates [Guadarrama et al., 2005]

    Sequences of Updates ⊗ [Guadarrama, 2007a, b ;Guadarrama et al., 2006]
    • Online at:
      http://www.in.tu-clausthal.de/~guadarrama/updates/seqs.html 
    Iterated Updates ⊗o [Guadarrama, 2007c]
    • Online at:
      http://www.in.tu-clausthal.de/~guadarrama/updates/o.htm
      l

    ODLP [Brewka et al., 2002, 2004]

    • Original source at
      http://www.tcs.hut.fi/Software/smodels/priority/
    • Original source previous to their refined principle at
      www.in.tu-clausthal.de/~guadarrama/updates/psmodels.html

    AGM [Benferhat et al., 2004]

    • Available at:
      www.uni-koblenz.de/ag-ki/LP/system.SATEN.html
    Subpages (1): sequences of logic programs updates
    Comments

    Sign in|Recent Site Activity|Report Abuse|Print Page|Powered By Google Sites