A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Symbolic Semantics Revisited
[chapter]
Foundations of Software Science and Computational Structures
Preserved Fulltext
Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symbolic actions. ...
In this paper we generalize the symbolic technique and apply the resulting theory to these two cases, re-deriving existing results. ...
Concerning Petri nets, no symbolic semantics exists. Here our framework produces a new symbolic semantics (equivalent to the standard ∼ N ) by reducing input transitions. ...
doi:10.1007/978-3-540-78499-9_28
dblp:conf/fossacs/BonchiM08
fatcat:n7jygkyqx5gdniffxbbgrcylla
PTIME Queries Revisited
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
. • Syntax: terms given by a finite set C of constant symbols and a finite set F of function symbols. • Semantics: • to each c ∈ C we associate a property K c (a "building block") defined by a polynomial-time ...
PTIME Queries Revisited -p. 19/3
Simulating FO(Q) For signature τ we need: • one constant c R for every relation symbol of τ , • function symbols f ¬ , f ∨ , f ∧ of arity 2,3,3, • one function symbol ...
doi:10.1007/978-3-540-30570-5_19
fatcat:uru3lezbnrg3zmfpsid52w55rm
Data Semantics Revisited
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
. The semantics of data is captured through a rich conceptual schema in an expressive semantic data model. Emphasis on expressiveness over tractability/ performance. ...
instead, it often involves a continuum of (semantic) correspondences from symbol to (symbol to)* object [Smith87] Analyze goals and softgoals; find alternative ways of fulfilling each goal; evaluate ...
…
…1999 1999… …
The Semantic Web
The Semantic Web
Hence the call for the Semantic Web [Berners-Lee01]. ...
doi:10.1007/978-3-540-31839-2_2
fatcat:dlgzflz2pnd65p6olhtdsh2sui
Using empirical studies to mitigate symbol overload in iStar extensions
2019
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Our results suggest that next extension efforts should consider user-generated notation design techniques in order to increase the semantic transparency. ...
The study involved 262 participants, and its results revealed that most of the new graphical representations were better than those proposed by the extensions, with regard to semantic transparency. ...
H 1 (Semantic Transparency) ∶ Original = Revisited = Stereotype = Prototype H 2 (Recognition) ∶ Original = Revisited = Stereotype = Prototype = Revisited Explained ( )( )( ) In Study 5 (Recognition), the ...
doi:10.1007/s10270-019-00770-9
fatcat:aaylk7wllbdonbkz7o3viimoua
The Circus Testing Theory Revisited in Isabelle/HOL
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Based on this formal representation of the semantics we revisit the original associated testing theory. We discovered unforeseen simplifications in both definitions and symbolic computations. ...
The approach lends itself to the construction of a tool, that directly uses semantic definitions of the language as well as derived rules of its testing theory, and thus provides some powerful symbolic ...
Operational semantics rules revisited. ...
doi:10.1007/978-3-642-41202-8_10
fatcat:ubmaipwzuje2vcf67myeb7ph3y
Revisiting the Sequential Symbolic Regression Genetic Programming
2016
2016 5th Brazilian Conference on Intelligent Systems (BRACIS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we revisit SSR exploring the method behaviour in higher dimensional, larger and more heterogeneous datasets. ...
As proof of concept, the method was previously evaluated in one-dimensional problems and compared with canonical Genetic Programming (GP) and Geometric Semantic Genetic Programming (GSGP). ...
CONCLUSIONS AND FUTURE WORK This paper revisited the Sequential Symbolic Regression and performed a deeper analysis over a more diversified test bed. ...
doi:10.1109/bracis.2016.039
dblp:conf/bracis/OliveiraOMP16
fatcat:azyfnpkvrrah7ddcw3a746qzom
LOA: Logical Optimal Actions for Text-based Interaction Games
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
This demonstration also provides a comparison module with other neuro-symbolic approaches as well as non-symbolic state-of-the-art agent models on the same text-based games. ...
We present Logical Optimal Actions (LOA), an action decision architecture of reinforcement learning applications with a neuro-symbolic framework which is a combination of neural network and symbolic knowledge ...
Figure 8 : 8 Figure 8: Result for avoiding revisiting LNN.
We are planning to add other games.
This parser is out of our current research topic, we prepare a simple semantic parser. ...
arXiv:2110.10973v1
fatcat:zwaef6rtzzd2nf67jl6xehyo54
Harmonic Grammar in a DisCo Model of Meaning
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In the current work, we revisit Smolensky and Legendre (S&L)'s model. ...
Clark and Pulman (2007) draw a parallel with semantics where meaning may be modelled on both distributional and symbolic levels, developed by Coecke et al, 2010 into the Distributional Compositional (DisCo ...
[2] draw a parallel with semantics where meaning may be modelled on both distributional and symbolic levels, developed by [3] into the Distributional Compositional (DisCo) model of meaning. ...
arXiv:1602.02089v1
fatcat:mopztdc3pramnfw6ahx2a5fivu
JSL volume 46 issue 4 Cover and Back matter and Errata
1981
Journal of Symbolic Logic (JSL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Equivalence between semantics for intuitionism. 1
773
MAKKAI, M. An example concerning Scott heights
301
MANASTER, ALFRED B. and REMMEL, JEFFREY B. ...
Vaught's theorem recursively revisited
397
MILLER, DOUGLAS E. The metamathematics of model theory: Discovering
language in action
490
MUNDICI, DANIELE. ...
doi:10.1017/s002248120004500x
fatcat:jspgpikulzerbeqwwez4gulb3i
Alignment of Ontology Design Patterns: Class As Property Value, Value Partition and Normalisation
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
To illustrate our contribution existing examples in the literature are revisited. ...
The examination continues with a comparative analysis among the patterns that reveals key alignments and differences at the structural and semantic level. ...
Revisiting the Value Partition ODP The Value Partition (VP) ODP is introduced in [12] and further revisited in [2, 3] . ...
doi:10.1007/978-3-642-33615-7_16
fatcat:xuooghbhgjhvxgckxheazskyxu
Page 1889 of Mathematical Reviews Vol. 57, Issue 5
[page]
1979
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
W. 57 # 14568
Least fixed points revisited.
A-calculus and computer science theory (Proc. Sympos., Rome,
1975), pp. 27-61. Lecture Notes in Comput. Sci., Vol. 37,
Springer, Berlin, 1975. ...
Inst., Brooklyn, N.Y., 1971] fixed point semantics is presented with the intention of carefully verifying a semantic interpretation due to E. W. Dijkstra [Nederl. Akad. Wetensch. Proc. Ser. ...
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
We validate the long-standing assumption that the semantic annotations in flexiformal documents that drive the machine-supported interaction with documents can support semantic impact analyses at the same ...
In this paper, we report on an effort to extend change management to semi-formal document collections and to integrate it into a semantic publishing system for mathematical knowledge. ...
, and their use in proofs and proof steps -together with semantic relations between concepts -e.g., import relations between theories, symbols and their definitions, assertions and their proofs. ...
doi:10.1007/978-3-642-22673-1_12
fatcat:4fjlexsuqbdbznwz3uyv2gbrcu
Page 1205 of Mathematical Reviews Vol. , Issue 93c
[page]
1993
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Symbolic Logic 57 (1992), no. 1, 238-251. ...
Application of transparent intensional logic in the theory of information systems; Bibliography.
93c:03037 03B65 03B45 68S05
Ruzsa, Imre (H-EOTVO-LG)
* Intensional logic revisited. ...
Individual typological differences in a neurally distributed semantic processing system: Revisiting the Science article by Mitchell et al. on computational neurolinguistics
2018
F1000Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
It may have potential for shedding new light on in the controversy pertaining to cognitive semantics, which is divided into modality-biased (embodied) and amodal symbol theories. ...
crucial for the distributed semantic processing system. ...
However, the voxel information brought by the ANOVA enables us to propose an alternative view for the discrimination power in language, having an affinity for the amodal (not to say disembodied) symbol ...
doi:10.12688/f1000research.14584.1
fatcat:qkpl34fdyfgkhimp2wvrbuvt7m
Page 42 of Psychological Abstracts Vol. 79, Issue 1
[page]
1992
Psychological Abstracts
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Cognition, motivation, and emotion: Ideology revisited. [In: (PA
Vol 79:372) Cognition and the symbolic processes: Applied and
ecological perspectives. Hoffman, Robert R. & Palermo, David S.
(Eds.). ...
Like the previous “Cognition and the Symbolic Process” volumes, this book is “directed toward those who are en- grossed in the problems of cognition and the symbolic pro- cesses” (Weimer & Palermo, 1974 ...
« Previous
Showing results 1 — 15 out of 24,123 results