24,123 Hits in 1.6 sec

Symbolic Semantics Revisited [chapter]

Filippo Bonchi, Ugo Montanari
Foundations of Software Science and Computational Structures  
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]

Alan Nash, Jeff Remmel, Victor Vianu
2004 Lecture Notes in Computer Science  
. • 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]

Alexander Borgida, John Mylopoulos
2005 Lecture Notes in Computer Science  
.  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

Enyo Gonçalves, Camilo Almendra, Miguel Goulão, João Araújo, Jaelson Castro
2019 Journal of Software and Systems Modeling  
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]

Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff
2013 Lecture Notes in Computer Science  
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

Luiz Otavio V.B. Oliveira, Fernando E.B. Otero, Luis F. Miranda, Gisele L. Pappa
2016 2016 5th Brazilian Conference on Intelligent Systems (BRACIS)  
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]

Daiki Kimura, Subhajit Chaudhury, Masaki Ono, Michiaki Tatsubori, Don Joven Agravante, Asim Munawar, Akifumi Wachi, Ryosuke Kohita, Alexander Gray
2021 arXiv   pre-print
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]

Martha Lewis, Bob Coecke
2016 arXiv   pre-print
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)  
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]

Bene Rodriguez-Castro, Mouzhi Ge, Martin Hepp
2012 Lecture Notes in Computer Science  
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  
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]

Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev
2011 Lecture Notes in Computer Science  
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  
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

Hiroyuki Akama
2018 F1000Research  
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  
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