1454 search results - page 87 / 291 » Stateful traits and their formalization |
124
Voted
ATAL
1999
Springer
15 years 5 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
FMICS
2007
Springer
15 years 4 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
87
Voted
ENTCS
2007
15 years 18 days ago
2007
Labelled Markov processes (LMPs) are labelled transition systems in which each transition has an associated probability. In this paper we present a universal LMP as the spectrum o...
90
Voted
CL
2000
Springer
15 years 14 days ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
93
Voted
AAAI
2011
14 years 19 days ago
2011
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human interventionâ...