Registrati | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

di jmackay database [7 articles]

Articoli aggiunti di recente alla biblioteca di jmackay classificati sotto il tag database. You can also see everyone's database.
  • A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming
    (2005), pp. 90-96.
    by Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
    edited by Leslie P Kaelbling, Alessandro Saffiotti, Leslie P Kaelbling, Alessandro Saffiotti
    posted to database datalog languages logic by jmackay on 2008-05-06 05:52:56 as **
  • The Role of Abduction in Declarative Authorization Policies
    Practical Aspects of Declarative Languages (2008), pp. 84-99.
    by Moritz Becker, Sebastian Nanz
    posted to database datalog languages logic policy security tabled by jmackay on 2008-05-05 19:26:59 as read
  • An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
    ACM Trans. Program. Lang. Syst., Vol. 20, No. 3. (1998), pp. 586-634.
    by Konstantinos F Sagonas, Terrance Swift
    posted to database datalog languages logic tabled by jmackay on 2008-05-03 20:29:32 as **
  • Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies
    (1996), pp. 243-258.
    by Juliana Freire, Terrance Swift, David S Warren
    posted to database datalog logic prolog tabled xsb by jmackay on 2008-05-03 20:26:32 as ***
  • A Summary of XSB Performance
    by Terrance Swift, David S Warren
    posted to database datalog logic performance prolog xsb by jmackay on 2008-05-03 20:23:37 as ** along with 1 person baisemain
  • XSB as an efficient deductive database engine
    (1994), pp. 442-453.
    by Konstantinos Sagonas, Terrance Swift, David S Warren
    posted to database datalog logic prolog xsb by jmackay on 2008-05-03 20:22:56 as **** along with 1 person baisemain
  • codeQuest: Scalable Source Code Queries with Datalog
    ECOOP 2006 – Object-Oriented Programming (2006), pp. 2-27.
    by Elnar Hajiyev, Mathieu Verbaere, Oege de Moor
    posted to analysis code database datalog logic sql by jmackay on 2008-05-01 06:29:15 as ** along with 1 person KarlKlose
    • Puoi citare questa pagina come: http://www.citeulike.org/user/jmackay/tag/database

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.