2722 search results - page 490 / 545 » Automating Language Evolution |
113
click to vote
KI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
137
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
150
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
109
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
In an e-service environment, contracts are important for attaining business process interoperability and enforcing their proper enactment. An e-contract is the computerized facili...
134
click to vote
IEEEICCI
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...