662 search results - page 23 / 133 » Formalizing Basic First Order Model Theory |
ICFEM
1997
Springer
13 years 11 months ago
1997
Springer
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...
DAGM
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...
CADE
2002
Springer
14 years 7 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
FSS
2008
13 years 7 months ago
2008
A fuzzy random variable is viewed as the imprecise observation of the outcomes in a random experiment. Since randomness and vagueness coexist in the same framework, it seems reaso...
AI
2007
Springer
13 years 7 months ago
2007
Springer
Argumentation theory has become an important topic in the field of AI. The basic idea is to construct arguments in favor and against a statement, to select the “acceptable” o...