827 search results - page 101 / 166 » Proof-Theoretic Soundness and Completeness |
110
click to vote
JLP
2000
15 years 16 days ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
99
Voted
CSL
1999
Springer
15 years 13 days ago
1999
Springer
This paper presents a new approach to speech synthesis in which a set of cross-word decision-tree state-clustered context-dependent hidden Markov models are used to define a set o...
90
Voted
JSYML
2002
15 years 13 days ago
2002
Fibring is recognized as one of the main mechanisms in combining logics, with great significance in the theory and applications of mathematical logic. However, an open challenge t...
123
Voted
LOGCOM
1998
15 years 13 days ago
1998
Sound and complete modal propositional logic C is presented, in which 2P has the interpretation “ P is true in all states”. The interpretation is already known as the Carnapia...
136
click to vote
ICLP
2010
Springer
14 years 11 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...