Sciweavers

2138 search results - page 293 / 428
» Logics for the Relational Syllogistic
Sort
View
COMMA
2006
13 years 11 months ago
Justifying Actions by Accruing Arguments
This paper offers a logical formalisation of an argument-based account of reasoning about action, taking seriously the abductive nature of this form of reasoning. The particular qu...
Trevor J. M. Bench-Capon, Henry Prakken
IADIS
2004
13 years 11 months ago
A Model for Naturalistic Virtual User Simulation
The aim of this study is to present a contribution in the area of human decision modeling. A state of the art from this research area shows the lack of models combining perceptive...
Laurent Bodic, Pierre Favier, Guillaume Calvet
IADIS
2004
13 years 11 months ago
A conceptual modeling of multimedia documents
Our research works are interested in the identification and the representation of the semantic structures of multimedia documents. The semantic structure of a multimedia document ...
Mohamed Mbarki, Chantal Soulé-Dupuy
ISSA
2004
13 years 11 months ago
Utilizing Neural Networks For Effective Intrusion Detection
Computer security, and intrusion detection in particular, has become increasingly important in today's business environment, to help ensure safe and trusted commerce between ...
Martin Botha
AAAI
1996
13 years 11 months ago
Formalizing Narratives Using Nested Circumscription
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
Chitta Baral, Alfredo Gabaldon, Alessandro Provett...