Sciweavers

11436 search results - page 61 / 2288
» Modeling Real Reasoning
Sort
View
98
Voted
ICTAI
2008
IEEE
15 years 7 months ago
The System BioC for Reasoning about Biological Models in Action Language C
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
Steve Dworschak, Torsten Grote, Arne König, T...
89
Voted
KES
2010
Springer
14 years 10 months ago
Adaptive Modelling of Users' Strategies in Exploratory Learning Using Case-Based Reasoning
Abstract. In exploratory learning environments, learners can use different strategies to solve a problem. To the designer or teacher, however, not all these strategies are known in...
Mihaela Cocea, Sergio Gutiérrez Santos, Geo...
BMCBI
2010
104views more  BMCBI 2010»
15 years 24 days ago
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
Anil Sorathiya, Andrea Bracciali, Pietro Liò...
AI
2008
Springer
15 years 24 days ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar
108
Voted
AAAI
2006
15 years 2 months ago
Table Extraction Using Spatial Reasoning on the CSS2 Visual Box Model
Tables on web pages contain a huge amount of semantically explicit information, which makes them a worthwhile target for automatic information extraction and knowledge acquisition...
Wolfgang Gatterbauer, Paul Bohunsky