Title 
Author 
Type 
Date 
Words 
IMP with exceptions over decorated logic. 
Ekici, Burak 
Report 
Aug 1, 2018 
21517 
Identifying, promoting, and assessing reasoning focused on analysing. 
Bragg, Leicha A.; Herbert, Sandra; Davidson, Aylie 
Essay 
Jun 22, 2018 
2410 
The 'art' of ratio: Using a handson ratio task to explore student thinking. 
O'Keeffe, Lisa; White, Bruce 
Essay 
Jun 22, 2018 
2992 
Counterexamples in Model CheckingA Survey. 
Debbi, Hichem 
Report 
Jun 1, 2018 
16683 
Neutrosophic modal logic. 
Smarandache, Florentin 
Report 
Mar 1, 2017 
4393 
Modal Logic Axioms Valid in Quotient Spaces of Finite CWComplexes and Other Families of Topological Spaces. 
Nogin, Maria; Xu, Bing 
Report 
Jan 1, 2017 
1976 
Fuzzy logic vs. neutrosophic logic: operations logic. 
Bouzina, Salah 
Report 
Dec 1, 2016 
4209 
Proof and rhetoric: the structure and origin of prooffrom ancient Greece to Abraham Lincoln's speech in defence of the union and Paul Keating's Mabo speech. 
Padula, Janice 
Report 
Jan 1, 2016 
3450 
On the analysis of indirect proofs: contradiction and contraposition. 
Jourdan, Nicolas; Yevdokimov, Oleksiy 
Report 
Jan 1, 2016 
4059 
Ideological systems and its validation: a neutrosophic approach. 
NescolardeSelva, Josue; UsoDomenech, Jose Luis 
Report 
Sep 1, 2015 
8931 
Modeling and analyzing nonfunctional requirements interdependencies with neutrosofic logic. 
BetancourtVazquez, Ameirys; PerezTeruel, Karina; LeyvaVazquez, Maikel 
Report 
Sep 1, 2015 
1133 
Phronesis: vol. 60, no. 2, 2015. 


Sep 1, 2015 
219 
Primacy of quantum logic in the natural world. 
Larson, Cynthia Sue 

Jul 1, 2015 
5003 
Galileo's new mathematical philosophy. 
Peterson, Mark A. 
Essay 
May 1, 2015 
10096 
Rough neutrosophic multiattribute decisionmaking based on rough accuracy score function. 
Mondal, Kalyan; Pramanik, Surapati 
Report 
Mar 1, 2015 
5171 
Informational time. 
Quznetsov, Gunn 
Report 
Oct 1, 2014 
2600 
Australian curriculum linked lessons: reasoning in number and algebra. 
Day, Lorraine 
Report 
Sep 22, 2014 
1777 
Analysis of 6(4)  valued memory. 
Guzan, M. 
Report 
Jun 1, 2014 
3287 
A casebased reasoning method for remanufacturing process planning. 
Zhou, Fan; Jiang, Zhigang; Zhang, Hua; Wang, Yan 
Report 
Jan 1, 2014 
5421 
Recovering intuition from automated formal proofs using tableaux with superdeduction. 
Delahaye, David; Jacquel, Melanie 
Report 
Jun 1, 2013 
9246 
Relations for marginal and joint moment generating functions of extended type I generalized logistic distribution based on lower generalized order statistics and characterization. 
Kumar, Devendra 
Report 
May 1, 2013 
3689 
An enhanced matrixfree secant method via predictorcorrector modified line search strategies for solving systems of nonlinear equations. 
Waziri, M.Y.; Majid, Z.A. 
Report 
Jan 1, 2013 
4200 
Formalization of linear space theory in the higherorder logic proving system. 
Zhang, Jie; Mao, Danwen; Guan, Yong 
Report 
Jan 1, 2013 
2608 
Efficient algorithms for optimal 4bit reversible logic system synthesis. 
Li, Zhiqiang; Chen, Hanwu; Yang, Guowu; Liu, Wenjie 
Report 
Jan 1, 2013 
6485 
Permanence and global attractivity of a discrete logistic model with impulses. 
Gao, Chunyu; Guo, Qingxi 
Report 
Jan 1, 2013 
2263 
From routine to rich: developing an algebraic reasoning task for a middle/upper primary class. 
Bridge, Courtney; Day, Lorraine; Hurrell, Derek 

