registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

Scis0000002s logical-theories [29 articles]

Neue Publikationen in Scis0000002s Bibliothek eingetragen unter dem Bezeichner: logical-theories. You can also see everyone's logical-theories.
  • Semantics and Conceptual Change
    The Philosophical Review, Vol. 88, No. 3. (1979), pp. 327-365.
    by Jerrold J Katz
  • Strings from Logic
    (9 Nov 2000)
    by Christof Schmidhuber
  • Mathematical Logic (Oxford Texts in Logic)
    (22 June 2007)
    by Ian Chiswell, Wilfrid Hodges
  • Open-Ended Artificial Evolution
    ArXiv Nonlinear Sciences e-prints (October 2002)
    by RK Standish
  • A MDA-based Approach to the Ontology Definition Metamodel
    by Dragan Djuric, Dragan Gasevic, Vladan Devedzic
  • The Mathematics and Mechanics of Relating Formal Theories
    by Robert L Constable
  • Classifying Toposes for First-Order Theories
    Annals of Pure and Applied Logic, Vol. 91, No. 1. (1998), pp. 33-58.
    by Carsten Butz, Peter Johnstone
  • Logical quantizations of first-order structures
    International Journal of Theoretical Physics, Vol. 35, No. 3. (1 March 1996), pp. 495-517.
    by Hirokazu Nishimura
  • First-Order Logic Foundation of Relativity Theories
    (10 Apr 2006)
    by Judit X Madarasz, Istvan Nemeti, Gergely Szekely
  • A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
    ArXiv Quantum Physics e-prints (March 2007)
    by A Doering, CJ Isham
  • Knowledge representation with multiple logical theories and time
    pp. 47-76.
    posted to logical-theories by Scis0000002 on 2007-07-07 14:36:28 as **
  • On the Semantics of Theory Change: Arbitration Between Old and New Information
    (1993), pp. 71-82.
    by Peter Z Revesz
    posted to logical-theories revision by Scis0000002 on 2007-07-07 14:30:34 as **
  • Generating all abductive explanations for queries on propositional Horn theories
    (2003)
    by T Eiter, K Makino
    posted to logical-theories by Scis0000002 on 2007-07-06 10:19:12 as **
  • the transformation of objectoriented conceptual models to logical theories
    posted to formalization logical-theories by Scis0000002 on 2007-07-06 09:57:09 as **
  • Stochastic inductive logic programming
    (1994)
    by M Kovacic
    posted to ilp induction logical-theories by Scis0000002 on 2007-07-05 14:22:45 as ** along with 1 person blanca
  • The justification of logical theories based on data compression
    (1995), pp. 87-121.
  • An Infrastructure for Intertheory Reasoning
    (2000), pp. 115-131.
    by William M Farmer
  • A Formal Framework for Managing Mathematics
    (2003)
    by W Farmer
    posted to logical-theories mkm by Scis0000002 on 2007-07-05 14:09:00 as ** along with 1 person scis0000001
  • Little Theories
    (1992), pp. 567-581.
    by William M Farmer, Joshua D Guttman, Javier F Thayer
  • Formal interoperability
    (1998)
    posted to interoperability logical-theories mkm by Scis0000002 on 2007-07-05 13:47:44 as **
  • A Reflective Framework for Formal Interoperability
    by Sri
  • May I Borrow Your Logic? (Transporting Logical Structures along Maps
    (1997)
    posted to logical-theories by Scis0000002 on 2007-07-05 13:44:10 as **
  • Rewriting logic as a logical and semantic framework
    (1993)
    by Mart'i N Oliet, J Meseguer
  • Revising Nonmonotonic Theories: The Case of Defeasible Logic
    (1999), pp. 101-112.
    by David Billington, Grigoris Antoniou, Guido Governatori, Michael J Maher
    posted to defeasible-logic logical-theories revising revision by Scis0000002 on 2007-07-05 13:36:11 as **
  • Agent based cooperative theory formation in pure mathematics
    (2000)
    by S Colton, A Bundy, T Walsh
  • Logically Possible Machines
    pp. 259-280.
  • Induction of Defeasible Logic Theories in the Legal Domain
    by Benjamin Johnston, Guido Governatori
  • An algorithm for the induction of defeasible logic theories from databases
    (2003), pp. 75-83.
    by Benjamin Johnston, Guido Governatori
    posted to defeasible-logic induction logical-theories by Scis0000002 on 2007-06-24 14:23:30 as **
  • Algorithmic Theories of Everything
    (20 Dec 2000)
    by Juergen Schmidhuber
  • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/Scis0000002/tag/logical-theories

    RIS BibTeX