1162 search results - page 176 / 233 » Monotonic Semantic Interpretation |
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
105
click to vote
FSTTCS
2000
Springer
15 years 4 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
106
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
124
Voted
REX
1991
15 years 4 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
74
Voted
AAAI
2008
15 years 2 months ago
2008
We introduce Bayesian Coalitional Games1 (BCGs), a generalization of classical coalitional games to settings with uncertainties. We define the semantics of BCG using the partition...