registrieren | anmelden | FAQ      [?] 

Tag paraconsistency [17 articles]

Recent papers classified by the tag paraconsistency.
  • Resource-Bounded Paraconsistent Inference
    Annals of Mathematics and Artificial Intelligence, Vol. 39, No. 4. (21 December 2003), pp. 349-384.
    by Pierre Marquis, Nadège Porquet
    posted to inferencing paraconsistency resources by Scis0000002 on 2007-08-21 00:28:52 as **
  • The Dialogical Approach to Paraconsistency
    Synthese, Vol. 125, No. 1. (1 January 2000), pp. 201-232.
    by Sahid Rahman, Walter A Carnielli
    posted to argumentation-theory dialogical-logic paraconsistency by Scis0000002 on 2007-07-04 09:59:59 as **
  • Logics of Formal Inconsistency
    Vol. 14 (2005)
    by Walter A Carnielli, Marcelo E Coniglio, João marcos
    edited by D Gabbay, F Guenthner
    posted to paraconsistency logics inconsistency by scis0000001 on 2007-01-16 09:36:21 as **
  • Quantum Institutions
    : Algebra, Meaning and Computation (2006), pp. 50-64.
    by Carlos Caleiro, Paulo Mateus, Amilcar Sernadas, Cristina Sernadas
    posted to classification iff institutions paraconsistency qip quantum-domain-theory quantum-gales quantum-games quantum-information-theory quantum-institutions quantum-logic quantum-theory by scis0000001 on 2007-03-12 14:13:23 as **
  • A Gentle Introduction to The Universal Algorithmic Agent AIXI
    No. IDSIA-01-03. (2003)
    by Marcus Hutter
    edited by B Goertzel, C Pennachin
    posted to adaptability aixi al artificial-physics complexity computability-logic computational-epistemology emergence formation iff inductive-inference intelligence-order-relations interactivity machine-learning model model-selection order ordering paraconsistency prequential taxanomy uai universality by scis0000001 on 2006-08-05 10:07:49 as ** along with 2 people and 1 group rgb mzygmunt pileWorks
  • How to Build Your Own Paraconsistent Logic:
    by An I To
    posted to logics paraconsistency paraconsistent-logic by scis0000001 on 2007-03-17 14:16:32 as ** along with 1 person cangaru
  • Hierarchies of generalized Kolmogorov complexities and nonenumerable universal measures computable in the limit
    (2002)
    by J Schmidhuber
    posted to algorithmic-information-content algorithmic-information-theory computational-epistemology generalized-algorithmic-probability generalized-fractal-dimension generalized-kolmogorov-complexity incompleteness kolmogorov-complexity order-theory paraconsistency partial-order qait total-order by scis0000001 on 2006-09-21 16:31:47 as **
  • Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
    (27 Dec 2004)
    by Juergen Schmidhuber
    posted to adaptability aixi all-logical-theories atp autonomic-computing bias biops chu-space computability-logic computational-epistemology computational-learning computational-mathematics computational-science domain-theory dynamics efficiency formal-development formal-system generalized-kolmogorov-complexity goedel-machine gtm iff inference inference-dynamics interactivity lattice-of-theories least-time machine-learning metaevolution metalogic-programming metalogics metascience model-selection oops optimality paraconsistency problem-solving proof-search reinforcement-learning resource-allocation robotics searching self-adaptation self-managing self-reference semweb speed-prior survivability temporal-logic universal-search universality utility by scis0000001 on 2006-09-15 14:13:48 as ** along with 1 person Scis0000002
  • Quantum cybernetics: a new perspective for Nelson's stochastic theory, nonlocality, and the Klein-Gordon equation
    Physics Letters A, Vol. 296 (April 2002), pp. 1-8.
    by G Grössing
    posted to bias coherence control cosmological-theory cybernetics decoherence diffusion-waves dynamics games interactivity medium metaevolution metaprocess nonlocality oscillons paraconsistency power predictability prior quantum-coherence quantum-space quantum-vacuum quantum-vacuum-field randomness space-time by scis0000001 on 2007-03-13 09:21:33 as **
  • Paraconsistency of Interactive Computation
    (21 Jul 2002)
    by Dina Goldin, Peter Wegner
    posted to abduction all-computational-structures all-logical-theories all-physical-structures computability-logic concurrency consistency contradiction countability decoherence domain-theory dynamical-system enumerability equivalence-class fol game-theory games generalized-algorithmic-probability generalized-kolmogorov-complexity gtm iff incompleteness inference infinite interactivity lattice-of-theories logics long-range-correlation many-body metaevolution metalogic-programming minimum-sufficient-statistic modeling nonmonotonicity observability paraconsistency problem-solving proof-tree quantum-field-computation quantum-vacuum relevant-logic resources scale-relativity self-duality semantics symmetry-breaking syntax temporal-relevant-logic time-horizon universality universality-class by scis0000001 on 2007-02-18 15:19:53 as **
  • Interactive Computation: The New Paradigm
    by Dina Q Goldin, Scott A Smolka, Peter Wegner
    posted to adaptability aixi behavior chu-space computability computability-logic computational-epistemology dynamics iff interactivity interference paraconsistency relativity by scis0000001 on 2006-09-19 09:26:21 as ** along with 7 people and 2 groups Mandre fmatthes pverstra rgb csolar1971 tekno scottmoody macc pileWorks
  • Design of the kernel language for the parallel inference machine
    The Computer Journal, Vol. 33, No. 6. (1990), pp. 494-500.
    by Kazunori Ueda, Takashi C Chikayama
    posted to committed-choice concurrency inference interactivity paraconsistency by scis0000001 on 2007-02-20 09:55:32 as **
  • On the Foundations of Universal Sequence Prediction
    (3 May 2006)
    by Marcus Hutter
    posted to computational-epistemology dynamical-system inductive-inference inference model-selection paraconsistency portfolio-selection predictability randomness selection sequence-prediction theory-selection universal-prediction universal-sequence-prediction universality by scis0000001 on 2006-08-29 08:55:57 as **
  • Anti-Intuitionism and Paraconsistency
    by Andreas BM Brunner, Walter A Carnielli
    posted to anti-intuitionistic intuitionistic paraconsistency by scis0000001 on 2007-03-17 14:02:00 as ** along with 1 person cangaru
  • 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
  • Paraconsistency and its relation to worldviews
    Foundations of Science, Vol. 3, No. 2. (26 November 1998), pp. 259-283.
    by Diderik Batens
    posted to worldview paraconsistency by hermeschris on 2008-12-04 17:17:35 as ****
  • On paraconsistent deontic logic
    Philosophia, Vol. 16, No. 3. (30 December 1986), pp. 293-305.
    by Newton Da Costa, Walter Carnielli
    posted to paraconsistency deontic by hermeschris on 2008-12-04 14:17:24 as ****
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/paraconsistency

    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.