Sciweavers

2303 search results - page 330 / 461
» On the logic of argumentation theory
Sort
View
AMDO
2006
Springer
15 years 10 months ago
Agents with Personality for Videogames
This paper describes the design and implementation of a module of emotions and personality for synthetic actors. Here are presented the results of previous researches, which were t...
Diana Arellano Távara, Andreas Meier
ATAL
2006
Springer
15 years 10 months ago
Designing agent chips
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
Insu Song, Guido Governatori
CIE
2006
Springer
15 years 10 months ago
From a Zoo to a Zoology: Descriptive Complexity for Graph Polynomials
Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...
Johann A. Makowsky
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 8 months ago
A General Notion of Useful Information
In this paper we introduce a general framework for defining the depth of a sequence with respect to a class of observers. We show that our general framework captures all depth not...
Philippe Moser
KRMED
2004
15 years 7 months ago
Towards a computational paradigm for biomedical structure
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
Stefan Schulz, Udo Hahn