Sciweavers

Share
AAMAS
2012
Springer
7 years 7 months ago
A formal model of emotions for an empathic rational dialog agent
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To provide empathic capabilitie...
Magalie Ochs, David Sadek, Catherine Pelachaud
AAAI
2011
7 years 12 months ago
Transportability of Causal and Statistical Relations: A Formal Approach
We address the problem of transferring information learned from experiments to a different environment, in which only passive observations can be collected. We introduce a formal ...
Judea Pearl, Elias Bareinboim
JAPLL
2011
92views more  JAPLL 2011»
8 years 6 months ago
Norms as ascriptions of violations: An analysis in modal logic
The paper proposes a formal analysis of a theory of norms resulting from pulling together Anderson’s reduction, the analysis of counts-as, and a novel approach to the formal rep...
Davide Grossi
SIGSOFT
2010
ACM
8 years 9 months ago
Program fields for continuous software
We propose program fields, a formal representation for groups of related programs, as a new abstraction to support future software engineering research in several areas. We will d...
Martin Erwig, Eric Walkingshaw
IEE
2008
91views more  IEE 2008»
8 years 12 months ago
Story-driven approach to software evolution
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
Juergen Rilling, Wen Jun Meng, René Witte, ...
BIOINFORMATICS
2007
72views more  BIOINFORMATICS 2007»
9 years 1 days ago
The qualitative and time-dependent character of spatial relations in biomedical ontologies
The formal representation of mereological aspects of canonical anatomy (parthood relations) is relatively well understood. The formal representation of other aspects of canonical ...
Thomas Bittner, Louis J. Goldberg
DGO
2003
147views Education» more  DGO 2003»
9 years 1 months ago
A Framework for the Representation of Geospatial Image Processing Operations
Research advances in geospatial automated image analysis tools and feature extraction algorithms have matured in recent times to levels of practical applicability. The consolidati...
Vijay Venkataraman, Peggy Agouris
CAISE
2005
Springer
9 years 5 months ago
Development of a formal REA-ontology Representation
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
Frederik Gailly, Geert Poels
AIME
2005
Springer
9 years 5 months ago
MHB - A Many-Headed Bridge Between Informal and Formal Guideline Representations
Clinical guidelines are becoming more and more important as a means to improve the quality of care by supporting medical staff. Modelling guidelines in a computer-processable form ...
Andreas Seyfang, Silvia Miksch, Cristina Polo-Cond...
books