2308 search results - page 79 / 462 » Representing Symbolic Reasoning |
151
click to vote
DIAGRAMS
2004
Springer
15 years 11 months ago
2004
Springer
Projected contours enable Euler diagrams to scale better. They enable the representation of information using less syntax and can therefore increase visual clarity. Here informal r...
169
click to vote
IJCAI
1989
15 years 6 months ago
1989
Solving design and analysis problems in physical worlds requires the representatio n of large amounts of knowledge. Recently, there has been much interest in explicitly making ass...
150
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
We present an ontology of objects, functions, and generic shape representation that supports form-function reasoning. By reasoning from the mechanical and other functions of object...
144
Voted
GIR
2006
ACM
15 years 11 months ago
2006
ACM
Vague spatial information such as “x is located at walking distance of y” is abundant on the web. In this contribution, we propose a framework to represent such spatial inform...
141
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...