Sciweavers

3808 search results - page 484 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
ICTAI
2003
IEEE
16 years 4 hour ago
Extracting Biochemical Interactions from MEDLINE Using a Link Grammar Parser
Many natural language processing approaches at various complexity levels have been reported for extracting biochemical interactions from MEDLINE. While some algorithms using simpl...
Jing Ding, Daniel Berleant, Jun Xu, Andy W. Fulmer
AI
2003
Springer
15 years 12 months ago
A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases
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...
Christel Kemke
AI
2003
Springer
15 years 12 months ago
Enumerating the Preconditions of Agent Message Types
Agent communication languages (ACLs) invoke speech act theory and define individual message types by reference to particular combinations of beliefs and desires of the speaker (fea...
Francis Jeffry Pelletier, Renee Elio
CP
2000
Springer
15 years 11 months ago
Extending Forward Checking
Abstract. Among backtracking based algorithms for constraint satisfaction problems (CSPs), algorithms employing constraint propagation, like forward checking (FC) and MAC, have had...
Fahiem Bacchus
CP
1998
Springer
15 years 11 months ago
Generation of Test Patterns for Differential Diagnosis of Digital Circuits
In a faulty digital circuit, many (single) faulty gates may explain the observed findings. In this paper we are mostly concerned, not in obtaining alternative diagnoses, but rathe...
Francisco Azevedo, Pedro Barahona