9455 search results - page 116 / 1891 » The Modelling Language Zinc |
114
click to vote
IJAIT
2006
15 years 1 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
56
Voted
ACL
2000
15 years 3 months ago
2000
We propose a distribution-based pruning of n-gram backoff language models. Instead of the conventional approach of pruning n-grams that are infrequent in training data, we prune n...
140
click to vote
EMNLP
2010
14 years 11 months ago
2010
The PECO framework is a knowledge representation for formulating clinical questions. Queries are decomposed into four aspects, which are Patient-Problem (P), Exposure (E), Compari...
108
click to vote
NAACL
1994
15 years 2 months ago
1994
This paper introduces a class of statistical mechanisms, called hidden understanding models, for natural language processing. Much of the framework for hidden understanding models...