132
click to vote
AI
15 years 6 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...
104
click to vote
AI
15 years 6 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...
AI
15 years 6 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 ...
132
click to vote
AI
15 years 6 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...
112
click to vote
AI
15 years 6 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