3005 search results - page 175 / 601 » Logical Information Systems: from Taxonomies to Logics |
146
click to vote
WOA
2003
15 years 7 months ago
2003
— In this paper we discuss how some features of the new logic programming language DALI for agents and multiagent systems are suitable to programming agents equipped with plannin...
158
click to vote
BSL
1999
15 years 6 months ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
204
click to vote
ICDAR
2005
IEEE
16 years 4 days ago
2005
IEEE
Handwritten mathematical notation contains ambiguities of various kinds. Here we focus on ambiguity in spatial relationships; in particular, we use fuzzy logic to treat ambiguity ...
207
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
One challenge faced by many Inductive Logic Programming (ILP) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as ...
191
click to vote
SPIESR
1996
15 years 7 months ago
1996
Many applications would benefit if media objects such as images could be selected and classified (or clustered) such that "conceptually similar" images are grouped toget...