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

Ключевое слово logic [822 articles]

Recent papers classified by the tag logic.
  • Logic-Based Knowledge Representation
    No. 1600. (1999), pp. 13-41.
    by F Baader
    edited by MJ Wooldridge, M Veloso
    posted to description-logic knowledge-representation logic logic-programming by zednenem on 2006-01-09 21:14:38 as *** along with 1 person neilernst
  • notes Grammatical Framework
    J. Funct. Program., Vol. 14, No. 2. (March 2004), pp. 145-189.
    by Aarne Ranta
    posted to grammar haskell logic natural-language zippers by zednenem on 2005-10-09 16:49:34 as ** along with 4 people josefs kavabean bringert richardlp
  • Categorical Logic
    (2001)
    by Andrew M Pitts
    edited by S Abramsky, DM Gabbay, TSE Maibaum
    posted to category-theory logic by zednenem on 2005-08-16 05:26:43 as **** along with 16 people and 4 groups dalev jrw tautologico wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer mmarcus ps_ttf NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup
  • A logic for parametric polymorphism
    No. 664. (1993), pp. 361-375.
    by Gordon Plotkin, Mart∈ Abadi
    edited by M Bezem, JF Groote
    posted to logic polymorphism system-f by zednenem on 2007-04-14 04:02:58 as ** along with 1 person tautologico
  • Past- and Future-Oriented Time-Bounded Temporal Properties with OCL
    by Stephan Flake
    posted to logic ocl past tcl temporal by zaltahat on 2007-09-18 16:33:36 as ****
  • Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
    Archive for Mathematical Logic, Vol. 46, No. 3. (23 April 2007), pp. 281-287.
    by Shunsuke Yatabe
    posted to weak print logic in arithmetic by yoriyuki on 2008-06-20 09:33:34 as ** along with 1 person msakai
  • Disjunctive Normal Forms and Local Exceptions
    (2003)
    by Emmanuel Beffara, Vincent Danos
    posted to operator logic copy control classical by yoriyuki on 2008-06-06 09:03:42 as **
  • Arithmetical Proofs of Strong Normalization Results for Symmetric $λ$-calculi
    Fundam. Inf., Vol. 77, No. 4. (December 2007), pp. 489-510.
    by René David, Karim Nour
    posted to logic lambda-mu lambda copy classical calculus by yoriyuki on 2008-06-06 08:57:32 as **
  • Completeness in the Theory of Types
    The Journal of Symbolic Logic, Vol. 15, No. 2. (1950), pp. 81-91.
    by Leon Henkin
    posted to logic copy by yoriyuki on 2008-07-01 02:57:17 as **
  • Free Logic: Selected Essays
    (20 August 2007)
    by Karel Lambert
    posted to logic library free by yoriyuki on 2008-06-10 02:19:30 as **
  • Descriptive and Relative Completeness of Logics for Higher-Order Functions
    Automata, Languages and Programming (2006), pp. 360-371.
    by Kohei Honda, Martin Berger, Nobuko Yoshida
    posted to logic hoare by yoriyuki on 2008-06-02 08:27:19 as ** along with 1 person keigoi
  • Verifying Temporal Properties without Temporal Logic
    ACM Transactions on Programming Languages and Systems, Vol. 11, No. 1. (1989), pp. 147-167.
    by Bowen Alpern, Fred B Schneider
    posted to automata logic by Ylies on 2008-01-26 14:38:33 as **
  • An Epistemological and Didactic Study of a Specific Calculus Reasoning Rule
    Educational Studies in Mathematics, Vol. 60, No. 2. (October 2005), pp. 149-172.
    by Viviane Durand-Guerrier, Gilbert Arsac
    posted to ae argumentation calculus deduction dependence didactic ea historical inquiry logic mathematical natural practice predicate reasoning rule semantics statements syntax by yish on 2005-12-06 13:00:30 as ** along with 4 groups mathgamespatterns dtl vds-arg eni
  • How to do things with logical expressions: Creating collective value through co-ordinated reasoning
    Interaction Studies, Vol. 6, No. 1. (2005), pp. 103-117.
    by Denis Hilton, Gaelle Villejoubert, Jean-Francois Bonnefon
    posted to argumentation logic reasoning sociocognative by yish on 2005-11-14 16:00:47 as ** along with 4 groups mathgamespatterns dtl vds-arg eni
  • notes The Uses of Argument
    (07 July 2003)
    by Stephen E Toulmin
    posted to argument argumentation logic by yish on 2006-04-03 01:27:28 as ** along with 5 people and 6 groups mortimer neilernst tystl jsvoboda deepti UoY-CS-AIG mathgamespatterns dtl vds-arg AI eni
  • Story Logic: Problems and Possibilities of Narrative (Frontiers of Narrative Series)
    (31 July 2004)
    by David Herman
    posted to ijceell06 logic narrative theory by yish on 2005-11-30 18:00:23 as ** along with 1 person and 6 groups dperkel sims_phd_cohort_2005 digital_youth mathgamespatterns dtl vds-arg eni
  • Logical models of argument
    ACM Comput. Surv., Vol. 32, No. 4. (December 2000), pp. 337-383.
    by Carlos I Ches&\#241;evar, Ana G Maguitman, Ronald P Loui
    posted to argument logic survey by yijunyu on 2006-12-30 12:57:36 as ** along with 1 person and 1 group sdehousse IMRU
  • Bilattices and modal operators
    (1990), pp. 273-287.
    by Matthew L Ginsberg
    posted to bilattice logic modal multivalue by yijunyu on 2007-01-04 17:09:42 as **
  • On the Axiomatisation of Elgesem's Logic of Agency and Ability
    Journal of Philosophical Logic, Vol. 34, No. 4. (August 2005), pp. 403-431.
    by Guido Governatori, Antonino Rotolo
    posted to of logic axiomatization and agency ability by yarden on 2007-01-19 19:23:26 as ** along with 1 person guido
  • notes Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
    Journal of Logic and Computation, Vol. 16, No. 5. (October 2006), pp. 559-578.
    by Broersen, Jan, Herzig, Andreas, Troquard, Nicolas
    posted to strategic stit multi-agent logic game agency by yarden on 2007-01-19 19:16:24 as *****
  • Description logics of minimal knowledge and negation as failure
    ACM Trans. Comput. Logic, Vol. 3, No. 2. (April 2002), pp. 177-225.
    by Francesco M Donini, Daniele Nardi, Riccardo Rosati
    posted to as description failure knowledge logic minimal modal negation by yarden on 2005-03-17 04:19:12 as ****
  • Computer Implication and the Curry Paradox
    Journal of Philosophical Logic, Vol. 33, No. 6., 631.
    by Wayne Aitken, Jeffrey A Barrett
    posted to computational curry logic of philosophy by yarden on 2005-03-17 04:15:22 as ** along with 1 person and 1 group rzach LogicPhilMath
  • Objectivity, Value Spheres, and "Inherent Laws": On some Suggestive Isomorphisms between Weber, Bourdieu, and Luhmann
    Philosophy of the Social Sciences, Vol. 38, No. 1. (1 March 2008), pp. 97-120.
    by Hans H Bruun
    posted to weber value theory systems spheres social pierre objectivity niklas max luhmann logic inherent field differentiation bourdieu by wynsculley on 2008-06-25 15:14:44 as ***** along with 1 person mkhanam
  • Relational Markov models and their application to adaptive Web navigation
    (2002)
    by C Anderson, P Domingos, D Weld
    posted to logic probabilistic relational by wspeng on 2008-02-26 20:49:44 as **
  • Programming expert systems in OPS5: an introduction to rule-based programming
    (1985)
    by Lee Brownston, Robert Farrell, Elaine Kant, Nancy Martin
    posted to logic database by wspeng on 2008-06-18 04:39:04 as **
  • Modeling probabilistic logic using Petri nets
    Systems, Man, and Cybernetics, 1996., IEEE International Conference on, Vol. 2 (1996), pp. 864-869 vol.2.
    by Chuang Lin, YT Wu, Bo Li
    posted to logic net petri probabilistic by wnpx on 2008-01-27 19:30:50 as **
  • Logic and String Theory
    (18 Apr 2008)
    by A Nicolaidis
    posted to category_theory logic strings by willrubens on 2008-04-21 15:54:11 as ** along with 1 person Scis0000002
  • 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
  • A Logic of Access Control
    The Computer Journal, Vol. 44, No. 1. (1 January 2001), pp. 54-66.
    by Jason Crampton, George Loizou, Greg O'Shea
    posted to access control logic by weqa on 2007-11-14 07:11:48 as **
  • The Description Logic Handbook : Theory, Implementation and Applications
    (09 January 2003)
    by Franz Baader
    posted to logic by wcrosbie on 2005-11-28 00:23:21 as ** along with 11 people and 3 groups pajoma BarrosH dullhunk karlh onlyme msn stephane-jean phoenix incognito josemgarcia ps_ttf Wikipedia CoP_CMS musil
  • Information retrieval by logical imaging
    Journal of Documentation, Vol. 51 (1995), pp. 3-17.
    by Fabio Crestani, Cornelis J van Rijsbergen
    posted to logic information by water451 on 2007-02-02 19:01:45 as **
  • A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
    (26 Jan 2004)
    by Patricia M Hill, Enea Zaffanella, Roberto Bagnara
    posted to analysis linearity logic programming theory tree by wasi on 2005-08-17 18:18:11 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
  • Basic description logics
    (2003), pp. 43-95.
    by Franz Baader, Werner Nutt
    posted to logic by vme64 on 2006-03-18 13:04:45 as ** along with 2 people and 1 group tdlt ericlindahl DecisionSupportTheory
  • Logic Programming and Negation: A Survey
    Journal of Logic Programming, Vol. 19/20 (1994), pp. 9-71.
    by Krzysztof R Apt, Roland N Bol
    posted to logic naf negation by vme64 on 2006-02-10 12:43:58 as ** along with 1 person jmackay
  • notes XSB: A System for Effciently Computing WFS
    Lecture Notes in Artificial Intelligence, Vol. 1265 (1997), pp. 431-441.
    by Prasad Rao, Konstantinos F Sagonas, Terrance Swift, David S Warren, Juliana Freire
    edited by Dix
    posted to logic by vme64 on 2005-12-13 13:50:03 as read
  • Contexts for the Semantic Web
    Vol. 3298 (November 2004)
    by R Guha, R Mccool, R Fikes
    edited by Sheila A Mcilraith, Dimitris Plexousakis, Frank van Harmelen
    posted to contexts logic semantic_web by vme64 on 2005-10-29 12:05:33 as ** along with 9 people Minoopy slariccia bouvin wolfgang-wilkes A_Petra mzygmunt anansi flashfonic brightbyte
  • Defeasible Logic
    (1994), pp. 353-395.
    by Donald Nute
    edited by Dov Gabbay, Christopher J Hogger, JA Robinson
    posted to logic by vme64 on 2005-10-29 12:04:58 as **
  • Equality of Proofs for Linear Equality
    (30 Jan 2006)
    by K Dosen, Z Petric
    posted to logic review by vcvpaiva on 2006-02-06 15:16:46 as ***** along with 1 person greg_restall
  • Proofs, Concurrent Objects, and Computations in a FILL Framework
    Vol. 1107 (1995), pp. 148-167.
    by D Galmiche, E Boudinet
    edited by J Briot, J Geib, A Yonezawa
    posted to full-intuitionistic linear logic by vcvpaiva on 2005-12-18 15:03:16 as ****
  • Connection methods in linear logic and proof nets construction
    Theoretical Computer Science, Vol. 232, No. 1--2. (2000), pp. 231-272.
    by D Galmiche
    posted to full-intuitionistic linear logic by vcvpaiva on 2005-12-18 15:00:26 as ***
  • Rewriting properties of combinators for intuitionistic linear logic
    (1994)
    by M Nesi, V de Paiva, E Ritter
    posted to combinators intuitionistic linear logic own by vcvpaiva on 2005-11-19 17:14:25 as read
  • Explicit Substitutitions for Constructive Necessity
    by Neil Ghani, Valeria de Paiva, Eike Ritter
    posted to explicit-subs logic modal by vcvpaiva on 2005-11-19 17:12:44 as read
  • Syntactic Multicategories and Categorical Combinators for Linear Logic
    (1993)
    by E Ritter, V de Paiva
    posted to categorical linear logic by vcvpaiva on 2005-11-19 17:11:51 as read along with 1 person and 1 group rgb pileWorks
  • Explicit substitution for linear logical frameworks
    by I Cervesato, V de Paiva, E Ritter
    posted to explicit-subs linear logic by vcvpaiva on 2005-11-19 17:07:30 as read
  • A Dialectica Model of the Lambek Calculus
    by Valeria de Paiva
    posted to linear logic by vcvpaiva on 2005-11-19 17:06:13 as read
  • A Substructural Logic for Formal Verification
    by Sara Kalvala, Valeria de Paiva
    posted to linear logic by vcvpaiva on 2005-11-19 17:05:17 as read
  • Lineales: Algebraic Models of Linear Logic from a Categorical Perspective
    by Valeria de Paiva
    posted to algebraic linear logic by vcvpaiva on 2005-11-19 17:02:56 as read
  • Categorical Models for Intuitionistic and Linear Type Theory
    Lecture Notes in Computer Science, Vol. 1784 (2000)
    by Maria E Maietti, Valeria de Paiva, Eike Ritter
    posted to categorical linear logic by vcvpaiva on 2005-11-19 17:01:55 as read
  • Categorical Multirelations, Linear Logic and Petri Nets
    (May MarchJanuary 1991)
    by V de Paiva
    posted to linear logic nets petri by vcvpaiva on 2005-11-19 17:01:15 as read
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/logic

    Result page: 1 2 3 4 5 6 7 8 9 10 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.