2268 search results - page 244 / 454 » Semantic Integration |
173
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
174
Voted
PPDP
2005
Springer
16 years 18 days ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
193
click to vote
SEMWEB
2005
Springer
16 years 18 days ago
2005
Springer
We address the problem of linking observations from reality to a semantic web based knowledge base. Concepts in the biological domain are increasingly being formalized through ont...
194
click to vote
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
204
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...