Sciweavers

413 search results - page 38 / 83
» On the Relation Between ID-Logic and Answer Set Programming
Sort
View
SUM
2010
Springer
13 years 5 months ago
A Formal Analysis of Logic-Based Argumentation Systems
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 ...
Leila Amgoud, Philippe Besnard
SCAM
2003
IEEE
14 years 29 days ago
Design and Implementation of Bytecode-based Java Slicing System
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
Fumiaki Umemori, Kenji Konda, Reishi Yokomori, Kat...
CORR
2007
Springer
127views Education» more  CORR 2007»
13 years 7 months ago
Attribute Exploration of Discrete Temporal Transitions
Discrete temporal transitions occur in a variety of domains, but this work is mainly motivated by applications in molecular biology: explaining and analyzing observed transcriptome...
Johannes Wollbold
AI
2005
Springer
13 years 7 months ago
Learning to talk about events from narrated video in a construction grammar framework
The current research presents a system that learns to understand object names, spatial relation terms and event descriptions from observing narrated action sequences. The system e...
Peter Ford Dominey, Jean-David Boucher
GPCE
2005
Springer
14 years 1 months ago
Language Requirements for Large-Scale Generic Libraries
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
Jeremy G. Siek, Andrew Lumsdaine