Many representation schemes combining first-order logic and probability have been proposed in recent years. We propose the first method that has the full power of both graphical model inference and first-order theorem proving (in finite domains with Herbrand interpretations).
Artificial Intelligence and Machine Learning
Advertisement
Progress in Computational Thinking, and Expanding the HPC Community
Jeannette Wing considers the proliferation of computational thinking, while Dan Stanzione hopes to bring more HPC practitioners to SC16.
A proposal for a law to prevent artificial intelligence systems from being mistaken for humans.
The latest in machine learning helps high-energy physicists handle the enormous amounts of data produced by the Large Hadron Collider.
Should You Upload or Ship Big Data to the Cloud?
The accepted wisdom does not always hold true.
Why Google Stores Billions of Lines of Code in a Single Repository
Google's monolithic repository provides a common source of truth for tens of thousands of developers around the world.
Drones Too Complicated? We’ll Take Care of That
A new category of company is offering 'drones as a service' to customers who want to outsource the planning, compliance, and execution of commercial drone flights.
Building Morality Into Machines
Technology ethics are a growing concern as artificial intelligence advances and autonomous technologies become reality.
Randnla: Randomized Numerical Linear Algebra
Randomization offers new benefits for large-scale linear algebra computations.
Automan: A Platform For Integrating Human-Based and Digital Computation
We introduce AutoMan, the first fully automatic crowdprogramming system.
Technical Perspective: Computing with the Crowd
What kinds of problems can be solved with combined human and machine computation? "AutoMan: A Platform for Integrating Human-Based and Digital Computation," by Barowy et al., provides the first steps toward answering this question.
The Solution to AI, What Real Researchers Do, and Expectations For CS Classrooms
John Langford on AlphaGo, Bertrand Meyer on Research as Research, and Mark Guzdial on correlating CS classes with laboratory results.
Why All Writs Is a Trojan Horse
Citing the All Writs act as a way to give the government the power to compel companies to redesign or reimplement their electronic products to government specifications represents a threat to everyone's civil liberties.
Silicon Photonics: Ready to Go the Distance?
Processes for making CMOS chips are adapted for optical components.
Researchers aim to apply artificial intelligence and machine-learning methods to take cybersecurity to a new, higher, and better level.
Data-centric abstractions and execution strategies are needed to exploit parallelism in large-scale graph analytics.
The Challenges of Partially Automated Driving
Car automation promises to free our hands from the steering wheel but might demand more from our minds.
A Survey of Robotic Musicianship
Reviewing the technologies that enable robot musicians to jam.
On the Naturalness of Software
We begin with the conjecture that most software is natural, with all the attendant constraints and limitations — and thus, like natural language, it is also likely to be repetitive and predictable.
Technical Perspective: Software Is Natural
"On the Naturalness of Software" by Hindle et al. takes an entirely new approach to providing tools to help build software.
The Moral Imperative of Artificial Intelligence
The big news on March 12 of this year was of the Go-playing AI-system AlphaGo securing victory against world champion Lee Se-dol. AlphaGo's victory is a stunning achievement and another milestone in the inexorable march of AI research.
Can Chatbots Think Before They Talk?
ELIZA-like programs balance modern AI with decades-old database techniques.
Marvin Minsky, an American scientist who co-founded the Massachusetts Institute of Technology AI laboratory and was honored with the ACM A.M. Turing Award, passed away on Sunday, Jan. 24, 2016 at the age of 88.
The Need For Cognitive Computing
Companies get help digging the pearls of wisdom out of their big data.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get InvolvedCommunications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
Learn More