Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

wspeng's logic [15 articles]

Recent papers added to wspeng's library classified by the tag logic. You can also see everyone's logic.
  • CYC: a large-scale investment in knowledge infrastructure
    Commun. ACM, Vol. 38, No. 11. (November 1995), pp. 33-38.
    by Douglas B Lenat
    posted to logic ontology by wspeng on 2008-08-27 00:05:26 as ** along with 5 people and 1 group horeis fheintz shenshei nickstenning bobstark CompIntelligentSystems
  • Programming expert systems in OPS5: an introduction to rule-based programming
    (1985)
    by Lee Brownston, Robert Farrell, Elaine Kant, Nancy Martin
    posted to database logic by wspeng on 2008-06-18 04:39:04 as **
  • Web Service Modeling Ontology
    Applied Ontology, Vol. 1, No. 1.
    by Dumitru Roman, Uwe Keller, Holger Lausen, Jos de Bruijn, Rubén Lara, Michael Stollberg, Axel Polleres, Cristina Feier, Cristoph Bussler, Dieter Fensel
    posted to logic modeling ontology by wspeng on 2008-05-01 23:51:33 as **
  • A Tableau Decision Procedure for SHOIQ
    Journal of Automated Reasoning (2007)
    by Ian Horrocks, Ulrike Sattler
    posted to logic by wspeng on 2008-04-28 01:10:39 as **
  • Reducing OWL Entailment to Description Logic Satisfiability
    J. of Web Semantics, Vol. 1, No. 4. (2004), pp. 345-357.
    by Ian Horrocks, Peter F Patel-Schneider
    posted to complexity logic owl by wspeng on 2008-04-26 00:03:24 as **
  • Maintaining Consistency between UML Models with Description Logic Tools
    by Tom Mens, Der, Jocelyn Simmonds
    posted to consistency logic modeling by wspeng on 2008-04-18 18:35:20 as **
  • The Stable Model Semantics for Logic Programming
    (1988), pp. 1070-1080.
    by M Gelfond, V Lifschitz
    edited by R Kowalski, K Bowen
    posted to logic programming by wspeng on 2008-04-16 17:58:07 as **
  • Quantificational Logic of Context
    (1996)
    by Sasa Buvac
    posted to context logic representation by wspeng on 2008-04-08 00:23:06 as **
  • Notes on Formalizing Context
    (1993)
    by J Mccarthy
    posted to context logic representation by wspeng on 2008-04-07 23:50:27 as **
  • Contexts: A Formalization and Some Applications
    (1991)
    by RV Guha
    posted to context logic modeling representation by wspeng on 2008-04-07 23:10:19 as **
  • 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 **
  • BLOG: Probabilistic Models with Unknown Objects
    (2007)
    by Brian Milch, Bhaskara Marthi, Stuart Russell, David Sontag, Daniel L Ong, Andrey Kolobov
    posted to logic probabilistic by wspeng on 2008-02-22 02:41:10 as **
  • Markov Logic Networks
    Machine Learning
    by Matthew Richardson, Pedro Domingos
    posted to logic probabilistic by wspeng on 2008-02-22 01:39:03 as **
  • Probabilistic Modal Logic
    Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (2007)
    by Shirazi Afsaneh, Amir Eyal
    posted to logic modal probabilistic by wspeng on 2008-02-22 01:22:40 as **
  • Probabilistic logic tutorial
    posted to logic probabilistic by wspeng on 2008-02-21 04:01:12 as **
    • Note: You may cite this page as: http://www.citeulike.org/user/wspeng/tag/logic

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