1746 search results - page 140 / 350 » A Constructive Semantics for ALC |
120
Voted
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
140
click to vote
CAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
136
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...
94
Voted
ICDAR
2007
IEEE
15 years 11 months ago
2007
IEEE
Bibliographic attributes extraction is an important research topic for digital libraries. In this paper we propose a rule-based method for bibliographic attributes extraction with...
125
click to vote
ISMVL
2007
IEEE
15 years 11 months ago
2007
IEEE
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...