711 search results - page 94 / 143 » Knowledge Representation and Reasoning in (Controlled) Natur... |
KR
1998
Springer
14 years 1 months ago
1998
Springer
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
AGENTS
1997
Springer
14 years 1 months ago
1997
Springer
The coordination problem in multi-agent systems is the problem of managing dependencies between the activities of autonomous agents, in conditions of incomplete knowledge about th...
HASE
2008
IEEE
14 years 3 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
ASPLOS
1998
ACM
14 years 1 months ago
1998
ACM
Optimizations aimed at reducing the impact of memory operations on execution speed have long concentrated on improving cache performance. These efforts achieve a reasonable level...
ASP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...