1414 search results - page 102 / 283 » Combining Intruder Theories |
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
ICAIL
2007
ACM
14 years 3 months ago
2007
ACM
This paper proposes an architecture for a sense-making system for crime investigation named AVERs (Argument Visualization for Evidential Reasoning based on stories). It is targete...
ASP
2001
Springer
14 years 2 months ago
2001
Springer
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper discusses an optimal control approach for the registration of image time-series (growth modeling). It combines and augments work on an optimal control formulation to...
ECAI
2008
Springer
14 years 29 days ago
2008
Springer
This paper describes a new student model technology that combines evidences and knowledge about pedagogical and domain structure. Its structure is generated from the metadata avai...