registrieren | anmelden | FAQ      [?] 

Tag lp [145 articles]

Recent papers classified by the tag lp.
  • The Logical Structure of the World and Pseudoproblems in Philosophy (Open Court Classics)
    (31 July 2003)
    by Rudolf Carnap
    posted to lp by takayang on 2006-06-10 06:15:33 as ****
  • Reconsidering Logical Positivism
    (28 July 1999)
    by Michael Friedman
    posted to lp by takayang on 2006-06-10 05:57:20 as **
  • Automating Defeasible Reasoning with Logic Programming (DeReLoP)
    (1999), pp. 39-46.
    by Jürgen Dix, Frieder Stolzenburg, Guillermo R Simari, Pablo R Fillottrani
    edited by Stefan Jähnichen, Irene Loiseau
    posted to defeasible lp by Scis0000002 on 2007-06-23 19:06:50 as **
  • Relating defeasible and normal logic programming through transformation properties
    Theor. Comput. Sci., Vol. 290, No. 1. (January 2003), pp. 499-529.
    by Carlos I Ches&\#241;evar, J&\#252;rgen Dix, Frieder Stolzenburg, Guillermo R Simari
    posted to defeasible lp by Scis0000002 on 2007-06-23 19:04:34 as **
  • Ordered Linear Logic Programming
    by Jeff P And
    posted to lp by Scis0000002 on 2007-07-10 09:18:29 as **
  • A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics
    (8 Nov 2003)
    by Ralf Schweimeier, Michael Schroeder
    posted to argumentation lp semantics by Scis0000002 on 2007-06-23 18:51:59 as **
  • Transforming Abductive Logic Programs to Disjunctive Programs
    (1993), pp. 335-353.
    by Katsumi Inoue, Chiaki Sakama
    posted to alp lp by Scis0000002 on 2007-07-06 13:54:08 as **
  • Computing first-order logic programs by fibring artificial neural network
    (2005)
    by S Bader, P Hitzler, A Garcez
    posted to fibring lp neural-networks by Scis0000002 on 2007-07-29 19:32:13 as **
  • LUPS - A Language for Updating Logic Programs
    (1999), pp. 162-176.
    by Jose J Alferes, Luis M Pereira, Halina Przymusinska, Teodor C Przymusinski
    posted to lp updating by Scis0000002 on 2007-07-07 14:40:34 as **
  • Higher-Order Transformation of Logic Programs
    Lecture Notes in Computer Science, Vol. 2042 (2001), pp. 57-??.
    by Silvija Seres, Michael Spivey
    posted to functional-programming higher-order logic-programming lp program-transformation by Scis0000002 on 2007-11-24 14:17:58 as **
  • 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
    posted to acceptability argumentation argumentation-theory computability-logic domain-theory games inference logics lp nonmonotonicity proof-theory semantics by scis0000001 on 2007-02-13 09:05:21 as ** along with 1 person remarkables
  • 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
  • Inductive Logic Programming: Theory and Methods
    Journal of Logic Programming, Vol. 19/20 (1994), pp. 629-679.
    by Stephen Muggleton, Luc De Raedt
    posted to ilp inductive-logic-programming lp by scis0000001 on 2006-09-08 13:46:31 as ** along with 4 people bfraser pewu baisemain drabudawood
  • Fractal Images of Formal Systems
    pp. 181-222.
    by Denis, P.S.
    posted to all-logical-theories axiomatic-system calculus formal formal-system fractafold fractal fractality ifs logic logical-graph logical-structures logical-theories lp representation self-similarity sierpinski-triangle tautology truth-table visualisation by scis0000001 on 2006-09-17 17:33:10 as **
  • Continuations for parallel logic programming
    (2000), pp. 257-267.
    by Eneia Todoran, Nikolaos Papaspyrou
    posted to committed-choice concurrency inference interactivity lp paraconsistency parallel by scis0000001 on 2007-02-20 09:57:06 as ** along with 1 person zednenem
  • 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 **
  • TBPG -- A Techniques-Based
    by Program G Alberto
    posted to generator lp program synthesis by scis0000001 on 2006-12-08 09:19:37 as **
  • Partial Order Logic Programming
    No. 93-40. (March0, 1993)
    by Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon
    posted to polp partial-order-programming partial-order lp lattice domain-theory by scis0000001 on 2006-12-12 10:06:56 as ** along with 1 person baisemain
  • 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 Visual Logic Programming Language
    pp. 214-221.
    by J Puigsegur, J Agust\i, D Robertson
    posted to diagrammatic-inference lp visual visual-languages visual-programming-languages by scis0000001 on 2006-12-08 09:12:09 as **
  • 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
    posted to all-logical-theories cantor-set cantor-space chu-space coding-theory computability-logic fol formal-system fractafold fractal-dimension fractality inference lp neural-symbolic representation self-similarity sierpinski-carpet ternary universal-curve by scis0000001 on 2006-12-07 13:29:04 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
  • 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 **
  • 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 **
  • Default Reasoning over Domains and Concept Hierarchies
    by P Hitzler
    posted to closure-structures default-reasoning domains hierarchy inference information-system kb logical-information-system logics lp nonmonotonic by scis0000001 on 2007-02-01 17:20:31 as **
  • 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 **
  • 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 **
  • 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 **
  • 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 **
  • A uniform approach to logic programming semantics
    (12 Nov 2003)
    by Pascal Hitzler, Matthias Wendt
    posted to fitting-semantics least-model-semantics lp perfect-model-semantics semantics well-founded-semantics by scis0000001 on 2006-10-13 17:18:31 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 **
  • A cartesian closed category of approximable concept structures
    (2004)
    by P Hitzler, G Zhang
    posted to algebraic algorithmic-information-theory all-logical-theories approximable-concepts axiomatic-system axiomatizations cartesian-closed-categories category-of-formal-contexts category-of-information-systems chu-space closed-categories complete-partial-order computability computability-logic computational-epistemology concept-lattice conceptual-structures cpo domain-theory fca finiteness formal-context iff incompleteness infinite infinite-formal-context information-system lattice lattice-of-theories logical-structures logical-theories lp mda minimal-sufficient-statistic n-information-system nonmonotonicity partial-information polyadic-concept-analysis semantics semweb state-space unified-concept-theory by scis0000001 on 2006-10-13 16:58:05 as **
  • Scott-Domains, Generalized Ultrametric Spaces and Generalized Acyclic Logic Programs
    by Pascal Hitzler
    posted to ultrametric semantics scott-domain lp generalized-ultrametric-space by scis0000001 on 2007-01-12 19:48:56 as **
  • A simple formulation of the theory of metalogic programming
    (1989), pp. 65-101.
    by VS Subrahmanian
    posted to lp metalogic metalogic-programming programming by scis0000001 on 2007-02-14 14:15:17 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
  • Argumentation-theoretic proof procedures for default reasoning
    (1997)
    by P Dung, R Kowalski, F Toni
    posted to argumentation argumentation-theory atp category-theory computability-logic curry-howard-isomorphism dialogue game-theory games implementation incompleteness lp metalogic-programming metalogics model-theory nonmonotonicity oops proof proof-procedure proof-search proof-theory proof-tree protocol search-space searching semantics specification stone-duality tree by scis0000001 on 2007-02-14 14:09:28 as **
  • 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 **
  • 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 **
  • Generalized Horn Clause Programs
    (1991)
    by S Debray, R Ramakrishnan
    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
    posted to closure-structures lp monads order-theory reconstruction semantics by scis0000001 on 2007-04-14 02:24:49 as **
  • Resolution and logic programming in algebraic domains: Negation and defaults
    (2002)
    by P Hitzler
    posted to algebraic-domains chu-space computability-logic concept-lattice default domain-logic domain-theory inference lattice logic lp reasoning resolution by scis0000001 on 2006-09-01 10:06:58 as **
  • Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks
    by Sebastian Bader, Pascal Hitzler
    posted to category-theory chu-space computational-epistemology concept-lattice dimension-theory domain-theory fractal-universe fractality hausdorff-dimension iff ifs information-theory lattice logic lp predictability relativistic-information relativity self-similarity semantics space-time topological-dynamics by scis0000001 on 2006-09-01 09:51:50 as **
  • Visual Logic Programming through Set Inclusion and Chaining
    (1996)
    by J Agusti, J Puigsegur, D Robertson, W Schorlermmer
    posted to lp visual by scis0000001 on 2007-04-14 02:09:52 as **
  • Sets and indices in linear programming modelling and their integration with relational data models
    Computational Optimization and Applications, Vol. 4, No. 3. (1 July 1995), pp. 263-283.
    by Gautam Mitra, Cormac Lucas, Shirley Moody, Bjarni Kristjansson
    posted to data databases lp models relational by rrufai on 2008-03-19 02:31:38 as ** along with 1 person Scis0000002
  • A Relational Modeling System for Linear and Integer Programming
    Operations Research, Vol. 48, No. 6. (2000), pp. 846-857.
    by A Atamtürk, EL Johnson, JT Linderoth, MWP Savelsbergh
    posted to integerprogramming ip linearprogramming lp mathematicalmodeling modelingenvironment sql by rrufai on 2008-03-25 14:02:24 as read
  • A Relational Modeling System for Linear and Integer Programming
    Oper. Res., Vol. 48, No. 6. (November 2000), pp. 846-857.
    by A Atamtürk, EL Johnson, JT Linderoth, MWP Savelsbergh
    posted to ip lp operators relational by rrufai on 2008-03-19 01:57:22 as **
  • Representation Schemes for Linear Programming Models
    Management Science, Vol. 38, No. 7. (1992), pp. 964-991.
    by Frederic H Murphy, Edward A Stohr, Ajay Asthana
    posted to lp mathematicalprogramming by rrufai on 2008-03-20 16:59:35 as **
  • Statistical inference and probabilistic modeling for constraint-based NLP
    (1998)
    by S Riezler
    posted to clp lp rl by rodrigo_braz on 2007-04-09 20:58:13 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/lp

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