4401 search results - page 628 / 881 » Computing with Default Logic |
131
Voted
DSOM
2004
Springer
15 years 10 months ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
157
Voted
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
142
Voted
EKAW
2004
Springer
15 years 10 months ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...
132
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Any non-trivial top-level ontology should take temporal notions into account. The details of how this should be done, however, are frequently debated. In this paper it is argued th...
150
click to vote
KES
2004
Springer
15 years 10 months ago
2004
Springer
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...