Sciweavers

9443 search results - page 464 / 1889
» Web-centric language models
Sort
View
FLAIRS
2006
15 years 8 months ago
Formal Verification of Cognitive Models
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
A. MacKlem, Fatma Mili
AOIS
2003
15 years 8 months ago
AOR Modelling and Simulation: Towards a General Architecture for Agent-Based Discrete Event Simulation
Abstract. Agent-oriented modelling of software systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We show that th...
Gerd Wagner
IJIS
2002
86views more  IJIS 2002»
15 years 6 months ago
Dynamics and control in component-based agent models
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
Frances M. T. Brazier, Catholijn M. Jonker, Jan Tr...
ICTIR
2009
Springer
15 years 4 months ago
Prior Information and the Determination of Event Spaces in Probabilistic Information Retrieval Models
Abstract. A mismatch between differenteventspaceshasbeen used toargue against rank equivalence of classic probabilistic models of information retrieval and language models. We ques...
Corrado Boscarino, Arjen P. de Vries
ICLP
1997
Springer
15 years 11 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...