Search Results - "Logic Programming and Knowledge Representation"

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Cover Image

    Logic programming and knowledge representation—The A-Prolog perspective by Gelfond, Michael, Leone, Nicola

    ISSN: 0004-3702, 1872-7921
    Published: Elsevier B.V 01.06.2002
    Published in Artificial intelligence (01.06.2002)
    “…In this paper we give a short introduction to logic programming approach to knowledge representation and reasoning. The intention is to help the reader to…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 1997, Selected Papers by Tanaka, Koji

    ISSN: 0039-3215, 1572-8730
    Published: Kluwer Academic Publishers 01.07.2001
    Published in Studia logica (01.07.2001)
    Get full text
    Book Review
    Save to List
    Saved in:
  3. 3
    Cover Image

    Functional Answer Set Programming by Cabalar, Pedro

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 18.06.2010
    Published in arXiv.org (18.06.2010)
    “… We argue that this choice yields some counterintuitive effects from a logic programming and knowledge representation point of view…”
    Get full text
    Paper
    Save to List
    Saved in:
  4. 4
    Cover Image

    Logic-based Policy Engineering in Distributed Authorization by Dai, Jie

    ISBN: 9780493431543, 0493431543
    Published: ProQuest Dissertations & Theses 01.01.2001
    “…This dissertation work started with the desire to solve the distributed authorization problems in open and large computer networks. During the initial…”
    Get full text
    Dissertation
    Save to List
    Saved in:
  5. 5
    Cover Image

    Delegation logic: A logic-based approach to distributed authorization by Li, Ninghui

    ISBN: 9780599916135, 0599916133
    Published: ProQuest Dissertations & Theses 01.01.2000
    “…We address the problem of authorization in large, open, distributed systems. Authorization decisions are needed in electronic commerce, mobile-code execution,…”
    Get full text
    Dissertation
    Save to List
    Saved in:

Search Tools: