1445 search results - page 31 / 289 » Uniformly Hard Languages |
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
SEMCO
2007
IEEE
14 years 2 months ago
2007
IEEE
Despite continuing advances in machine translation technology, users who lack familiarity with particular foreign languages have no good way to find information in those languages...
AGENTCL
2000
Springer
14 years 2 days ago
2000
Springer
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...
JCP
2008
13 years 7 months ago
2008
Conventionally, human-robot communication and robot-robot communication are dealt with in different manners in general. From the viewpoint of cooperation between human staff and ro...
DKE
2007
13 years 7 months ago
2007
In our days knowledge extraction methods are able to produce artifacts (also called patterns) that concisely represent data. Patterns are usually quite heterogeneous and require a...