235 search results - page 7 / 47 » A Logical Characterization of Individual-Based Models |
DLOG
2008
13 years 10 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
AAAI
2008
13 years 10 months ago
2008
One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...
ICLP
1992
Springer
14 years 15 days ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
ENTCS
2007
13 years 8 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
DEXA
2008
Springer
13 years 10 months ago
2008
Springer
In professional environments which are characterized by a domain (Medicine, Law, etc.), information retrieval systems must be able to process precise queries, mostly because of the...