Registrer deg | Logg på | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

scis0000001s inference [67 articles]

Artikler nylig sendt til scis0000001s bibliotek klassifisert med nøkkelordet inference. You can also see everyone's inference.
  • Reasoning with Diagrams: The Semantics of Arrows
    (1999), pp. 236-245.
    by Gerard Ligozat
    posted to diagrammatic-reasoning inference by scis0000001 on 2007-05-10 00:50:21 as **
  • Inductive logic: from data analysis to experimental design
    Vol. 617 (May 2002), pp. 392-404.
    by KH Knuth
    edited by RL Fry
    posted to inductive-inference inference order-theory by scis0000001 on 2007-04-29 14:57:21 as **
  • Temporal representation and reasoning in artificial intelligence: Issues and approaches
    Annals of Mathematics and Artificial Intelligence, Vol. 28, No. 1-4. (2000), pp. 47-106.
    by Luca Chittaro, Angelo Montanari
    posted to inference temporal by scis0000001 on 2007-04-11 13:35:49 as **
  • Integrating Metric and Qualitative Temporal Reasoning
    (1991), pp. 241-246.
    by Henry A Kautz, Peter B Ladkin
    posted to inference qualitative quantitative temporal by scis0000001 on 2007-04-11 13:33:19 as **
  • Back to the future: a logical framework for temporal information representation and inferencing from financial news
    Natural Language Processing and Knowledge Engineering, 2003. Proceedings. 2003 International Conference on (2003), pp. 95-101.
    by Zi Huang, Kam-Fai Wong, Wenjie Li, D Song, P Bruza
    posted to inference temporal-logic time by scis0000001 on 2007-04-11 10:48:11 as **
  • A Formal Calculus for Categories
    (2003)
    by Mario J Cáccamo
    posted to calculus category-theory enriched-category-theory formal-category-theory formalization inference by scis0000001 on 2007-04-07 13:42:52 as ** along with 2 people jrw Scis0000002
  • Presenting and Combining Inference Systems - presentations with inference rules
    by Wieslaw Pawlowski
    posted to combining context inference institutions presenting by scis0000001 on 2007-03-17 13:57:54 as **
  • A Theory of Concepts and Their Combinations I: The Structure of the Sets of Contexts and Properties
    (26 Feb 2004)
    by Diederik Aerts, Liane Gabora
    posted to all-logical-theories chu-space closure closure-structures concept-lattice conceptual-structures domain-theory fca iff inference information-system logical-information-system logical-structures by scis0000001 on 2007-03-07 14:11:43 as ** along with 1 person JayDugger
  • Relationships between Non-Monotonic Reasoning and Incremental Learning: Preliminary Outline of Invited Talk
    by Benjamin N Grosof
    posted to incremental-learning inference nonmonoticity by scis0000001 on 2007-02-23 12:43:26 as **
  • Why collective inference improves relational classification
    (2004)
    by D Jensen, J Neville, B Gallagher
    posted to collective inference by scis0000001 on 2007-02-22 14:07:35 as ** along with 4 people roys pliz iris_2001 payne
  • Implementation and Evaluation
    by Of T Algorithm
    posted to implementation inference inferencer by scis0000001 on 2007-02-21 12:16:10 as ** along with 1 person qili
  • 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
  • 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 **
  • 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 **
  • 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
  • An Abstract, Argumentation-Theoretic Approach to Default Reasoning
    Artificial Intelligence, Vol. 93 (1997), pp. 63-101.
    by Andrei Bondarenko, Phan M Dung, Robert A Kowalski, Francesca Toni
    posted to nonmonotonic inference default-reasoning argumentation-theory by scis0000001 on 2007-02-11 17:33:49 as **
  • Chronological Minimisation and Explanation
    by John Bell
    posted to logics inference common-sense chronological-minimisation causal-minimisation by scis0000001 on 2007-02-05 13:06:13 as **
  • 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
  • Situated Nonmonotonic Temporal Reasoning with BABY-SIT
    AI Communications, Vol. 10, No. 2. (1997), pp. 93-109.
    by Erkan Tin, Varol Akman
    posted to temporal situation-theory situated nonmonotonic inference by scis0000001 on 2007-02-04 14:41:48 as **
  • Logical reasoning with diagrams
    (1996)
    by Gerard Allwein, Jon Barwise
    edited by Gerard Allwein, Jon Barwise
    posted to logics inference diagrammatic-reasoning by scis0000001 on 2007-02-03 11:49:13 as **
  • Intelligent Caching in Heterogeneous Reasoning and Mediator Systems
    (1995)
    by S Adali, V Subrahmanian
    posted to inference heterogeneous-reasoning by scis0000001 on 2007-02-03 11:47:25 as **
  • Representing and Reasoning with Events from Natural Language
    pp. 406-420.
    by Miguel Leith, Jim Cunningham
    posted to nlp inference by scis0000001 on 2007-02-03 11:44:35 as **
  • Inheritance Reasoning: Psychological Plausibility
    by C Vogel
    posted to nlp inference by scis0000001 on 2007-02-02 13:53:22 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 **
  • Representing and Reasoning about Temporal Granularities
    by Carlo Combi, Massimo Franceschet, Adriano Peron
    posted to time temporal-concept-analysis temporal qualitative inference granularity by scis0000001 on 2007-02-01 14:05:53 as **
  • Real-time specification and reasoning using maximal intervals
    (1999)
    by C Fidge, I Hayes, B Mahony, A Wabenhorst
    posted to specification real-time inference by scis0000001 on 2007-01-30 10:26:15 as **
  • Case-based reasoning : Foundational issues, methodological variations, and system approaches
    (1994)
    by A Agnar, P Enric
    posted to similarity inference cbr case-based-reasoning case-based analogy by scis0000001 on 2007-01-26 14:38:07 as ** along with 1 person gilsonline
  • A default logic-based framework for context-dependent reasoning with lexical knowledge
    Journal of Intelligent Information Systems, Vol. 16, No. 1. (2001), pp. 62-87.
    by Anthony Hunter
    posted to nonmonotonic nlp inference context by scis0000001 on 2007-01-21 14:24:48 as ** along with 1 person damcci
  • Multimodal Reasoning for Automatic Model Construction
    (1998), pp. 181-188.
    by Reinhard Stolle, Elizabeth Bradley
    posted to multimodal modeling inference automatic by scis0000001 on 2007-01-19 10:27:34 as **
  • Qualitative spatio-temporal representation and reasoning: a computational perspective
    (2001)
    by F Wolter, M Zakharyaschev
    posted to temporal spatio-temporal representation qualitative inference by scis0000001 on 2007-01-19 09:25:39 as **
  • Temporal Theories of Reasoning
    (1994), pp. 279-299.
    by Joeri Engelfriet, Jan Treur
    edited by Craig Macnish, Luís M Pereira, David Pearce
    posted to time temporal state-space semantics information-system inference event-structures event-space dynamics chu-space behavior by scis0000001 on 2007-01-12 22:23:23 as **
  • The Dynamics of Default Reasoning
    Data Knowledge Engineering, Vol. 21, No. 3. (1997), pp. 317-346.
    by B van Linder, Wiebe van der Hoek, John
    posted to concurrency default-reasoning dynamical-system dynamics inference inference-dynamics logics reasoning-dynamics speed-prior temporal-logic by scis0000001 on 2007-01-12 22:20:00 as **
  • Reasoning about functions with effects
    (1997)
    by C Talcott
    posted to effects inference by scis0000001 on 2006-12-16 13:32:43 as **
  • Nonparametric methods for inference in the presence of instrumental variables
    (6 Mar 2006)
    by Peter Hall, Joel L Horowitz
    posted to inference nonparametric by scis0000001 on 2006-12-14 14:07:20 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 **
  • Sufficiency in quantum statistical inference
    (27 December 2004)
    by Anna Jencova, Denes Petz
    posted to sufficiency inference by scis0000001 on 2006-12-05 09:53:21 as ** along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
  • Tactical Reasoning in Synthetic Multi-Agent Systems: a Case Study
    (1999)
    by M Prokopenko, M Butler
    posted to competition game inference mas strategy tactical by scis0000001 on 2006-12-04 14:09:00 as **
  • Composition inference for UML class diagrams
    (2006)
    by A Milanova
    posted to composition inference prediction uml by scis0000001 on 2006-11-25 14:34:46 as **
  • Reasoning with Executable Specifications
    No. 915. (1995), pp. 531-45.
    by Yves Bertot, Ranan Fraer
    edited by PD Mosses, M Nielsen, MI Schwartzbach
    posted to executable inference modeling specification by scis0000001 on 2006-11-24 14:13:16 as **
  • Lakatos-style methods in automated reasoning
    (2003)
    by S Colton, A Pease
    posted to inference by scis0000001 on 2006-11-24 13:35:09 as **
  • A logical generalization of formal concept analysis
    (2000)
    by S Ferr'e, O Ridoux
    posted to axiomatic-system chu-space computability-logic conceptual-structures context-logic domain-logic epistemology fca formal-system generalization iff inference information-system lattice-of-theories lca logic logical-information-system logical-structures logical-theories monotonicity unified-concept-theory by scis0000001 on 2006-11-21 10:15:16 as **
  • Towards nonmonotonic reasoning on hierarchical knowledge
    (2002)
    by P Hitzler
    posted to hierarchy inference nonmonotonicity by scis0000001 on 2006-11-18 13:37:58 as **
  • The Topo-Approach To Spatial Representation And Reasoning
    by Marco Aiello
    posted to inference representation spatial by scis0000001 on 2006-11-14 09:55:25 as **
  • Morphisms in Logic, Topology, and Formal Concept Analysis
    by Markus Krötzsch
    posted to chu-space domain-theory fca inference morphism topology by scis0000001 on 2006-11-08 14:56:27 as ** along with 1 person thau
  • 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
  • Semantic interpretation of temporal information by abductive inference
    (22 Nov 2000)
    by Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde
    posted to abductive-inference inference semantics time by scis0000001 on 2006-11-08 13:38:37 as **
  • Transductive and Inductive Methods for Approximate Gaussian Process Regression
    (2002)
    by A Schwaighofer, V Tresp
    posted to computational-epistemology direct-inference extensivity gaussian-process induction inductive-inference inference non-probabilistic prequential regression transduction transductive transductive-inference by scis0000001 on 2006-11-07 15:10:12 as **
  • The promise of Bayesian inference for astrophysics
    (1992)
    by T Loredo
    posted to bayesian cosmology inference by scis0000001 on 2006-10-31 10:07:52 as **
  • A multi-agent approach to modelling interaction in human mathematical reasoning
    (2001)
    by A Pease, S Colton, A Smaill
    posted to inference interaction mas mathematical-reasoning by scis0000001 on 2006-09-30 13:43:32 as **
  • Hierarchical Contextual Reasoning
    by S Autexier
    posted to context hierarchical inference lattice-of-formulas logical-information-system order-theory by scis0000001 on 2006-09-30 13:18:30 as **
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/scis0000001/tag/inference

    Result page: 1 2 Next RIS BibTeX