Sciweavers

58 search results - page 4 / 12
» A Formal Concept View of Abstract Argumentation
Sort
View
AI
2005
Springer
14 years 10 months ago
SCC-recursiveness: a general schema for argumentation semantics
entation theory, Dung's abstract framework provides a unifying view of several alternative semantics based on the notion of extension. In this context, we propose a general r...
Pietro Baroni, Massimiliano Giacomin, Giovanni Gui...
89
Voted
TKDE
2010
164views more  TKDE 2010»
14 years 8 months ago
Defeasible Contextual Reasoning with Arguments in Ambient Intelligence
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...
Antonis Bikakis, Grigoris Antoniou
ER
2005
Springer
91views Database» more  ER 2005»
15 years 3 months ago
A Fundamental View on the Process of Conceptual Modeling
Abstract. In an ongoing effort to better understand the process of creating conceptual models (in particular formal ones), we present a fundamental view of the process of modeling...
Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P...
EKAW
2000
Springer
15 years 1 months ago
Conflict Resolution in the Collaborative Design of Terminological Knowledge Bases
Designing a terminological knowledge base consists in collecting terms and associating them to their definition. Our objective is to define a process model to support this design ...
Gilles Falquet, Claire-Lise Mottaz Jiang
ICFP
1999
ACM
15 years 2 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...