506 search results - page 44 / 102 » Constructor-based observational logic |
115
click to vote
IICAI
2007
15 years 2 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
111
Voted
ILP
2005
Springer
15 years 6 months ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
90
Voted
IJCINI
2007
15 years 16 days ago
2007
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...
145
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
128
click to vote
JMLR
2008
15 years 17 days ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...