2638 search results - page 378 / 528 » Frameworks for Reasoning about Agent Based Systems |
178
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
177
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Current trends in model construction in the field of agentbased computational economics base behavior of agents on either game theoretic procedures (e.g. belief learning, fictit...
167
click to vote
AIIDE
2008
15 years 8 months ago
2008
Computer aided interactive drama has been widely applied for entertainment and pedagogy. Most existing approaches for authoring interactive drama use either story-centric or chara...
154
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Sequential diagnosis takes measurements of an abnormal system to identify faulty components, where the goal is to reduce the diagnostic cost, defined here as the number of measur...
144
click to vote
JOLLI
2010
15 years 4 months ago
2010
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...