注册 | 登录 | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

jmackay's logic [16 articles]

当前文献位于 jmackay's 文献库 标签分类为 logic. You can also see everyone's logic.
  • Stable models and an alternative logic programming paradigm
    (1999), pp. 375-398.
    by W Marek, M Truszczynski
    posted to stable models logic by jmackay on 2008-05-07 02:27:22 as **
  • 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 logic languages datalog database by jmackay on 2008-05-06 05:52:56 as **
  • Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
    Logics in Artificial Intelligence (2004), pp. 200-212.
    by Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    posted to sql logic datalog by jmackay on 2008-05-06 05:47:50 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 tabled security policy logic languages datalog database 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 tabled logic languages datalog database 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 xsb tabled prolog logic datalog database by jmackay on 2008-05-03 20:26:32 as ***
  • A Summary of XSB Performance
    by Terrance Swift, David S Warren
    posted to xsb prolog performance logic datalog database by jmackay on 2008-05-03 20:23:37 as **
  • XSB as an efficient deductive database engine
    (1994), pp. 442-453.
    by Konstantinos Sagonas, Terrance Swift, David S Warren
    posted to xsb prolog logic datalog database by jmackay on 2008-05-03 20:22:56 as ****
  • Design and Semantics of a Decentralized Authorization Language
    Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE (2007), pp. 3-15.
    by Moritz Becker, Cedric Fournet, Andrew Gordon
    posted to systems security logic languages distributed datalog by jmackay on 2008-05-02 09:43:11 as read along with 1 person weqa
  • Cassandra: Flexible Trust Management, Applied to Electronic Health Records
    by Moritz Y Becker, Peter Sewell
    posted to systems security policy logic languages distributed by jmackay on 2008-05-02 09:32:56 as read
  • Logicflow execution model for parallel databases
    Future Gener. Comput. Syst., Vol. 16, No. 6. (April 2000), pp. 677-692.
    by Peter Kacsuk, Norbert Podhorszki
    posted to logic concurrency by jmackay on 2008-05-01 06:34:22 as **
  • Prolog on the multithreaded Datarol-II machine based on the logicflow execution model
    Parallel and Distributed Processing, 1996. Eighth IEEE Symposium on (1996), pp. 112-121.
    by P Kacsuk, M Amamiya
    posted to prolog logic concurrency by jmackay on 2008-05-01 06:33:46 as **
  • A multithreaded implementation concept of prolog on Datarol-II machine
    High Performance Computing (1997), pp. 91-106.
    by Peter Kacsuk, Makoto Amamiya
    posted to prolog logic concurrency by jmackay on 2008-05-01 06:30:43 as **
  • Alternative proposals for implementing Prolog concurrently and implications regarding their respective microarchitectures
    (1984), pp. 192-203.
    by Carl G Ponder, Yale N Patt
    posted to prolog logic concurrency by jmackay on 2008-05-01 06:30:25 as **
  • 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 sql logic datalog database code analysis by jmackay on 2008-05-01 06:29:15 as ** along with 1 person KarlKlose
  • Logic Programming and Negation: A Survey
    Journal of Logic Programming, Vol. 19/20 (1994), pp. 9-71.
    by Krzysztof R Apt, Roland N Bol
    posted to negation logic by jmackay on 2008-05-01 06:22:08 as *** along with 1 person vme64
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/user/jmackay/tag/logic

    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.