11436 search results - page 408 / 2288 » Modeling Real Reasoning |
161
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
139
click to vote
PERCOM
2006
ACM
16 years 4 months ago
2006
ACM
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typica...
115
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper introduces an agent-based support model for leadership, which can be used by an ambient system to support a leader in the development of his team member(s). Using model...
129
click to vote
ICLP
1990
Springer
15 years 9 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...
145
Voted
DLOG
2008
15 years 7 months ago
2008
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...