registrieren | anmelden | FAQ      [?] 

Tag prolog [54 articles]

Recent papers classified by the tag prolog.
  • Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and Their Experimental Evaluation
    (1992), pp. 311-325.
    by V Englebert, B Le Charlier, D Roland, P van Hentenryck
    edited by M Bruynooghe, M Wirsing
    posted to abstract englebert interpretation prolog by X7 on 2006-10-12 15:37:12 as read along with 1 group PReCISE
  • PolicyMorph: interactive policy transformations for a logical attribute-based access control framework
    (2007), pp. 205-214.
    by Michael Lemay, Omid Fatemieh, Carl A Gunter
    posted to logic prolog rbac by weqa on 2007-11-03 18:42:04 as ** along with 1 person omidf2
  • Towards Web Service access control
    Computers & Security, Vol. 23, No. 7. (October 2004), pp. 559-570.
    by M Coetzee, JHP Eloff
    posted to prolog rbac by weqa on 2007-11-03 18:58:31 as ** along with 1 person sumeetonweb
  • The application of security policy to role-based access control and the common data security architecture
    Computer Communications, Vol. 23, No. 17. (1 November 2000), pp. 1584-1593.
    by A Lin, R Brown
    posted to prolog rbac by weqa on 2007-11-03 19:00:03 as **
  • Guarded Horn Clauses
    (1985), pp. 168-179.
    by Kazunori Ueda
    posted to concurrent logic programming prolog by wasi on 2005-07-01 18:54:49 as ** along with 1 person and 1 group rahul SRL
  • notes Prolog Programming for Artificial Intelligence
    (08 September 2000)
    by Ivan Bratko
    posted to prolog by ug44sxs on 2005-12-14 01:22:20 as read along with 4 people jhave bringert josemgarcia aklassen
  • Logic programming and the execution model of Prolog
    Information Sciences - Applications, Vol. 4, No. 3. (November 1995), pp. 167-191.
    by DE Tamir, A Kandel
    posted to logic-programming prolog by tautologico on 2005-03-21 04:28:58 as **
  • Can logic programming execute as fast as imperative programming?
    (1991)
    by Peter LV Van Roy
    posted to logic-programming prolog by tautologico on 2005-03-21 04:28:39 as ** along with 1 person rsaarelm
  • 1983--1993: The Wonder Years of Sequential Prolog Implementation
    Journal of Logic Programming, Vol. 19,20 (1994), pp. 385-441.
    by Peter Van Roy
    posted to language-implementation logic-programming prolog by tautologico on 2008-06-14 18:25:10 as **
  • Embedding Prolog
    by In Haskell, Michael Spivey, Silvija Seres
    posted to prolog haskell 1999 by shimomura on 2008-11-21 04:21:11 as ** along with 1 person zednenem
  • So Many WAM Variations, So Little Time
    (2000), pp. 1240-1254.
    by Bart Demoen, Phuong-Lan Nguyen
    posted to prolog virtual-machines by rsaarelm on 2005-03-17 12:38:07 as **
  • Native code compilation in SICStus Prolog
    (1994), pp. 190-204.
    by Ralph C Haygood
    posted to compilers prolog by rsaarelm on 2005-03-15 13:56:53 as **
  • High-Performance Logic Programming with the Aquarius Prolog Compiler
    Computer, Vol. 25, No. 1. (January 1992), pp. 54-68.
    by Peter V Van Roy, Alvin M Despain
    posted to compilers prolog by rsaarelm on 2005-03-15 13:52:08 as **
  • Warren's abstract machine: a tutorial reconstruction
    (1991)
    by Hassan Aït-Kaci
    posted to prolog virtual-machines by rsaarelm on 2005-03-16 07:32:10 as ** along with 2 people kinaba msakai
  • Optimising Bytecode Emulation for Prolog
    (1999), pp. 261-277.
    by V&\#237;tor S Costa
    posted to prolog virtual-machines by rsaarelm on 2005-03-15 13:51:56 as **
  • A verified Prolog compiler for the Warren Abstract Machine
    J. Log. Program., Vol. 13, No. 4. (August 1992), pp. 367-412.
    by David M Russinoff
    posted to compilers declarative prolog by rsaarelm on 2005-03-15 13:50:32 as **
  • Multi-paradigm Java-Prolog integration in tuProlog
    Science of Computer Programming, Vol. 57, No. 2. (August 2005), pp. 217-250.
    by Enrico Denti, Andrea Omicini, Alessandro Ricci
    posted to prolog by riojulian on 2006-04-25 08:10:10 as *** along with 1 person jacob
  • The commercial use of PROLOG
    Kybernetes: The International Journal of Systems & Cybernetics, Vol. 34, No. 5. (May 2005), pp. 599-601.
    by Alex M Andrew
    posted to prolog by riojulian on 2006-05-22 16:28:06 as **
  • Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog
    Journal of Systems and Software, Vol. 79, No. 4. (April 2006), pp. 523-536.
    by Seng W Loke
    posted to prolog by riojulian on 2006-04-25 08:07:44 as ***** along with 1 person and 1 group oscar onekin
  • The furniture company: deductive databases and the scheduling problem
    International Journal of Information Management, Vol. 23, No. 6. (December 2003), pp. 523-536.
    by Alexander P Pons
    posted to prolog by riojulian on 2006-05-22 16:35:00 as ** along with 1 person hamish
  • Defeasible Logic Programming: An Argumentative Approach
    Theory and Practice of Logic Programming (2002)
    by A Garcia, G Simari
    posted to argumentation delp prolog by MattW on 2007-07-19 11:32:22 as read
  • Processing XML-Documents in Prolog
    (2002)
    by D Seipel
    posted to f-logic prolog xml by mahler on 2006-01-03 16:25:14 as ** along with 1 group Rightscom
  • A Transformation Tool for Pure Prolog Programs
    (1996), pp. 130-145.
    by Jacob Brunekreef
    posted to prolog transformation by luiinge on 2008-04-25 14:38:22 as *
  • Unification: a multidisciplinary survey
    ACM Comput. Surv., Vol. 21, No. 1. (March 1989), pp. 93-124.
    by Kevin Knight
    posted to prolog unification by kowey on 2006-06-01 17:01:55 as **
  • Meta-circular Abstract Interpretation in Prolog
    The Essence of Computation. Complexity, Analysis, Transformation : Essays Dedicated to Neil D. Jones (2002), pp. 109-134.
    by Michael Codish, Harald Søndergaard
    posted to abstract interpretation interpreter meta prolog by KarlKlose on 2007-11-20 14:35:34 as **
  • Proving Existential Termination of Normal Logic Programs
    (1996), pp. 375-390.
    by Massimo Marchiori
    posted to prolog proof termination by KarlKlose on 2007-11-13 10:32:17 as **
  • The Art of PROLOG: Advanced Programming Techniques
    (21 April 1994)
    by Ehud Shapiro, Leon Sterling
    posted to prolog by KarlKlose on 2007-07-08 18:46:37 as ** along with 1 person hamish
  • Garbage Collection Algorithms for Java-Based Prolog Engines
    : Practical Aspects of Declarative Languages : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13-14, 2003. Proceedings (2003), pp. 304-319.
    by Qinan Zhou, Paul Tarau
    posted to collection engines garbage java prolog by KarlKlose on 2007-02-08 08:41:17 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 **
  • 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 **
  • 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
  • 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
  • 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 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 **
  • Identifying refactoring opportunities using logic meta programming
    (2003)
    by T Tourw, Mens
    posted to metrics prolog refactoring by heap on 2005-10-23 03:05:25 as **** along with 1 person bobtie
  • From use cases to test cases via meta model-based reasoning
    Innovations in Systems and Software Engineering, Vol. 4, No. 3. (1 October 2008), pp. 223-231.
    by Stefan Gruner
    posted to use prolog model meta cases by hbelani on 2008-10-13 16:34:17 as **
  • Fril, Fuzzy and Evidential Reasoning in Artificial Intelligence
    (06 February 2003)
    by James F Baldwin, TP Martin, Bruce W Pilsworth
    posted to fril logic logicprogramming prolog by hamish on 2007-05-10 13:13:59 as *
  • Prolog: A Logical Approach
    (29 November 1990)
    by Tony Dodd
    posted to logicprogramming programming prolog by hamish on 2007-05-10 13:16:00 as read
  • Parallel execution of prolog programs: a survey
    ACM Trans. Program. Lang. Syst., Vol. 23, No. 4. (July 2001), pp. 472-602.
    by Gopal Gupta, Enrico Pontelli, Khayri AM Ali, Mats Carlsson, Manuel V Hermenegildo
    posted to logicprogramming parallelprocessing prolog survey by hamish on 2005-07-18 12:35:13 as **
  • Model transformation rules and model disaggregation
    Science of The Total Environment, Vol. 183, No. 1-2. (12 April 1996), pp. 25-31.
    by Robert I Muetzelfeldt, Ruth D Yanai
    posted to declarativeprogramming ecosystemmodelling iemss2006 modeldisaggregation modelling modeltransformation prolog by hamish on 2005-11-23 11:58:42 as ****
  • On logic programs that always succeed
    Science of Computer Programming, Vol. 48, No. 2-3. ( 2003), pp. 163-196.
    by Dino Pedreschi, Salvatore Ruggieri
    posted to logicprogramming proglang prolog by hamish on 2005-06-23 22:51:36 as *
  • Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
    Functional and Logic Programming (2008), pp. 64-80.
    by Oleg Kiselyov, William Byrd, Daniel Friedman, Chung-Chieh Shan
    posted to constructive-arithmetic homepage prolog reasoned-schemer by pedagand to the group Lambda the Ultimate on 2008-05-11 11:17:45 as **
  • A Prolog system for case-based classification (abstract)
    (1990)
    by William W Mcmillan, Christopher J Gardiner
    posted to robocup prolog cbr by cyph3r to the group kickOffTUG-Robocup on 2008-10-17 17:03:42 as **
  • If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms
    Software Engineering, IEEE Transactions on, Vol. SE-11, No. 11. (1985), pp. 1401-1408.
    by DG Bobrow
    posted to ai programming prolog by fheintz on 2007-09-16 11:38:32 as **
  • The birth of Prolog
    (1996), pp. 331-367.
    by Alain Colmerauer, Philippe Roussel
    edited by Thomas J Bergin, Richard G Gibson
    posted to history language programming prolog by chandlerc on 2007-12-08 22:49:01 as **
  • Nominal Logic Programming
    (12 Sep 2006)
    by James Cheney, Christian Urban
    posted to binding logic nominal prolog prototyping by bhoward on 2006-09-13 14:15:44 as **
  • Implementing deductive databases by mixed integer programming
    ACM Trans. Database Syst., Vol. 21, No. 2. (June 1996), pp. 238-269.
    by Colin Bell, Anil Nerode, Raymond T Ng, VS Subrahmanian
    posted to logic nonmonotonic prolog by bfraser on 2007-08-02 19:14:40 as **
  • On the power of magic
    (1987), pp. 269-284.
    by C Beeri, R Ramakrishnan
    posted to datalog db magic_sets prolog query by bfraser on 2007-08-20 23:44:01 as ****
  • Programming in Prolog: Using the ISO Standard
    (10 September 2003)
    by WF Clocksin, CS Mellish
    posted to logic programming prolog by BastianSpanneberg on 2008-01-01 01:21:54 as read
  • ER+ to Relational Mapping and its Prolog implementation for Case Shell
    by Manuel Kolp, Esteban Zimányi
    posted to dependencies prolog by amora on 2008-04-28 10:55:17 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/prolog

    Result page: 1 2 Next 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.