Dec 22, 2012 
2769 
Developing "algebraic thinking": two key ways to establish some early algebraic ideas in primary classrooms: we encourage readers to review this article twiceonce to comprehend the arguments put forthand a second time to appreciate the nuances of what Christine Ormond has written. 
Ormond, Christine 

Dec 22, 2012 
3653 
Cognitive Rationality and Its LogicMathematical Language. 
Masalova, Svetlana 
Abstract 
Dec 1, 2012 
161 
Logics for multiagent systems. 
van der Hoek, Wiebe; Wooldridge, Michael 
Report 
Sep 22, 2012 
12431 
Semillaticeordered semigroups with apartness representation problem. 
Romano, Daniel A. 
Report 
Jul 1, 2012 
4116 
"Twenty percent free!" So how much does the original bar weigh? Ngarewa Hawera and Merilyn Taylor describe a rich task based on a real world situation that stimulated a great deal of mathematical reasoning. Their research on how students attempted the task is most revealing. 
Hawera, Ngarewa; Taylor, Merilyn 

Dec 3, 2011 
2002 
Approximation in variation by the Kantorovich operators/ Kantorovichi operaatoritega lahendamine variatsiooni mottes. 
Kivinukk, Andi; Metsmagi, Tarmo 
Report 
Dec 1, 2011 
2768 
Mathematical and fuzzy logic models in prediction of geological and geomechanical properties of rock mass by excavation data on underground works/Matematinis IR neraiskiosios logikos modeliai aprasant geologines IR geomechanines uolienos savybes, naudojant pozeminio kasinejimo duomenis. 
Torno, Susana; Torano, Javier; Menendez, Mario; Gent, Malcolm; Velasco, Judith 
Report 
Jun 1, 2011 
5570 
Deep transfer: a Markov logic approach. 
Davis, Jesse; Domingos, Pedro 
Report 
Mar 22, 2011 
1383 
On using automated deduction techniques for loci computing in dynamic geometry environments. 
Botana, Francisco 
Report 
Feb 1, 2011 
1693 
Computing fixed points and cycles for the discrete logistic equation. 
Thompson, S. 
Report 
Feb 1, 2011 
3545 
The logical heart of a classic proof revisited: a guide to Godel's 'incompleteness' theorems. 
Padula, Janice 

Jan 1, 2011 
6183 
Leaning on Socrates: to derive the pythagorean theorem. 
Percy, Andrew; Carr, Alistair 
Report 
Jun 22, 2010 
1790 
An analysis of current trends in CBR research using multiview clustering. 
Greene, Derek; Freyne, Jill; Smyth, Barry; Cunningham, Padraig 
Report 
Jun 22, 2010 
10240 
On density of truth of the intuitionistic logic in one variable. 
Kostrzycka, Zofia 
Report 
Jan 1, 2008 
5315 
A symbolic approach to teaching geometry. 
Majewski, Miroslaw 

Feb 1, 2007 
4465 
Hot ideas: early years problem solving. 
Way, Jenni 

Dec 22, 2006 
924 
Guess what ...? Ben Colmer looks at the difference between a "guess" and an "estimate" and provides compelling reasons to develop children's estimation skills for use in everyday life. 
Colmer, Ben 

Dec 22, 2006 
1550 
Coin on a chessboard. 
Turner, Paul 

Sep 22, 2006 
2242 
Collecting couponsa mathematical approach. 
Croucher, John S. 

Jul 1, 2006 
1744 
First one home the long way round. 
Sherman, Brian 

Jul 1, 2006 
2372 
Mobiles phones and patterns: Teresa Gadaleta provides an excellent example of using technology to create relevance for students and promote mathematical learning. 
Gadaleta, Teresa 

Jun 22, 2006 
1715 
Challenges facing preservice secondary teachers. 
Olson, Jo Clay 

Jun 22, 2006 
2792 
Springfield theory: mathematical references abound on The Simpsons. 
Klarreich, Erica 

Jun 10, 2006 
1360 
Diversions. 
Squire, Barry 

Mar 22, 2006 
660 
Further mathematical patterns. 
de Mestre, Neville 

