Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

scis0000001 lp [35 articles]

Recent papers added to scis0000001 library classified by the tag lp. You can also see everyone's lp.
  • The British Nationality Act as a logic program
    Commun. ACM, Vol. 29, No. 5. (May 1986), pp. 370-386.
    by MJ Sergot, F Sadri, RA Kowalski, F Kriwaczek, P Hammond, HT Cory
    posted to computational-legal-sciences legal-norm lp by scis0000001 on 2007-05-16 14:44:24 as **
  • Generalized Horn Clause Programs
    (1991)
    posted to lp rewriting-logic by scis0000001 on 2007-04-14 02:28:30 as **
  • Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements
    Information and Computation, Vol. 145, No. 2. (1998), pp. 153-190.
    by Roberto Giacobazzi, Francesco Ranzato
  • Visual Logic Programming through Set Inclusion and Chaining
    (1996)
    posted to lp visual by scis0000001 on 2007-04-14 02:09:52 as **
  • Adaptive Bayesian Logic Programs
    Lecture Notes in Computer Science, Vol. 2157 (2001), pp. 104-??.
    by Kristian Kersting, Luc De Raedt
    posted to adaptive bayesian lp by scis0000001 on 2007-04-08 19:33:55 as **
  • Continuations for parallel logic programming
    (2000), pp. 257-267.
    by Eneia Todoran, Nikolaos Papaspyrou
  • Game theoretic Golog under partial observability
    (2005), pp. 1301-1302.
    by Alberto Finzi, Thomas Lukasiewicz
    posted to game-theory lp observability by scis0000001 on 2007-02-18 11:57:34 as **
  • A simple formulation of the theory of metalogic programming
    (1989), pp. 65-101.
    posted to lp metalogic metalogic-programming programming by scis0000001 on 2007-02-14 14:15:17 as **
  • Argumentation-theoretic proof procedures for default reasoning
    (1997)
    by P Dung, R Kowalski, F Toni
  • On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games
    Artificial Intelligence, Vol. 77, No. 2. (1995), pp. 321-358.
    by Phan M Dung
  • An argumentation-theoretic foundation for logic programming
    pp. 151-177.
    by PM Dung
    posted to argumentation-theory lp by scis0000001 on 2007-02-12 14:35:14 as **
  • Preference Logic Programming: Optimization as Inference
    No. 94-12. (JanuaryMay, 1994)
    by Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
    posted to plp lp inference clp by scis0000001 on 2007-02-04 16:48:15 as ** along with 1 person baisemain
  • Default Reasoning over Domains and Concept Hierarchies
    by P Hitzler
  • Formal concept analysis and resolution in algebraic domains
    (2003)
    by P Hitzler, M Wendt
    posted to resolution lp fca algebraic-domains by scis0000001 on 2007-02-01 17:16:42 as **
  • Topology and Iterates in Computational Logic
    (1997)
    by A Seda, P Hitzler
    posted to topological semantics lp fixed-point dynamics by scis0000001 on 2007-02-01 17:12:51 as **
  • Induction of Stable Models
    Lecture Notes in Computer Science, Vol. 2157 (2001), pp. 193-??.
    by Ramón P Otero
    posted to lp ilp by scis0000001 on 2007-01-25 14:16:44 as **
  • Learning Ensembles of First-Order Clauses for Recall-Precision Curves: A Case Study in Biomedical Information Extraction
    by Mark Goadrich, Louis Oliphant, Jude Shavlik
    posted to lp ilp fol by scis0000001 on 2007-01-19 15:23:21 as ** along with 1 person Scis0000002
  • Learning to parse natural language database queries into logical form
    (1997)
    by C Thompson, R Mooney, L Tang
    posted to representation nlp lp logical by scis0000001 on 2007-01-19 15:10:40 as **
  • Scott-Domains, Generalized Ultrametric Spaces and Generalized Acyclic Logic Programs
    by Pascal Hitzler
  • Partial Order Logic Programming
    No. 93-40. (March0, 1993)
    by Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon
  • TBPG -- A Techniques-Based
    by Program G Alberto
    posted to generator lp program synthesis by scis0000001 on 2006-12-08 09:19:37 as **
  • A Visual Logic Programming Language
    pp. 214-221.
  • The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
    (31 Aug 2004)
    by Sebastian Bader, Pascal Hitzler, Steffen Hoelldobler
  • Abduction in logic programming
    (2002)
    by A Kakas, M Denecker
    posted to abductive lp by scis0000001 on 2006-12-05 10:21:52 as ** along with 1 person and 1 group mahler Rightscom
  • What is in a model? Epistemological ambiguity of Logic Programming
    by Marc Denecker
    posted to lp semantics by scis0000001 on 2006-12-05 10:19:42 as **
  • An application-based comparison of automated theory formation and inductive logic programming
    (2002)
    by S Colton
    posted to formation logical-theories lp theory-formation by scis0000001 on 2006-11-24 10:35:55 as **
  • Clausal logic and logic programming in algebraic domains
    by W Rounds, G Zhang
    posted to algebraic-domains lp by scis0000001 on 2006-11-08 15:13:17 as **
  • Expressive OWL Reasoning with Logic Programs
    by Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic
    posted to inference lp owl semweb by scis0000001 on 2006-11-08 14:52:33 as ** along with 1 person payne
  • A uniform approach to logic programming semantics
    (12 Nov 2003)
    by Pascal Hitzler, Matthias Wendt
  • A cartesian closed category of approximable concept structures
    (2004)
    by P Hitzler, G Zhang
  • Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
    by Alberto Pettorossi, Maurizio Proietti, Sophie Renault
    posted to derivation lp specialization by scis0000001 on 2006-09-21 16:45:35 as **
  • Fractal Images of Formal Systems
    pp. 181-222.
  • Inductive Logic Programming: Theory and Methods
    Journal of Logic Programming, Vol. 19/20 (1994), pp. 629-679.
    by Stephen Muggleton, Luc De Raedt
  • Resolution and logic programming in algebraic domains: Negation and defaults
    (2002)
    by P Hitzler
  • Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks
    by Sebastian Bader, Pascal Hitzler
  • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/scis0000001/tag/lp

    RIS BibTeX