1941 search results - page 295 / 389 » Reasoning about Computations Using Two-Levels of Logic |
156
Voted
IJACTAICIT
2010
15 years 25 days ago
2010
Human superiority over computers in identifying natural objects like clouds, water, grass etc. comes from two capabilities: the capability to maintain a growing knowledge base per...
127
click to vote
ICDM
2009
IEEE
15 years 1 months ago
2009
IEEE
The design of a good kernel is fundamental for knowledge discovery from graph-structured data. Existing graph kernels exploit only limited information about the graph structures bu...
123
click to vote
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...
112
click to vote
CHI
2005
ACM
16 years 3 months ago
2005
ACM
Our Translation Assistant applies common sense logic to the problem of translating speech in real time from one language to another. Using speech recognition combined with a softw...
150
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...