Mar 22, 2006 
688 
A spreadsheet project. 
Hyde, Hartley 

Mar 22, 2006 
1480 
Modelling and the transit of Venus. 
Quinn, Dave; Berry, Ron 

Jan 1, 2006 
4480 
Teaching children to understand operations in early childhood: Jad Ladhams shares effective teaching strategies that emerged from a rather special situation in remote Western Australia, bit should be useful for teachers in all schools. 
Ladhams Jad 

Dec 22, 2005 
3744 
Helping children with words in word problems: Eula Monroe and Robert Panchyshyn from the USA, provide advice on removing some of the barriers to students working with word problems. 
Monroe, Eula; Panchyshyn, Robert 

Dec 22, 2005 
1018 
Numbers, factors and sums! Perfect? Lovely! 
Squire, Barry 

Dec 22, 2005 
1227 
Discovery. 
de Mestre, Neville 

Dec 22, 2005 
806 
Proceedings of the Conference of the International Group for the Psychology of Mathematics Education (29th, Melbourne, Australia, July 1015, 2005). Volume 2. 
Chick, Helen L., Ed.; Vincent, Jill L., Ed. 
Report 
Jul 1, 2005 
863 
Fractal music: the mathematics behind 'techno' music. 
Padula, Janice 

Jun 22, 2005 
3850 
Handson numbers. 
de Mestre, Neville 

Jun 22, 2005 
960 
2005 International Conference on Natural Computation (ICNC'05) and International Conference on Fuzzy Systems and Knowledge Discovery (FSKD'05), Changsha, China, 2729 August 2005. 


May 1, 2005 
414 
The Development of Logicomathematical Knowledge in a Blockbuilding Activity at Ages 14. 
Kelley, Michael 

Mar 22, 2005 
277 
The pyramid collection. 
Neville, Gary 

Mar 22, 2005 
2323 
Diversions. 
Squire, Barry 

Mar 22, 2005 
1278 
Generalization of the divisor products and proper divisor products sequences. 
Fangchi, Liang 

Jan 1, 2005 
1071 
An improved algorithm for calculating the sumoffactorials function. 
Perry, Jon 

Jan 1, 2005 
680 
Designing online mathematical investigation. 
Liang, HaiNing 

Sep 22, 2004 
8071 
The development of logicomathematical knowledge in a blockbuilding activity at ages 14. 
Kato, Yasuhiko 

Sep 22, 2004 
7117 
The development of logicomathematical knowledge in a blockbuilding activity at ages 14Kamii, Miyakawa, & Kato. 
Kelley, Michael F. 
Brief Article 
Sep 22, 2004 
269 
Proportional Reasoning of QuasiIlliterate Adults. 
Alatorre, Silvia; Figueras, Olimpia 
Abstract 
Jul 1, 2004 
171 
Elementary School Students' Use of MathematicallyBased and PracticallyBased Explanations: The Case of Multiplication. 
Levenson, Esther; Tirosh, Dina; Tsamir, Pessia 
Abstract 
Jul 1, 2004 
185 
NonExamples and Proof by Contradiction. 
Antonini, Samuele 
Report 
Jul 1, 2003 
160 
Levels of Sophistication in Elementary Students Reasoning about Length. 
Battista, Michael T. 
Report 
Jul 1, 2003 
171 
One Line Proof: What Can Go Wrong? 
Gholamazad, Soheila; Liljedahl, Peter; Zazkis, Rina 
Report 
Jul 1, 2003 
164 
Mathematical Proof as Formal Procept in Advanced Mathematical Thinking. 
Chin, ErhTsung 
Report 
Jul 1, 2003 
293 
Using Research to Inform Practice: Children Make Sense of Division of Fractions. 
Bulgar, Sylvia 
Report 
Jul 1, 2003 
183 
The Assessment of Mathematical Logic: Abstract Patterns and Familiar Contexts. 
Teppo, Anne R.; Esty, Warren W.; Kirkpatrick, Kay 
Report 
Jul 1, 2003 
162 
The development of children's understanding of equality and inequality relationships in numerical symbolic contexts. 
Morris, Anne K. 

