643 search results - page 35 / 129 » A Description Logic System for Learning in Complex Domains |
126
click to vote
JANCL
2006
15 years 5 months ago
2006
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...
138
click to vote
ENC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
167
click to vote
ICML
2005
IEEE
16 years 6 months ago
2005
IEEE
Markov logic networks (MLNs) combine logic and probability by attaching weights to first-order clauses, and viewing these as templates for features of Markov networks. In this pap...
141
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Making it easier to design interactions between agents and humans is essential for realizing multi-agent simulations of social phenomena such as group dynamics. To realize large-s...
181
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...