Search Sciweavers | Sciweavers

713 search results - page 7 / 143

» Syntax and Semantics of Babel-17

147

click to vote

RULEML
2005
Springer

78views Internet Technology» more RULEML 2005»

Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML

16 years 28 days ago

Download rewerse.net

Adrian Giurca, Gerd Wagner

claim paper

Read More »

195

Voted

KR
2010
Springer

227views Automated Reasoning» more KR 2010»

Set-Oriented Logical Connectives: Syntax and Semantics

16 years 7 days ago

Download www.cse.buffalo.edu

Of the common commutative binary logical connectives, only and and or may be used as operators that take arbitrary numbers of arguments with order and multiplicity being irrelevan...

Stuart C. Shapiro

claim paper

Read More »

224

click to vote

SIGLEX
1991

143views Knowledge Management» more SIGLEX 1991»

Syntax-Driven and Ontology-Driven Lexical Semantics

15 years 11 months ago

Download www.aclweb.org

Sergei Nirenburg, Lori S. Levin

claim paper

Read More »

135

click to vote

ER
2008
Springer

108views Database» more ER 2008»

Reflective Analysis of the Syntax and Semantics of the i* Framework

15 years 9 months ago

Download www.cs.utoronto.ca

Jennifer Horkoff, Golnaz Elahi, Samer Abdulhadi, E...

claim paper

Read More »

126

Voted

COLING
2000

77views Computational Linguistics» more COLING 2000»

Formal Syntax and Semantics of Case Stacking Languages

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers