gabgas's library 27 articles Export

	Compression and Explanation using Hierarchical Grammars [My Copy] The Computer Journal, Vol. 40, No. 2_and_3. (1 February 1997), pp. 103-116. by C. G. Nevill-Manning, I. H. Witten posted to no-tag by gabgas on 2009-11-11 23:42:54 as
	Comparing XML path expressions [My Copy] In DocEng '06: Proceedings of the 2006 ACM symposium on Document engineering (2006), pp. 65-74. by Pierre Genevès, Nabil Laya\ida posted to document engineering by gabgas on 2008-03-24 22:42:40 as
	Structured Theory Development for a Mechanized Logic [My Copy] Journal of Automated Reasoning, Vol. 26, No. 2. (2001), pp. 161-203. by Matt Kaufmann, Strother J. Moore posted to acl2 proving theorem by gabgas on 2008-02-20 13:02:31 as along with 1 person and 1 group scis0000001 Theorem Proving
	Functional instantiation in first-order logic [My Copy] (1991), pp. 7-26. by Robert S. Boyer, David M. Goldschlag, Matt Kaufmann, Strother J. Moore posted to acl2 proving theorem by gabgas on 2008-02-19 20:28:29 as along with 1 group Theorem Proving
	`Ideal learning' of natural language: Positive results about learning from positive evidence [My Copy] Journal of Mathematical Psychology, Vol. 51, No. 3. (June 2007), pp. 135-163. by Nick Chater, Paul Vitanyi posted to language learning natural unsupervised by gabgas on 2008-02-10 19:58:20 as along with 2 people gogoasa briordan
	Intelligence without representation [My Copy] Artif. Intell., Vol. 47, No. 1-3. (January 1991), pp. 139-159. by Rodney A. Brooks posted to artificial intelligence by gabgas on 2008-01-29 17:23:48 as along with 15 people and 2 groups ingo dlobo khm Maderlock jstephens fheintz harmonjt voiklis craigtalbert sugarexpletive justaubrey gatsoulis hukkinen ingstrup jogistar GEB ColDyn
	Representing and Reasoning with Operational Semantics [My Copy] Automated Reasoning (2006), pp. 4-20. by Dale Miller posted to proving theorem by gabgas on 2008-01-18 21:08:19 as along with 1 group Theorem Proving
	Semantic Guidance for Saturation-Based Theorem Proving [My Copy] by Kahlil Hodgson, John Slaney posted to guidance semantic by gabgas on 2008-01-10 14:37:00 as
	Efficient reasoning [My Copy] ACM Computing Surveys, Vol. 33, No. 1. (2001), pp. 1-30. by Russell Greiner, Christian Darken, Iwan N. Santoso posted to learning logic machine probabilistic by gabgas on 2008-01-04 13:50:35 as
	Goals for a Theory of Deduction: Reply to Johnson-Laird [My Copy] Minds and Machines, Vol. 7, No. 3. (1997), pp. 409-424. by Lance Rips posted to proof psychology by gabgas on 2008-01-02 21:16:04 as
	A Semantically Guided Deductive System for Automatic Theorem Proving [My Copy] Transactions on Computers In Transactions on Computers, Vol. C-25, No. 4. (1976), pp. 328-334. by R. Reiter posted to planning proof by gabgas on 2008-01-02 18:52:29 as along with 1 group Theorem Proving
	Untitled [My Copy] posted to planning proof by gabgas on 2007-12-20 20:14:46 as along with 1 group Theorem Proving
	Automatic Learning of Proof Methods in Proof Planning [My Copy] Logic Jnl IGPL, Vol. 11, No. 6. (1 November 2003), pp. 647-673. by Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmuller posted to planning proof by gabgas on 2007-12-20 19:49:10 as
	Using Models to Guide Human-Oriented Proof Search [My Copy] by Seungyeob Choi, Manfred Kerber posted to planning proof by gabgas on 2007-12-18 21:24:33 as along with 1 group Theorem Proving
	IsaPlanner: A Prototype Proof Planner in Isabelle [My Copy] Automated Deduction – CADE-19 (2003), pp. 279-283. by Lucas Dixon, Jacques Fleuriot posted to planning proof by gabgas on 2007-12-17 21:43:21 as along with 1 person bulwahn
	On the Comparison of Proof Planning Systems: , [Omega]mega and IsaPlanner [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2005), Vol. 151, No. 1. (21 March 2006), pp. 93-110. by Louise A. Dennis, Mateja Jamnik, Martin Pollet posted to planning proof by gabgas on 2007-12-17 14:23:02 as
	Experiments with Proof Plans for Induction [My Copy] Journal of Automated Reasoning, Vol. 7, No. 3. (1991), pp. 303-324. by Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill posted to planning proof by gabgas on 2007-12-17 14:07:34 as
	Semantically Guided Proof Planning [My Copy] by Seungyeob Choi posted to planning proof by gabgas on 2007-12-17 13:46:00 as along with 1 person Scis0000002
	A Science of Reasoning [My Copy] Lecture Notes in Computer Science, Vol. 1397 (1998), pp. 10-??. by Alan Bundy posted to planning proof proving theorem by gabgas on 2007-12-17 13:45:14 as
	A Computational Induction Principle [My Copy] by Scott Smith posted to proving theorem by gabgas on 2007-11-08 19:52:13 as
	Probabilistic Horn Abduction and Bayesian Networks [My Copy] Artificial Intelligence, Vol. 64, No. 1. (1993), pp. 81-129. by David Poole posted to inference logic probabilistic by gabgas on 2007-08-07 20:54:04 as
	Graphical models [My Copy] Statistical Science (Special Issue on Bayesian Statistics), No. 19. (2004), pp. 140-155. by Jordan posted to graphical models by gabgas on 2007-07-31 20:32:50 as
	An introduction to graphical models [My Copy] (2001) by K. Murphy posted to learning machine by gabgas on 2007-07-16 19:44:05 as along with 2 people and 1 group bhaddow hawkes MuSAMA
	Links between probabilistic automata and hidden Markov models: probability distributions, learning models and induction algorithms [My Copy] Pattern Recognition, Vol. 38, No. 9. (September 2005), pp. 1349-1371. by P. Dupont, F. Denis, Y. Esposito posted to automata probabilistic by gabgas on 2007-07-12 12:15:02 as along with 6 people and 1 group m_bertini charibeiro livingthingdan rabio metrozz kvorg livingthing
	Removing Redundant Arguments Automatically [My Copy] by M. Alpuente, S. Escobar, S. Lucas posted to no-tag by gabgas on 2007-07-06 00:59:48 as
	Lemma discovery in automating induction [My Copy] Lecture Notes in Computer Science, Vol. 1104 (1996), pp. 538-??. by D. Kapur, M. Subramaniam posted to no-tag by gabgas on 2007-07-06 00:56:23 as
	Automatic Concept Formation in Pure Mathematics [My Copy] In IJCAI (1999), pp. 786-793. by Simon Colton, Alan Bundy, Toby Walsh posted to no-tag by gabgas on 2007-07-06 00:53:35 as

Note: You may cite this page as: http://www.citeulike.org/user/gabgas

proof	10
planning	9
theorem	5
proving	5
learning	3
probabilistic	3
acl2	2
logic	2
machine	2
graphical	1
psychology	1
language	1
engineering	1
artificial	1
document	1
semantic	1
natural	1
models	1
inference	1
guidance	1
unsupervised	1
automata	1
intelligence	1

gabgas's library 27 articles Export

gabgas's tags