3362 search results - page 69 / 673 » A definition of subjective possibility |
CLEF
2006
Springer
15 years 3 months ago
2006
Springer
This article presents the first participation of the Avignon University Science Laboratory (LIA) to the Cross Language Evaluation Forum (CLEF). LIA participated to the monolingual ...
103
Voted
ASP
2003
Springer
15 years 3 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
103
click to vote
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
103
click to vote
POPL
1997
ACM
15 years 3 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
ECML
1991
Springer
15 years 3 months ago
1991
Springer
This paper presents an approach to domain modeling and knowledge acquisition that consists of a gradual and goal-driven improvement of an incomplete domain model provided by a hum...