7075 search results - page 369 / 1415 » Models and heterogeneous reasoning |
181
click to vote
DLOG
2009
15 years 4 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
261
click to vote
LPKR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We study the relationship between argumentation (abduction) and disjunctive logic programming. Based on the paradigm of argumentation, an abductive semantic framework for...
199
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how t...
200
click to vote
LPAR
2007
Springer
16 years 28 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
167
click to vote
FIMH
2007
Springer
16 years 29 days ago
2007
Springer
We present preliminary results of the numerical simulation of electrocardiograms (ECG). We consider the bidomain equations to model the electrical activity of the heart and a Lapla...