9444 search results - page 1497 / 1889 » The Language Model LMNtal |
212
click to vote
ASP
2003
Springer
16 years 1 days ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
209
click to vote
BIRTHDAY
2003
Springer
16 years 1 days ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...
203
click to vote
EPIA
2003
Springer
16 years 1 days ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
194
click to vote
ICFEM
2003
Springer
16 years 1 days ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
168
click to vote
ICECCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Although program faults are widely studied, there are many aspects of faults that we still do not understand, particularly about OO software. In addition to the simple fact that o...