The introduction of binary resolution and unification is considered one of the most important developments in the field of automated reasoning.
Furthermore, to handle reads of length greater than 15, we propose to take advantage of recent advances in the field of logical reasoning, by modeling the haplotype problem as an MaxSAT problem.
That is where Mr Field's line of reasoning runs out of steam.Mr Miliband is bright, articulate, charming and terribly modern.
KNAVE-II main contributions to the fields of temporal reasoning and intelligent user interfaces are: (1) the capability for interactive computation and visualization of domain specific temporal abstractions, supported by ALMA – a computational engine that applies the domain knowledge base to the clinical time-oriented database.
For that, we'll need to continue to develop the field of common-sense reasoning — without it, we're never going to be able to have an intelligent conversation with Siri, Google Glass or our Xbox.
A novel measurement method based on camera imagery is presented which extends previous work from the field of Qualitative Spatial Reasoning.
We resort to several results developed in the field of Knowledge Representation and Reasoning, regarding Description Logics (DLs), a family of logics that admit decidable reasoning procedures.
Our current work also does not exploit the rich field of research in semantic reasoning.
It contains a collection of recent contributions to the field of knowledge representation and reasoning, a field that McCarthy founded and that has been a main focus of his research during the last half century.
In this introductory article, we survey some of McCarthy's major contributions to the field of knowledge representation and reasoning, and situate the papers in this special issue in the context of McCarthy's previous work.
