Search Sciweavers | Sciweavers

3658 search results - page 214 / 732

» The logic of proofs, semantically

112

click to vote

DAGSTUHL
2008

89views Software Engineering» more DAGSTUHL 2008»

08061 Abstracts Collection -- Types, Logics and Semantics for State

15 years 8 months ago

Download drops.dagstuhl.de

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...

claim paper

Read More »

155

click to vote

AIML
2006

113views Logical Reasoning» more AIML 2006»

A Kripke-Joyal Semantics for Noncommutative Logic in Quantales

15 years 8 months ago

Download homepages.mcs.vuw.ac.nz

Robert Goldblatt

claim paper

Read More »

172

click to vote

CLIMA
2006

110views Intelligent Agents» more CLIMA 2006»

A New Logical Semantics for Agent Communication

15 years 8 months ago

Download users.encs.concordia.ca

Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey...

claim paper

Read More »

125

click to vote

ACL
1993

91views Computational Linguistics» more ACL 1993»

A Logical Semantics for Nonmonotonic Sorts

15 years 8 months ago

Download www.aclweb.org

Mark A. Young, William C. Rounds

claim paper

Read More »

132

click to vote

DLOG
1996

88views Automated Reasoning» more DLOG 1996»

On the Semantics of Epistemic Description Logics

15 years 8 months ago

Download www.inf.unibz.it

d Abstract) Riccardo Rosati Dipartimento di Informatica e Sistemistica Universita di Roma \La Sapienza" Via Salaria 113, 00198 Roma, Italy

Riccardo Rosati

claim paper

Read More »

« Prev « First page 214 / 732 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers