Search Sciweavers | Sciweavers

713 search results - page 7 / 143

» Syntax and Semantics of Babel-17

click to vote

RULEML
2005
Springer

78views Internet Technology» more RULEML 2005»

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

15 years 3 months ago

Download rewerse.net

Adrian Giurca, Gerd Wagner

claim paper

Read More »

click to vote

KR
2010
Springer

227views Automated Reasoning» more KR 2010»

Set-Oriented Logical Connectives: Syntax and Semantics

15 years 2 months 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 »

click to vote

SIGLEX
1991

143views Knowledge Management» more SIGLEX 1991»

Syntax-Driven and Ontology-Driven Lexical Semantics

15 years 1 months ago

Download www.aclweb.org

Sergei Nirenburg, Lori S. Levin

claim paper

Read More »

click to vote

ER
2008
Springer

108views Database» more ER 2008»

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

14 years 12 months ago

Download www.cs.utoronto.ca

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

claim paper

Read More »

click to vote

COLING
2000

77views Computational Linguistics» more COLING 2000»

Formal Syntax and Semantics of Case Stacking Languages

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers