Sciweavers

10568 search results - page 21 / 2114
» Computer Intelligence and Formalization
Sort
View
IBERAMIA
2010
Springer
14 years 7 months ago
A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics
In a recent paper [2] the authors have formalized a recursive semantics for warranted conclusions in a general defeasible argumentation framework based on a propositional logic. Th...
Teresa Alsinet, Ramón Béjar, Lluis G...
IEEEICCI
2006
IEEE
15 years 3 months ago
SenseNet: A Knowledge Representation Model for Computational Semantics
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
Ping Chen, Wei Ding 0003, Chengmin Ding
STORYTELLING
2005
Springer
15 years 3 months ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo
HICSS
2003
IEEE
207views Biometrics» more  HICSS 2003»
15 years 2 months ago
Formalizing Multi-Agent POMDP's in the context of network routing
This paper uses partially observable Markov decision processes (POMDP’s) as a basic framework for MultiAgent planning. We distinguish three perspectives: first one is that of a...
Bharaneedharan Rathnasabapathy, Piotr J. Gmytrasie...
ATAL
2009
Springer
15 years 4 months ago
Constrained coalitional games: formal framework, properties, and complexity results
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, F...