Sciweavers

1341 search results - page 121 / 269
» Logic for Modeling Product Structure
Sort
View
AI
2007
Springer
13 years 8 months ago
The Carneades model of argument and burden of proof
We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof stan...
Thomas F. Gordon, Henry Prakken, Douglas Walton
COGSCI
1998
113views more  COGSCI 1998»
13 years 8 months ago
Conceptual Integration Networks
Conceptual integration—"blending"—is a general cognitive operation on a par with analogy, recursion, mental modeling, conceptual categorization, and framing. It serv...
Gilles Fauconnier, Mark Turner
JCDL
2011
ACM
221views Education» more  JCDL 2011»
12 years 11 months ago
Integrating implicit structure visualization with authoring promotes ideation
We need to harness the growing wealth of information in digital libraries to support intellectual work involving creative and exploratory processes. Prior research on hypertext au...
Andrew M. Webb, Andruid Kerne
ICCAD
2003
IEEE
129views Hardware» more  ICCAD 2003»
14 years 5 months ago
ILP Models for the Synthesis of Asynchronous Control Circuits
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
Josep Carmona, Jordi Cortadella
BMCBI
2004
144views more  BMCBI 2004»
13 years 8 months ago
PASBio: predicate-argument structures for event extraction in molecular biology
Background: The exploitation of information extraction (IE), a technology aiming to provide instances of structured representations from free-form text, has been rapidly growing w...
Tuangthong Wattarujeekrit, Parantu K. Shah, Nigel ...