Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 1997, Selected Papersby Jürgen Dix; Luís Moniz Pereira; Teodor C. Przymusinski
- 期刊名称Studia Logica: An International Journal for Symbolic Logic
- 作者Review by: Koji Tanaka
- 卷第68卷
- 期第2期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小320.69KB
- 发表时间2001-07
- DOI10.2307/20016314
- 页码299-300
Vagueness || Reasoning with Slippery PredicatesStewart Shapiro · Studia Logica: An International Journal for Symbolic Logic · 2008
A Compact Representation of ProofsDale A. Miller · Studia Logica: An International Journal for Symbolic Logic · 1987
Minimally Inconsistent LPGraham Priest · Studia Logica: An International Journal for Symbolic Logic · 1991
O dwojakim rozumieniu uzasadniania dedukcyjnegoMaria Kokoszyńska · Studia Logica: An International Journal for Symbolic Logic · 1962
Combining Logics II || Front MatterStudia Logica: An International Journal for Symbolic Logic · 1997
On Proofs of RejectionWalenty Staszek · Studia Logica: An International Journal for Symbolic Logic · 1971
On Deontic LogicLeon Gumański · Studia Logica: An International Journal for Symbolic Logic · 1980
Logic of Action || Back MatterStudia Logica: An International Journal for Symbolic Logic · 1992