1060 search results - page 150 / 212 » Mechanized semantics |
115
click to vote
ICAIL
2005
ACM
15 years 5 months ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
139
click to vote
MIR
2005
ACM
15 years 5 months ago
2005
ACM
In this paper, we will propose a novel semi-automatic annotation scheme for video semantic classification. It is well known that the large gap between high-level semantics and low...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure han...
88
Voted
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
129
click to vote
ESWS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper describes a real-time routing system that implements a mobile museum tour guide for providing personalized tours tailored to the user position inside the museu...