CiteULike: scis0000001's inference [67 articles]

	Reasoning with Diagrams: The Semantics of Arrows [My Copy] In Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (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 [My Copy] In Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Vol. 617 (May 2002), pp. 392-404. by K. H. Knuth edited by R. L. 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 [My Copy] 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 [My Copy] In National Conference on Artificial Intelligence (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 [My Copy] 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 [My Copy] (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 3 people pirapira jrw Scis0000002
	Presenting and Combining Inference Systems - presentations with inference rules [My Copy] 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 [My Copy] (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 [My Copy] 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 [My Copy] (2004) by D. Jensen, J. Neville, B. Gallagher posted to collective inference by scis0000001 on 2007-02-22 14:07:35 as along with 5 people mmcgloho roys pliz iris_2001 payne
	Implementation and Evaluation [My Copy] 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 [My Copy] In Principles and Practice of Declarative 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 [My Copy] 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 [My Copy] (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 [My Copy] 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 [My Copy] 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 along with 1 person network01
	Chronological Minimisation and Explanation [My Copy] 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 [My Copy] 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 [My Copy] 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 [My Copy] (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 [My Copy] (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 [My Copy] 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 [My Copy] by C. Vogel posted to nlp inference by scis0000001 on 2007-02-02 13:53:22 as
	Default Reasoning over Domains and Concept Hierarchies [My Copy] 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 [My Copy] 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 [My Copy] (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 [My Copy] (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 2 people stefanmeissner gilsonline
	A default logic-based framework for context-dependent reasoning with lexical knowledge [My Copy] 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 2 people web03 damcci
	Multimodal Reasoning for Automatic Model Construction [My Copy] In AAAI/{IAAI} (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 [My Copy] (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 [My Copy] In Logics in Artificial Intelligence (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 along with 1 person blog01
	The Dynamics of Default Reasoning [My Copy] 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 [My Copy] (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 [My Copy] (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 [My Copy] (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 [My Copy] (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 [My Copy] (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 [My Copy] (2006) by A. Milanova posted to composition inference prediction uml by scis0000001 on 2006-11-25 14:34:46 as
	Reasoning with Executable Specifications [My Copy] In TAPSOFT '95: Theory and Practice of Software Development, No. 915. (1995), pp. 531-45. by Yves Bertot, Ranan Fraer edited by P. D. Mosses, M. Nielsen, M. I. Schwartzbach posted to executable inference modeling specification by scis0000001 on 2006-11-24 14:13:16 as
	Lakatos-style methods in automated reasoning [My Copy] (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 [My Copy] (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 [My Copy] (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 [My Copy] 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 [My Copy] 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 [My Copy] 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 [My Copy] (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 [My Copy] (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 [My Copy] (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 [My Copy] (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 [My Copy] 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

scis0000001's inference [67 articles] Export

scis0000001's tags