Tag fol [36 articles] Export

Recent papers classified by the tag fol.

	Metalogic: An Introduction to the Metatheory of Standard First Order Logic [My Copy] (26 June 1996) by Geoffrey Hunter posted to fol by Scis0000002 on 2009-07-23 10:52:19 as
	The Lattice Approach to Ontology Language Interoperability [My Copy] In CIT '04: Proceedings of the The Fourth International Conference on Computer and Information Technology (2004), pp. 265-272. by Baisheng Shi, Zongtian Liu, Yuqing Wang, Hong Yu, Meili Huang posted to category-of-languages fol interoperability languages lattice-of-languages ontologies similarities by Scis0000002 on 2009-07-21 18:47:51 as
	Topical categories of domains [My Copy] Mathematical. Structures in Comp. Sci., Vol. 9, No. 5. (1999), pp. 569-616. by Steven Vickers posted to algebraicity algebras category-theory constructivity domain-theory domains fol geometricity locales stone-duality topological-spaces topos-theory toposes by Scis0000002 on 2009-05-27 11:14:06 as
	<i>Fusarium oxysporum</i>: exploring the molecular arsenal of a vascular wilt fungus [My Copy] Molecular Plant Pathology, Vol. 4, No. 5. (2003), pp. 315-325. by Antonio Di Pietro, Marta P. Madrid, Zaira Caracuel, Jesús Delgado-Jarana, Isabel posted to fol tomato by zmsheu on 2009-03-24 23:59:43 as
	Genetic analysis of pathogenic and nonpathogenic Fusarium oxysporum from tomato plants [My Copy] Canadian Journal of Botany (March 2002), pp. 271-279. by J. R. Bao, D. R. Fravel, N. R. O'Neill, G. Lazarovits, P. V. Berkum posted to fol tomato by zmsheu on 2009-03-24 15:20:50 as
	Usability study of digital libraries: ACM, IEEE-CS, NCSTRL, NDLTD [My Copy] International Journal on Digital Libraries, Vol. 2, No. 2. (1999), pp. 157-169. by Rekha Kengeri, Cheryl D. Seals, Hope D. Harley, Himabindu P. Reddy, Edward A. Fox posted to cul fol by alm180 on 2008-09-22 02:43:15 as along with 2 people KGrubeLacroix bhojarajug
	Information Retrieval Challenges for Digital Libraries [My Copy] Digital Libraries: International Collaboration and Cross-Fertilization (2004), pp. 95-103. by Edie Rasmussen posted to cul fol by alm180 on 2008-09-22 02:42:35 as along with 13 people suzydeucher ZachM32 vlm15 lgoerner jchaney oritwd dlibrary racheldrich mlz11 AlisonBabeu LotteT cwillifo Carol_Perryman
	An infrastructure for context-awareness based on first order logic [My Copy] Personal Ubiquitous Comput., Vol. 7, No. 6. (December 2003), pp. 353-364. by Anand Ranganathan, Roy H. Campbell posted to first-order fol by Scis0000002 on 2008-08-15 20:51:43 as along with 6 people bigga locatellimp smostinc brianlimyl calmazan Madison80
	Arbitrary Relations in Formal Concept Analysis and Logical Information Systems [My Copy] : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 166-180. by Sã©bastien Ferrã©, Olivier Ridoux, Benjamin Sigonneau posted to algebraic-structures chu-spaces definability ensemble-theories fca first-order fol formal-concept-analysis logical-information-system logical-information-systems mathematical-structures relational-structures by Scis0000002 on 2008-08-15 20:44:29 as along with 1 person scis0000001
	A New Finestructural Hierarchy for the Constructible Universe [My Copy] by Peter Koepke posted to constructibility constructible-sets constructible-universe definability fol goedel-machines hierarchies hierarchy-of-complexity-classes hierarchy-of-formal-systems hierarchy-of-frameworks hierarchy-of-languages hierarchy-of-theories hierarchy-of-toposes hierarchy-of-truths hierarchy-of-types higher-order hypercomputability inner-models mathematical-structures metamathematics n-frameworks n-hierarchies omega-frameworks omega-hierarchies omega-hierarchy omega-models omega-sciences provability set-theory skolemization skolem-paradox by Scis0000002 on 2008-07-18 22:10:28 as
	B. A Common Framework for Strategies [My Copy] A Subject With No Object (December 1999), pp. 67-95. by John P. Burgess, Gideon Rosen posted to ensemble-theories fol mathematical-structures physical-structures representations scientific-theories skolem-loewenheim-theorem strategies by Scis0000002 on 2008-07-18 12:31:12 as
	The Mathematical Universe [My Copy] (5 Apr 2007) by Max Tegmark posted to abstract-model-theory algorithmic-information-theory all-possible-physical-theories all-possible-universes definability energies ensemble-theories fol formal-digital-libraries formal-interoperability formal-language-theory formal-physics formal-science formal-theories inside logical-information-systems mathematical-constants mathematical-logic mathematical-physics mathematical-structure-of-sciences mathematical-structures metalogical-frameworks metamathematical-frameworks order-structures outside philosophy-of-science physical-constants physical-models physical-structures physical-theories research-frameworks synthetic-physics synthetic-science theoretical-physics theories toes topos-theory transformers unified-theories universes by Scis0000002 on 2008-06-28 11:25:56 as along with 13 people and 3 groups bnewbold Tavakoli joaojfn A_Olympia jrw RMT proportional JayDugger papillon80 gpi paes webbjn qwermish Ahad-Yaser Philosophy_of_Information Blog_and_Wiki_Research
	Model Theory of Fields [My Copy] (1996) by D. Marker, M. Messmer, A. Pillay posted to field-theories fields fol model-theory by Scis0000002 on 2008-05-02 15:08:26 as
	Representation and Inference for Natural Language: A First Course in Computational Semantics [My Copy] (06 April 2005) by Patrick Blackburn, Johan Bos posted to fol semantics by bringert on 2008-04-17 15:57:44 as
	Learning First Order Logic Time Series Classifiers: Rules and Boosting [My Copy] Principles of Data Mining and Knowledge Discovery (2000), pp. 85-105. by Juan Rodríguez, Carlos Alonso, Henrik Boström posted to fol ilp time-series by Scis0000002 on 2008-02-03 01:26:32 as
	First-Order Logic Based Formalism for Temporal Data Mining * [My Copy] Foundations of Data Mining and knowledge Discovery (2005), pp. 185-210. by Paul Cotofrei, Kilian Stoffel posted to fol mining temporal temporal-concept-analysis by Scis0000002 on 2008-01-31 11:57:21 as
	Towards a Coherent Theory of Physics and Mathematics: The Theory-Experiment Connection [My Copy] ArXiv Quantum Physics e-prints (March 2004) by P. Benioff posted to abstract-machines bit-string-physics bit-strings cantor-space cardinality complex-numbers complexity-classes computability computational-numbers continued-fractions experiments finite-precision fol formal-physics hierarchy-of-theories hypercomplex-numbers hyperreal-numbers logical-structures logical-theories mathematical-structures measurement number-theory philospohy-of-science physical-structures physical-theories rational-numbers real-numbers sequences theories toes by Scis0000002 on 2008-01-17 21:34:18 as
	Translating the object constraint language into first-order predicate logic [My Copy] (2002) by B. Beckert, U. Keller, P. Schmitt posted to fol ocl by Scis0000002 on 2007-09-22 16:03:46 as along with 1 person mattbiehl
	Distributed First Order Logics [My Copy] In Frontiers of Combining Systems 2 (1998) by Chiara Ghidini, Luciano Serafini edited by Franz Baader, Klaus U. Schulz posted to distributed-logics fol by Scis0000002 on 2007-08-19 14:48:56 as
	Classifying Toposes for First-Order Theories [My Copy] Annals of Pure and Applied Logic, Vol. 91, No. 1. (1998), pp. 33-58. by Carsten Butz, Peter Johnstone posted to categorical-theories classifying-toposes fol logical-theories toposes topos-theory by Scis0000002 on 2007-08-04 10:17:09 as
	Logical quantizations of first-order structures [My Copy] International Journal of Theoretical Physics, Vol. 35, No. 3. (1 March 1996), pp. 495-517. by Hirokazu Nishimura posted to categorical-theories equational-theories fol formal-theories limit-theories logical-theories mathematical-structures quantization toposes topos-theory by Scis0000002 on 2007-08-02 14:17:27 as
	First-Order Logic Foundation of Relativity Theories [My Copy] (10 Apr 2006) by Judit X. Madarasz, Istvan Nemeti, Gergely Szekely posted to all-possible-physical-theories axiomatization computational-physics cosmological-theories fol formal-cosmology formal-mathematics formal-physics formal-string-theory formalizability formalization intuitionistic-logic logical-theories metalogics physical-models physical-theories proofability provability proving relativity space-time space-times theoretical-physics topos-theory by Scis0000002 on 2007-07-14 13:37:44 as along with 1 person jrw
	Learning Ensembles of First-Order Clauses for Recall-Precision Curves: A Case Study in Biomedical Information Extraction [My Copy] In Proceedings of the 14th International Conference on Inductive Logic Programming (ILP) by Mark Goadrich, Louis Oliphant, Jude Shavlik posted to fol ilp by Scis0000002 on 2007-07-10 08:47:59 as along with 1 person scis0000001
	Developing theories of types and computability via realizability [My Copy] (1999) by Lars Birkedal posted to algebraic-lattice computability-logic computability-theory effective-topos equilogical-space fibrations fol logics modal-logic predicate-logic realizability realizer sheav-theory topos-theory tripos-theory type-theory by scis0000001 on 2007-05-09 23:12:59 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
	First Order Theory Refinement [My Copy] In Advances in Inductive Logic Programming (1996), pp. 14 - 33. by Stefan Wrobel edited by Luc De Raedt posted to theory-revision theory-refinement revision refinement fol by scis0000001 on 2007-01-19 14:38:27 as along with 1 person mishra_satish
	Incremental Induction of Classification Rules for Cultural Heritage Documents [My Copy] by Teresa M. A. Basile, Stefano Ferilli, Nicola Di Mauro, Floriana Esposito posted to incremental fol classification-rules by scis0000001 on 2007-01-19 14:11:47 as
	A first order logic of effects [My Copy] Theoretical Computer Science, Vol. 185, No. 2. (1997), pp. 277-318. by Ian A. Mason posted to effects fol by scis0000001 on 2006-12-16 13:34:11 as
	Mechanising first-order temporal resolution [My Copy] (2003) by B. Konev, A. Degtyarev, C. Dixon, M. Fisher, U. Hustadt posted to fol resolution temporal by scis0000001 on 2006-12-10 15:49:11 as
	Can a Higher-Order and a First-Order Theorem [My Copy] by Prover C. Christoph posted to atp fol hol by scis0000001 on 2006-12-10 15:45:11 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
	st order logic formal concept analysis: from logic programming to theory [My Copy] (1998) by L. Chaudron, N. Maille posted to fca fol generalization by scis0000001 on 2006-12-04 14:03:32 as
	Categorical Models Of First-Order Classical Proofs [My Copy] by Richard Mckinley posted to semantics logic hyperdoctrine fol chu-space categorical-theories categorical-semantics categorical-models categorical-logic by scis0000001 on 2006-09-29 09:08:29 as
	$My PDF karali&\#269;_97_first.pdf$ First Order Regression [My Copy] Mach. Learn., Vol. 26, No. 2-3. (1997), pp. 147-176. by Aram Karali&\#269;, Ivan Bratko posted to fol by pewu on 2005-12-13 13:33:08 as
	The logic of a relational data manipulation language [My Copy] In POPL '79: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1979), pp. 101-109. by Marco A. Casanova, Philip A. Bernstein posted to database dbms fol logic relational relations by hamish on 2005-10-17 18:23:28 as along with 1 person jrw
	Rewriting of imperative programs into logical equations [My Copy] Science of Computer Programming, Vol. 56, No. 3. ( 2005), pp. 363-401. by Olivier Ponsini, Carine Fedele, Emmanuel Kounalis posted to fol formalmethods logic programtransformation by hamish on 2005-06-23 22:34:17 as along with 1 person radico

Note: You may cite this page as: http://www.citeulike.org/tag/fol

mathematical-structures	6
topos-theory	6
logical-theories	4
categorical-theories	3
chu-space	3
computability-logic	3
definability	3
ensemble-theories	3
formal-physics	3
ilp	3
logic	3
physical-structures	3
physical-theories	3
semantics	3
toposes	3
algebraic-structures	2
all-logical-theories	2
all-possible-physical-theories	2
cantor-space	2
cul	2
domain-theory	2
fca	2
first-order	2
formal-theories	2
hierarchy-of-theories	2
inference	2
logical-information-system	2
logical-information-systems	2
logics	2
lp	2
physical-models	2
provability	2
relational-structures	2
relations	2
temporal	2
theoretical-physics	2
theories	2
toes	2
tomato	2
abstract-machines	1
abstract-model-theory	1
all-possible-universes	1
all-relational-structures	1
bit-string-physics	1
bit-strings	1
categorical-models	1
category-of-languages	1
classifying-toposes	1
complex-numbers	1
computability-theory	1
constructible-universe	1
constructivity	1
domains	1
energies	1
formal-science	1
formal-string-theory	1
formalization	1
fractafold	1
fractality	1
game-theory	1
games	1
geometricity	1
gtm	1
hierarchy-of-languages	1
higher-order	1
hypercomputability	1
hyperdoctrine	1
hyperreal-numbers	1
interoperability	1
languages	1
lattice-of-theories	1
limit-theories	1
mathematical-logic	1
metaevolution	1
metalogic-programming	1
metamathematics	1
modal-logic	1
nonmonotonicity	1
omega-sciences	1
ontologies	1
paraconsistency	1
physical-constants	1
quantization	1
quantum-field-computation	1
quantum-vacuum	1
relativity	1
relevant-logic	1
research-frameworks	1
resolution	1
resources	1
revision	1
scale-relativity	1
self-duality	1
skolemization	1
synthetic-physics	1
ternary	1
time-horizon	1
topological-spaces	1
transformers	1
unified-theories	1

Tag fol [36 articles] Export

Related Tags