11436 search results - page 83 / 2288 » Modeling Real Reasoning |
85
Voted
IJIS
2002
15 years 14 days ago
2002
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
89
Voted
TIME
2002
IEEE
15 years 5 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...
114
click to vote
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
110
click to vote
EPIA
2007
Springer
15 years 7 months ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
97
Voted
MM
2006
ACM
15 years 6 months ago
2006
ACM
Expressing and analysing data dependency in multimedia streams is promising, since content-aware policies at a transport level would benefit from such services. In this paper we ...