148
Voted
AI
15 years 7 months ago
2003 Springer 
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
120
click to vote
AI
15 years 7 months ago
2003 Springer 
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
117
Voted
AI
15 years 7 months ago
2003 Springer 
MAX-SAT, the optimisation variant of the satisfiability problem in propositional logic, is an important and widely studied combinatorial optimisation problem with applications in ...
143
Voted
AI
15 years 7 months ago
2003 Springer 
This research is directed towards automating the Web Site summarization task. To achieve this objective, an approach, which applies machine learning and natural language processing...
223
Voted
AI
15 years 7 months ago
2003 Springer
The prediction of a protein’s structure from its amino-acid sequence is one of the most important problems in computational biology. In the current focus on a widely studied abst...
|
Artificial Intelligence