1162 search results - page 5 / 233 » Monotonic Semantic Interpretation |
98
Voted
JAIR
2007
14 years 10 months ago
2007
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...
LPNMR
2001
Springer
15 years 2 months ago
2001
Springer
83
Voted
FLAIRS
2006
14 years 11 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
87
Voted
EPIA
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
76
Voted
APAL
2005
14 years 10 months ago
2005
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...