Mar 22, 2003 
14663 
Great Garlands. (Problem Solvers). 
Swarthout, Mary 
Brief Article 
Dec 1, 2001 
825 
Short Proofs Are NarrowResolution Made Simple. 
BENSASSON, ELI; WIGDERSON, AVI 

Mar 1, 2001 
10640 
Improved Master Theorems for DivideandConquer Recurrences. 
ROURA, SALVADOR 

Mar 1, 2001 
19586 
Orthologic and Quantum Logic: Models and Computational Elements. 
RAWLING, J. P.; SELESNICK, S. A. 

Jul 1, 2000 
14064 
Existential SecondOrder Logic Over Strings. 
EITER, THOMAS; GOTTLOB, GEORG; GUREVICH, YURI 

Jan 1, 2000 
31481 
What Is Your Millennial Age? 
Welchman, Rosamond 

Dec 1, 1999 
1594 
Sharing and Groundness Dependencies in Logic Programs. 
CODISH, MICHAEL; SONDERGAARD, HARALD; STUCKEY, PETER J. 

Sep 1, 1999 
15219 
And the answer is ... symbolic literacy. 
Witherspoon, Mary Lou 

Mar 1, 1999 
2210 
Subitizing: what is it? Why teach it? 
Clements, Douglas H. 

Mar 1, 1999 
3531 
Counting cubes. 
Olson, Melfried 

Mar 1, 1999 
529 
Responses to the "shuffling a line" problem. 
Olson, Melfried 

Mar 1, 1999 
1009 
Are you puzzled? 
Welchman, Rosamond 

Mar 1, 1999 
1606 
Induction and indefinite extensibility: the Godel sentence is true, but did someone change the subject? 
Shapiro, Stewart 

Jul 1, 1998 
12602 
Algorithm 781: Generating Hilbert's SpaceFilling Curve by Recursion. 
BREINHOLT, GREG; SCHIERZ, CHRISTOPH 

Jun 1, 1998 
2310 
An abstract machine for tabled execution of fixedorder stratified logic programs. 
Sagonas, Konstantinos; Swift, Terrance 

May 1, 1998 
21382 
A student's imaging in solving a nonroutine task. 
Reynolds, Anne; Wheatley, Grayson H. 

Oct 1, 1997 
3356 
Symbolic model checking for eventdriven realtime systems. 
Yang, Jin; Mok, Aloysius K.; Wang, Farn 

Mar 1, 1997 
12197 
Precise flowinsensitive mayalias analysis is NPhard. 
Horwirtz, Susan 

Jan 1, 1997 
2299 
Lightweight closure conversion. 
Steckler, Paul A.; Wand, Mitchell 

Jan 1, 1997 
13338 
Young kids fail symbolminded tasks. 

Brief Article 
Aug 26, 1995 
404 
Is arithmetic consistent? 
Priest, Graham 

Jul 1, 1994 
6339 
Symbolic logic. 
Asimov, Isaac 
Reference Source 
Jan 1, 1994 
138 
Symbolic logic and mathematics. 
Asimov, Isaac 
Reference Source 
Jan 1, 1994 
127 
Financial bombs. 
MacNeal, Edward 

Dec 22, 1993 
1834 
Logical implication and the ambiguity of extensional logic. 
Pols, Edward 

Dec 1, 1993 
10368 
The 5th Generation Project: personal perspectives. 
Shapiro, Ehud; Warren, David H.D. 
Cover Story 
Mar 1, 1993 
1185 
Robert Kowalski. 
Kowalski, Robert 
Cover Story 
Mar 1, 1993 
5366 
Koichi Furukawa. 
Furukawa, Koichi 
Cover Story 
Mar 1, 1993 
4132 
Kazunori Ueda. 
Ueda, Kazunori 
Cover Story 
Mar 1, 1993 
9978 
Ken Kahn. 
Kahn, Ken 
Cover Story 
Mar 1, 1993 
5240 
The impact of logic programming on databases. 
Grant, John; Minker, Jack 

Mar 1, 1992 
13063 
An incremental constraint solver. 
FreemanBenson, Bjorn N.; Maloney, John; Borning, Alan 
technical 
Jan 1, 1990 
8400 
Using induction to design algorithms. 
Manber, Udi 
technical 
Nov 1, 1988 
11995 