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

di jmackay logic [16 articles]

Articoli aggiunti di recente alla biblioteca di jmackay classificati sotto il tag 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 logic models stable by jmackay on 2008-05-07 02:27:22 as ** along with 1 person baisemain
  • 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 **
  • 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 datalog logic sql 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 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
  • 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 datalog distributed languages logic security systems 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 distributed languages logic policy security systems 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 concurrency logic 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 concurrency logic prolog 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 concurrency logic prolog 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 concurrency logic prolog 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 analysis code database datalog logic sql 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 logic negation by jmackay on 2008-05-01 06:22:08 as *** along with 1 person vme64
    • Puoi citare questa pagina come: 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.