Logic, from Classical Greek λόγος (logos), originally meaning the word, or what is spoken, (but coming to mean thought or reason) is most often said to be the study of criteria for the evaluation of arguments, although the exact definition of logic is a matter of controversy among philosophers. However the subject is grounded, the task of the logician is the same: to advance an account of valid and fallacious inference to allow one to distinguish logical from flawed arguments.
Traditionally, logic is studied as a branch of philosophy. Since the mid-nineteenth century logic has been commonly studied in mathematics and law. More recently logic is applied in computer science and artificial intelligence. As a formal science, logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and through the study of arguments in natural language. The scope of logic can therefore be very large, ranging from core topics such as the study of fallacies and paradoxes, to specialist analyses of reasoning such as probably correct reasoning and arguments involving causality. Logic is also commonly used today in argumentation theory.
How Wall Street Can Mitigate Financial Fraud Using Biometric Authentication Mon, 06 Oct 2008 11:23:24 -0400
Risk control procedures are not enough to mitigate fraud on Wall Street. The current financial meltdown provides evidence that many banks and financial institutions have failed to change systems and people in order to mitigate fraud and to comply with regulations and standards. Biometric authentication is a reliable solution for preventing security breaches. Knowledge Center contributors Paul Foote and Reena Hora explain why the financial industry needs to supplement its internal controls compliance with biometric authentication. - Daily, trillions of dollars are transferred worldwide in funds and securities through financial systems. The magnitude of this exposes the financial institutions and their customers to a very high risk of deliberate and accidental fraud. Many government and industry regulations and standards such as... eWeek Newsbreak, Oct. 6, 2008 Mon, 06 Oct 2008 10:29:25 -0400
Could it be true? Did Apple really drop their non-disclosure agreement for released iPhone software? Ashley explains what Apple's decision could mean to you and the applications you use. The Chinese government is monitoring the conversations of Skype users, scanning all communications for sensitive keywords including Taiwan Freedom, Communist Party and Voice of America. The data, including users personal information is then being stored in publicly accessible servers. Google's energy team is out to save the planet. They've put out a proposal outlining how the U.S. could cut back on energy consumption and develop green industries to create new jobs. Toshiba is looking to use its Super Charge Ion battery to help extend the life of your lap top. The innovative battery gets a 90-percent charge in just ten minutes. And finally, although not in production, Lamborghini showed off its four door concept car at the 2008 Paris Motor Show. - Video Content.... Google, Yahoo Delay Search Ad Partnership Mon, 06 Oct 2008 10:21:13 -0400
The Google-Yahoo deal announced in June to share advertising was widely seen as an effort to help fend off Microsoft's efforts to acquire Yahoo, by bringing Yahoo an additional $800 million in annual revenues. - WASHINGTON (Reuters) - Google Inc and Yahoo Inc have decided to delay implementing a controversial search advertising partnership, Yahoo said on Friday.
quot;The companies have agreed to a brief delay in implementing this agreement to continue our ongoing discussions with the [U.S.] Department of ... IBM is Closer to Building Bluehouse to Compete With Cisco, Google, Microsoft Mon, 06 Oct 2008 10:19:48 -0400
IBM opens a beta for Bluehouse, the company's SAAS social networking and collaboration platform. The offering will compete with cloud computing solutions from Google, Microsoft and Cisco at a time when messaging and collaboration platforms are moving into the Web. - Update: IBM continues to drive the unified communications and collaboration bus, speeding closer along the road to Bluehouse, the company's SAAS (software as a service) social networking and collaboration software for businesses.
When IBM introduced Bluehouse last January at its annual Lotusphere ... DRAM Storage Chip Makers Face Credit and Supply Challenges: iSuppli Mon, 06 Oct 2008 10:18:40 -0400
DRAM storage chip suppliers Samsung, Elpida Memory and Powerchip Semiconductor face tougher challenges in servicing debts and financing capital expenditure as banks become more cash-strapped under the Wall Street financial crisis and global credit crunch, according to iSuppli. iSuppli cut its near-term market rating on dynamic random access memory (DRAM) storage chips used mainly in personal computers to negative from neutral. DRAM storage chip maker Samsung Electronics is the only chip maker not suffering losses. - SEOUL (Reuters) - DRAM suppliers face tougher challenges in
servicing debts and financing capital expenditure as banks become more
cash-strapped under the global credit crunch, research firm iSuppli
said.
quot;Even with the expected intervention by the U.S. government, this
crisis means the co... eBay to Lay Off 10 Percent of Employees, Acquire Bill Me Later Payments and Craigslist Competitor Mon, 06 Oct 2008 10:09:13 -0400
The eBay online auction site will pay $1.3 billion to buy the Bill Me Later online payments service to add to its PayPal division and Den Bla Avis and BilBasen, a Craigslist-like online classified service. eBay will also lay off 10 percent of its work force and sees third-quarter revenue hitting the low end of its forecast. eBay said the job cuts would affect about 1,000 employees and several hundred temporary workers. The reduction is expected to incur restructuring charges of about $70 million to $80 million, mostly in the fourth quarter. - NEW YORK (Reuters) - EBay Inc plans to cut its work force 10 percent
and sees third-quarter revenue hitting the low end of its forecast,
though profit will exceed expectations, the online auction Web site
said on Monday.
EBay also said it would spend more than $1.3 billion to buy
companies that...
The Seattle Times: Business & Technology
Countrywide suit settled; homeowners to get aid Mon, 06 Oct 2008 00:19:36 -0700 More than 10,000 Washington state homeowners who are at risk of foreclosure will get help with their mortgages as part of a record $8.4 billion settlement between Countrywide Financial and officials in 11 states. Ballmer went to Europe bearing good tidings Sun, 05 Oct 2008 22:29:03 -0700 The last time the economy plunged into darkness, Microsoft broke free from the shackles of its U.S. antitrust case. That Web 2.0? We are so over that Sun, 05 Oct 2008 22:32:50 -0700 As much as economic bubbles keep bursting all about us these days, it seems only a matter of time before the same happens to the ultrahip Web 2.0 phenomenon.
NYT > Technology
The Future of Reading: Using Video Games as Bait to Hook Readers Mon, 06 Oct 2008 07:03:09 -0000 Publishers, authors and even libraries are embracing video games to promote books to young readers.
Dawn of Low-Price Mapping Could Broaden DNA Uses Mon, 06 Oct 2008 09:10:47 -0000 A start-up company called Complete Genomics says it will start charging $5,000 next year to determine a person’s complete genetic blueprint.
EBay Cuts 10% of Work Force Mon, 06 Oct 2008 12:33:00 -0000 The move to cut about 1,000 jobs is an attempt by eBay to improve the performance of its core marketplace division, which has seen declining growth in the last few years.
CNN.com - Technology
An eco-friendly way to cool big trucks Mon, 06 Oct 2008 09:35:43 -0400 More than 7 percent of the U.S.'s daily oil consumption is attributed to heavy-duty truck idling, according to estimates. Many truckers, while resting at truck stops, idle their engines in hot weather to cool their cabs. But now a company has developed an eco-friendly cooling device that works with the engine off.
How to measure your 'water footprint' Mon, 06 Oct 2008 09:47:50 -0400 Most people by now will be familiar with the term 'carbon footprint' and may even have calculated it themselves, but how many are familiar with their 'water footprint'?
Report: 1 in 4 mammals at risk of extinction Mon, 06 Oct 2008 10:37:19 -0400 Read full story for latest details.
NPR Topics: Technology
New Solar Cell Easy As Pizza To Make Sat, 04 Oct 2008 12:16:00 -0400 The iJET is a new type of solar cell that's cheap and easy to make, requiring not much more than a pizza oven, some nail polish remover, and a common inkjet printer. Australian scientist Nicole Kuepper describes her invention. SpaceX Celebrates First Successful Rocket Launch Fri, 03 Oct 2008 13:53:00 -0400 SpaceX's flagship Falcon1 rocket has successfully launched from an island in the central Pacific, becoming the first privately-developed rocket to orbit the planet. NASA has already contracted SpaceX to begin private space flight missions to the International Space Station beginning in 2010. Northeast States Trade Carbon Emission Credits Fri, 03 Oct 2008 13:46:00 -0400 A consortium of Northeast states has completed the first cap-and-trade greenhouse gas auction in the U.S. Under cap-and-trade, limits are set on emissions. Companies that do not use up their quota of emissions are able to sell their excess emission capacity to other companies.
BBC News | Technology | UK Edition
Europeans sought over hack attack Mon, 06 Oct 2008 11:10:44 -0000 The FBI is seeking a British man and his German accomplice over attacks on web shops selling satellite TV equipment. China 'spying on Skype messages' Fri, 03 Oct 2008 01:38:32 -0000 Chinese officials are censoring messages sent through the internet service Skype, Canadian researchers say. Music stars unite to seek control Fri, 03 Oct 2008 23:30:43 -0000 Acts including Robbie Williams and Radiohead join a coalition to try to gain ownership and control of their music from record labels.
Reuters Video: Technology
Shazam enters new era Sun, 05 Oct 2008 20:22:20 -0400 Oct 6 - The mobile music discovery service has seen a surge of new users after broadening its offering to work seamlessly with social networks.
Solar clothes Fri, 03 Oct 2008 15:30:01 -0400 Oct. 3 - Argentine designer looks to the future by creating solar-powered clothing.
Ring ring, bling bling Fri, 03 Oct 2008 14:21:52 -0400 Oct. 3 - Ring ring, bling bling; NIntendo's latest player, 3D reality, and a hybrid motorbike.
AP Top Technology News At 10:54 a.m. EDT
EBay to cut 1,000 jobs, will buy Bill Me Later Mon, 06 Oct 2008 14:04:15 -0000 SAN JOSE, Calif. (AP) -- EBay Inc., which still reaps big profits but has been struggling to attract new users, said Monday it will cut about 1,000 jobs in an attempt to streamline its business. The cuts amount to 10 percent of eBay's work force.... Ask.com hopes to make search faster, more relevant By RACHEL METZ Mon, 06 Oct 2008 13:15:38 -0000 NEW YORK (AP) -- Assuming your company's name isn't a verb synonymous with looking things up online, how do you get Web surfers to not just try your search engine, but also frequent it?... Fraud plagues prepaid calling card market By JOELLE TESSLER Sun, 05 Oct 2008 19:54:15 -0000 WASHINGTON (AP) -- Rosalba Posada can tick off a list of problems she has encountered trying to use prepaid calling cards to stay in touch with family back in Colombia....
CNET News.com
Suit against magazine-sharing site settled Mon, 06 Oct 2008 08:04:00 -0700 The magazine-sharing site Mygazines.com is removing much of its copyrighted content after reaching a settlement in a suit filed by magazine publishers. GigaOm's tech blogs pull in $4.5 million Mon, 06 Oct 2008 08:02:00 -0700 Alloy Ventures leads Giga Omni Media's third round of funding, which was planned both as a means for growth and a safeguard against economic troubles. Two Europeans indicted over U.S. cyberattacks Mon, 06 Oct 2008 08:01:08 -0700 A 24-year-old from England and a 25-year-old from Germany face conspiracy and computer damage charges related to a large-scale DDoS attack resulting in major financial losses.
A Comparative Study of Eight Constraint Programming Languages - Compares efficiency of 8 Constraint Logic Programming (CLP) systems in the setting of finite domains, and a specific aspect of their expressiveness: that concerning reification and meta-constraints.
CCL II: Construction of Computational Logics II - Working group (22457: CCL II) in the ESPRIT Basic Research program of European Union, successor project of working group CCL I: people, teams, workshop and conference, summer school, bibliography, archive, annual reports, mail list, systems.
500clp(Q,R) - Implementation of general Constraint Logic Programming scheme introduced by Jaffar, Michaylov 1987. As full as other CLP(R)s: solves linear equations over rational or real valued variables, and covers lazy treatment of nonlinear equations.
CLP(R) Compiler - Description and contact for runtime, compiler (byte-code), constraint solver; free for academic and research use.
CLP(R): Using CLP(R) - Manual, Postscript (450K) or gzipped (130K), from University of New South Wales.
500Constraint Logic Programming: CLP - CLP page at Austrian Research Institute for Artificial Intelligence (ÖFAI), University of Vienna, Austria: past and present projects and members, teaching, links.
DFKI: MAS Publications: Multi-Agent Systems - Abstract and PostScript version of 'Multi-Agent Planning Using an Abductive Event Calculus' in which a planning service module is incorporated into a constraint-logic framework to gain a strong sense of non-linearity.
Echidna - Constraint logic programming language that includes ideas from object-oriented programming and intelligent backtracking. Constraints include finite domain constraints (as in CHiP) and disjoint real interval domain constraints. FTP Site.
ECLiPSe: The ECRC Constraint Logic Parallel System - Compiler-oriented development environment for constraint-logic applications with extended Prolog technology, persistent knowledge base, constraint-handling facilities and parallelism. Runs on Unix/Linux, beta version for Windows 9x/NT/2000.
Elf Meta-Language - Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented as an interpreter in Standard ML.
FormulaOne - Constraint logic programming (CLP) based language. Backtracking, advanced data types (including Bignum) and data structures. IDE/Compiler for Windows 9x/NT/2000/XP.
Meta Description: [ FormulaOne is a constraint logic programming (CLP) system for the development of applications. ]
Intelligent Systems Lab: ISL - At Simon Fraser University, Canada. Research: artificial intelligence including constraint reasoning, heuristic search, intelligent agents. Applies such methods to applications in planning and scheduling, configuration, user-interfaces.
Nicolog - Constraint logic programming language with the abilities of CLP(BNR) and most of those of cc(FD). Possibility to program directly in projection constraints makes Nicolog more flexible than many CLP systems. FTP site.
OPBDP - Free, logic-based constraint solver: C++ implementation of implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients.
ResearchIndex: Hierarchical Constraint Logic Programming - A constraint describes a relation to maintain; it states what the relationship is versus how to maintain it. In many uses (interactive graphics, planning, document formatting, decision support), one must express preferences (soft constraints), and strict requirements (hard constraints).
Meta Description: [ A constraint describes a relation to be maintained ]