4617 search results - page 646 / 924 » Automation of Diagrammatic Reasoning |
184
click to vote
ILP
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. We study predicate selection functions (also known as splitting rules) for structural decision trees and propose two improvements to existing schemes. The first is in cl...
195
click to vote
ILP
2005
Springer
16 years 28 days ago
2005
Springer
In this paper, we focus on the problem of learning reactive skills for use by physical agents. We propose a new representation for such procedures, teleoreactive logic programs, al...
163
click to vote
LACL
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. Some new algebras, which are possible denotations for various determiners, are studied. One of them is the algebra of generalised cardinal quantifiers which is a sub-alg...
172
click to vote
LPAR
2005
Springer
16 years 27 days ago
2005
Springer
We present a new answer set solver, called nomore++, along with its underlying theoretical foundations. A distinguishing feature is that it treats heads and bodies equitably as com...
207
click to vote
LPAR
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...