scholarly journals A Semantic Framework for the Declarative Debugging of Wrong and Missing Answers in Declarative Constraint Programming

10.5772/37119 ◽  
2012 ◽  
Author(s):  
Rafael del Vado Vrseda ◽  
Fernando Prez
Keyword(s):  
Constraint Programming ◽  
Semantic Framework

VIVO: A Semantic Framework for Interdisciplinary Research

2012 ◽  
Author(s):  
Hal Warren ◽  
Jon Corson-Rikert ◽  
Gary Vandenbos ◽  
Kristi Holmes ◽  
Eva Winer
Keyword(s):  
Interdisciplinary Research ◽  
Semantic Framework

A Method of Train Regulation Planning by the Constraint Programming Using Train Regulation Knowledge

2010 ◽  
Vol 130 (2) ◽  
pp. 332-342 ◽  
Author(s):  
Shuichiro Sakikawa ◽  
Tatsuhiro Sato ◽  
Toyohisa Morita ◽  
Kenji Ohta
Keyword(s):  
Constraint Programming

Boolean-valued structures

2018 ◽  
Author(s):  
Tim Button ◽  
Sean Walsh
Keyword(s):  
Model Theory ◽  
Order Logic ◽  
First Order Logic ◽  
Inference Rules ◽  
Mathematical Concepts ◽  
Semantic Framework ◽  
First Order ◽  
Standard Models ◽  
Boolean Valued Model ◽  
Semantic Values

Chapters 6-12 are driven by questions about the ability to pin down mathematical entities and to articulate mathematical concepts. This chapter is driven by similar questions about the ability to pin down the semantic frameworks of language. It transpires that there are not just non-standard models, but non-standard ways of doing model theory itself. In more detail: whilst we normally outline a two-valued semantics which makes sentences True or False in a model, the inference rules for first-order logic are compatible with a four-valued semantics; or a semantics with countably many values; or what-have-you. The appropriate level of generality here is that of a Boolean-valued model, which we introduce. And the plurality of possible semantic values gives rise to perhaps the ‘deepest’ level of indeterminacy questions: How can humans pin down the semantic framework for their languages? We consider three different ways for inferentialists to respond to this question.

Semantic Framework in Healthcare

2021 ◽  
pp. 103-120
Author(s):  
Sankar Pariserum Perumal ◽  
Ganapathy Sannasi ◽  
M. Selvi ◽  
Kannan Arputharaj
Keyword(s):  
Semantic Framework
Sign in / Sign up

Export Citation Format

Share Document