Sciweavers

2830 search results - page 61 / 566
» No Science without Semantics
Sort
View
103
Voted
FOSSACS
2004
Springer
15 years 5 months ago
A Game Semantics of Local Names and Good Variables
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
James Laird
110
Voted
CORR
2008
Springer
153views Education» more  CORR 2008»
15 years 18 days ago
Combining Semantic Wikis and Controlled Natural Language
We demonstrate AceWiki that is a semantic wiki using the controlled natural language Attempto Controlled English (ACE). The goal is to enable easy creation and modification of ont...
Tobias Kuhn
119
Voted
ACL
2012
13 years 2 months ago
Coarse Lexical Semantic Annotation with Supersenses: An Arabic Case Study
“Lightweight” semantic annotation of text calls for a simple representation, ideally without requiring a semantic lexicon to achieve good coverage in the language and domain. ...
Nathan Schneider, Behrang Mohit, Kemal Oflazer, No...
114
Voted
ICLP
2010
Springer
15 years 4 months ago
A Logical Paradigm for Systems Biology (Invited Talk)
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
François Fages
286
Voted

Book
1569views
17 years 10 days ago
Introduction to Logic
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
Micha l Walicki