新規登録 | ログイン | FAQ      [?] 

タグ: logic_programming [15 articles]

Recent papers classified by the tag logic_programming.
  • Position paper: a comparison of two modelling paradigms in the Semantic Web
    (2006), pp. 3-12.
    by Peter F Patel-Schneider, Ian Horrocks
    posted to description_logic logic_programming by stephane-jean on 2006-10-09 18:52:18 as read
  • OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
    (2005), pp. 623-632.
    by Jos de Bruijn, Rub&\#233;n Lara, Axel Polleres, Dieter Fensel
    posted to logic_programming by stephane-jean on 2006-10-13 16:01:38 as read along with 2 people fer hamish
  • Reasoning about actions with CHRs and finite domain constraints
    (2002)
    by M Thielscher
    posted to ai logic logic_programming reasoning_about_action system by stavros on 2006-05-25 00:02:40 as read
  • notes Representing Action and Change by Logic Programs
    Journal of Logic Programming, Vol. 17, No. 2/3&4. (1993), pp. 301-321.
    by Michael Gelfond, Vladimir Lifschitz
    posted to ai answer_set depth frame_problem incomplete_knowledge logic logic_programming nonmonotonic reasoning_about_action by stavros on 2005-09-16 19:41:56 as read
  • Reasoning about Actions: Non-deterministic Effects, Constraints, and Qualification
    (1995), pp. 10-16.
    by Chitta Baral, Michael Gelfond, Richard Watson
    posted to ai depth logic logic_programming nondeterminism nonmonotonic reasoning_about_action by stavros on 2005-10-13 07:59:10 as **
  • Complexity and Expressive Power of Logic Programming
    (1997), pp. 82-101.
    by Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov
    posted to complexity logic_programming theorem_proving by stavros on 2006-01-26 18:47:14 as read along with 1 person florianfischer
  • notes Classical Negation in Logic Programs and Disjunctive Databases
    New Generation Computing, Vol. 9, No. 3/4. (1991), pp. 365-386.
    by Michael Gelfond, Vladimir Lifschitz
    posted to answer_set depth incomplete_knowledge logic logic_programming by stavros on 2005-09-19 22:40:47 as read along with 1 person baisemain
  • Answer set programming and plan generation
    Artificial Intelligence, Vol. 138, No. 1-2. (2002), pp. 39-54.
    by Vladimir Lifschitz
    posted to ai answer_set depth logic logic_programming by stavros on 2005-09-20 23:21:29 as ***** along with 1 person baisemain
  • The Well-Founded Semantics for General Logic Programs
    Journal of the ACM, Vol. 38, No. 3. (1991), pp. 620-650.
    by Allen van Gelder, Kenneth Ross, John S Schlipf
    posted to logic logic_programming by stavros on 2006-04-08 23:28:32 as read
  • Theory and Practice of Constraint Handling Rules
    Journal of Logic Programming, Special Issue on Constraint Logic Programming, Vol. 37, No. 1-3. (October 1998), pp. 95-138.
    by Thom Frühwirth
    edited by Marriot
    posted to ai csp logic_programming by stavros on 2006-06-15 03:54:02 as read along with 1 person noormkhan
  • The CLP(<inline-equation> <f> <sc>R</sc></f> </inline-equation> ) language and system
    ACM Trans. Program. Lang. Syst., Vol. 14, No. 3. (July 1992), pp. 339-395.
    by Joxan Jaffar, Spiro Michaylov, Peter J Stuckey, Roland HC Yap
    posted to ai csp logic_programming by stavros on 2006-06-15 03:49:47 as read
  • Description logic programs: combining logic programs with description logic
    (2003), pp. 48-57.
    by Benjamin N Grosof, Ian Horrocks, Raphael Volz, Stefan Decker
    posted to owl logic_programming description_logic decidability by pchampin on 2007-01-12 14:23:05 as read along with 1 person fer
  • A refinement calculus for logic programs
    Theory Pract. Log. Program., Vol. 2, No. 4. (July 2002), pp. 425-460.
    by Ian Hayes, Robert Colvin, David Hemer, Paul Strooper, Ray Nickson
    posted to logic_programming refinement_calculus by CLLC on 2006-03-27 10:26:15 as read
  • Abductive Logic Programming
    Journal of Logic and Computation, Vol. 2, No. 6. (1992), pp. 719-770.
    by Antonis C Kakas, Robert A Kowalski, Francesca Toni
    posted to ab abduction logic_programming by bfraser on 2007-10-03 03:45:39 as **
  • Verifying security protocols as planning in logic programming
    ACM Trans. Comput. Logic, Vol. 2, No. 4. (October 2001), pp. 542-580.
    by Luigia C Aiello, Fabio Massacci
    posted to logic_programming security verification by bfraser on 2007-08-02 19:57:49 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/logic_programming

    RIS BibTeX RSS
    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.