4617 search results - page 838 / 924 » Automation of Diagrammatic Reasoning |
183
click to vote
CSL
2005
Springer
16 years 10 days ago
2005
Springer
ce, the publication of the abstract of the thesis and the citation in the CSL proceedings, and travel support to attend the conference. The first Ackermann Award is presented at t...
189
click to vote
CSL
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
159
click to vote
ECSQARU
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we explore the use of several types of structural restrictions within algorithms for learning Bayesian networks. These restrictions may codify expert knowledge in a g...
227
click to vote
ECSQARU
2005
Springer
16 years 10 days ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
183
click to vote
ECSQARU
2005
Springer
16 years 10 days ago
2005
Springer
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...