7057 search results - page 178 / 1412 » Tasks, domains, and languages |
200
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
161
click to vote
ECML
2007
Springer
16 years 19 days ago
2007
Springer
A general game player is an agent capable of taking as input a description of a game’s rules in a formal language and proceeding to play without any subsequent human input. To do...
179
click to vote
CSCLP
2005
Springer
16 years 7 hour ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
152
click to vote
ISSAC
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
353
click to vote
CRW
1998
Springer
15 years 10 months ago
1998
Springer
In most multiagent systems with communicating agents, the agents have the luxury of using reliable, multi-step negotiation protocols. They can do so primarily when communication i...