1578 search results - page 230 / 316 » Induction of Stable Models |
FAC
2008
13 years 10 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
IEE
2008
13 years 10 months ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
SUM
2010
Springer
13 years 8 months ago
2010
Springer
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
—Networks of biological agents (for example, ants, bees, fish, birds) and complex man-made cyberphysical infrastructures (for example, the power grid, transportation networks) e...
KDD
2002
ACM
14 years 11 months ago
2002
ACM
A method is described for real-time market intelligence and competitive analysis. News stories are collected online for a designated group of companies. The goal is to detect crit...