Sciweavers

14084 search results - page 186 / 2817
» A Theory for Game Theories
Sort
View
ECTEL
2006
Springer
14 years 1 days ago
Ontological Support for a Theory-Eclectic Approach to Instructional and Learning Design
Enhancement of learning with technology has been accelerating thanks to the advancement of information technology (IT) and the development of IT standards for learning. The purpose...
Yusuke Hayashi, Jacqueline Bourdeau, Riichiro Mizo...
AAAI
1998
13 years 9 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
AAAI
1996
13 years 9 months ago
Splitting a Default Theory
This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by \splitting it into parts." These so-called Sp...
Hudson Turner
AAAI
1990
13 years 9 months ago
A Circumscriptive Theory for Causal and Evidential Support
Reasoning about causality is an interesting application area of formal nonmonotonic theories. Here we focus our attention on a certain aspect of causal reasoning, namely causaZ as...
Eunok Paek
ENTCS
2008
102views more  ENTCS 2008»
13 years 8 months ago
A Monotonicity Principle for Information Theory
We establish a monotonicity principle for convex functions that enables high-level reasoning about capacity in information theory. Despite its simplicity, this single idea is rema...
Konstantinos Chatzikokolakis, Keye Martin