104,315 Hits in 6.2 sec

A survey of semantic description frameworks for programming languages

Yingzhou Zhang, Baowen Xu
2004 SIGPLAN notices  
[Bla1992] Blass, A., A game semantics for linear logic.  ...  [Mos1992, Mos1996b, DM1996]) for assistance in s0 for t cycles of time. In Figure 13, the function Act(a , s) developing new action semantic descriptions.  ... 
doi:10.1145/981009.981013 fatcat:aq23dovoqvdgzdo5xz7vclcnoe

Page 935 of Mathematical Reviews Vol. , Issue 86c [page]

1986 Mathematical Reviews  
The central semantic notion is a “frame”, which is built up set- theoretically in a fashion reminiscent of known constructions in the semantics of modal logic, tense logic, dynamic logic and process logic  ...  The relevance of the result is related to the constructivity of Nelson’s logic. Salvatore Guccione (Naples) Bencivenga, Ermanno (1-CA3-Q) 86c:03021 A possibility-free logic of descriptions. Arch.  ... 

Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions [chapter]

Liang Chang, Zhongzhi Shi, Tianlong Gu
2010 IFIP Advances in Information and Communication Technology  
The dynamic description logic DDL provides a kind of action theories based on description logics (DLs).  ...  Compared with another important DL-based action formalism constructed by Baader, a shortcoming of DDL is the absence of occlusions and conditional postconditions in the description of atomic actions  ...  That approach is characterized by constructing action formalisms over description logics of the ALCQIO family.  ... 
doi:10.1007/978-3-642-16327-2_9 fatcat:j25hi3f7bfaupa7xe6usw2xlfe

Semantic Service Composition Framework for Multidomain Ubiquitous Computing Applications [chapter]

Mohamed Hilila, Abdelghani Chibani, Karim Djouani, Yacine Amirat
2012 Lecture Notes in Computer Science  
In this paper we propose a semantic framework based on constructive description logic.  ...  The main innovative aspect of our work consists in the formalization of a composition in the form of e-contract semantic statements where the semantic and logic correctness/soundness are formally checked  ...  Recently, Ferrari et al. in [5] have proposed BCDL, a constructive description logic based on information terms semantics. This logic allows a constructive interpretation of ALC formulas.  ... 
doi:10.1007/978-3-642-34321-6_30 fatcat:qp4lzpqz5ffgnlig5xymzi5fwu

Logical Specification of Operational Semantics [chapter]

Peter D. Mosses
1999 Lecture Notes in Computer Science  
We also report on recent work towards the use of the Maude system (which provides an efficient implementation of rewriting logic) as a meta-tool for operational semantics.  ...  Various logic-based frameworks have been proposed for specifying the operational semantics of programming languages and concurrent systems, including inference systems in the styles advocated by Plotkin  ...  Acknowledgements: Thanks to Christiano Braga, José Meseguer, and Carolyn Talcott for comments on a draft of this paper, and to José Meseguer for helpful discussions and support throughout the author's  ... 
doi:10.1007/3-540-48168-0_4 fatcat:jgqrr3rnabfl7kpkqd4opqrut4

The Action Environment

Mark van den Brand, Jørgen Iversen, Peter D. Mosses
2004 Electronical Notes in Theoretical Computer Science  
They used Action Semantics [5] and ASF+SDF [4] as description language, but experience showed that the notation was too cumbersome, so we developed the ASDF language, which is tailor-made for writing action  ...  semantic descriptions (ASDs) of single language constructs.  ...  action semantic descriptions (ASDs) of single language constructs.  ... 
doi:10.1016/j.entcs.2004.06.002 fatcat:z6uhymjayfhh3jfgklgq5vgnfu

A Dynamic Description Logic for Semantic Web Service

Liang Chang, Fen Lin, Zhongzhi Shi
2007 Third International Conference on Semantics, Knowledge and Grid (SKG 2007)  
On the one hand, actions are represented over ontologies expressed in description logic; On the other hand, actions can be used as modal operators for the construction of concepts.  ...  This logic is a combination of a typical action theory and the description logic ALCO@, with a feature that actions are treated as citizens.  ...  For many dynamicrelated knowledge, especially for these about semantic web services, description logics are not adequate.  ... 
doi:10.1109/skg.2007.59 dblp:conf/skg/ChangLS07 fatcat:27wht3v5ebdbhgaa3b6zywp3hi

Reducing the Overconfidence of Base Classifiers when Combining Their Decisions [chapter]

Šarunas Raudys, Ray Somorjai, Richard Baumgartner
2003 Lecture Notes in Computer Science  
Reaction RuleML is a standardized rule markup/serialization language and semantic interchange format for reaction rules and rulebased event processing.  ...  Reaction rules include distributed Complex Event Processing (CEP), Knowledge Representation (KR) calculi, as well as Event-Condition-Action (ECA) rules, Production (CA) rules, and Trigger (EA) rules.  ...  views on resource sets that are treated as singletons, i.e. a constructive view over a set of resources is a singleton with an unique IRI denoted by the query expression.  ... 
doi:10.1007/3-540-44938-8_7 fatcat:o3r75dn56jboxfugfzt7kwaz34

The Varieties of Programming Language Semantics [chapter]

Peter D. Mosses
2000 Lecture Notes in Computer Science  
This brief summary surveys the main varieties of semantics, and considers which of them may be the most appropriate.  ...  It may seem that there are almost as many varieties of programming language semantics as there are of programming languages.  ...  BRICS (Basic Research in Computer Science) is a centre of the Danish National Research Foundation.  ... 
doi:10.1007/3-540-44929-9_49 fatcat:veby7g5smjbofidhm2josfswea

Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24)

Uffe Engberg, Mogens Nielsen, Glynn Winskel
1992 DAIMI Report Series  
<p>The EEC Esprit Basic Research Action No 3011, Models, Languages and Logics for Con current Distributed Systems, CEDISYS, held its second workshop at Aarhus University in May, l991, following the successful  ...  </p><p>This booklet contains the program of the workshop, short abstracts for the talks presented, and a list of participants.</p>  ...  Using this model, we give an operational semantics for the CCS process description language, extended with a construct introducing locations.  ... 
doi:10.7146/dpb.v21i392.6627 fatcat:z7kwdje4ebdkrmvhynaomrvqu4

A Theoretical Model for Meaning Construction through Constructivist Concept Learning [article]

Farshad Badie
2017 The PhD Series of the Faculty of the Humanities  
MEANING CONSTRUCTION: THE SEMANTIC PROCESS The primary step towards learning constructively within an interaction can be built up over an asked question or a committed action.  ...   Component II (World Descriptions) The symbol W stands for humans' World Descriptions over their constructed concepts.  ...  The main contribution has been to provide a logical support for the formal semantic analysis of meaning construction within constructivist interaction.  ... 
doi:10.5278/ fatcat:sfqwkrjduncrzeuyx2shchxjaq

Synthesizing Semantic Web Service Compositions with jMosel and Golog [chapter]

Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen
2009 Lecture Notes in Computer Science  
As a common case study we consider the Mediation Scenario of the Semantic Web Service Challenge, which is a benchmark for process orchestration.  ...  In this paper we investigate different technologies to attack the automatic solution of orchestration problems based on synthesis from declarative specifications, a semantically enriched description of  ...  In the other two approaches the loose descriptions are given in SLTL, a logic specifically designed for temporally loose process specification.  ... 
doi:10.1007/978-3-642-04930-9_25 fatcat:4fj5obe6nngsbc7jjio46n4gke

Design and Implementation of Linked Planning Domain Definition Language [article]

Michiaki Tatsubori, Asim Munawar, Takao Moriyama
2019 arXiv   pre-print
This paper addresses the problem by providing a repository of actions generically applicable to various environmental objects based on Semantic Web technologies.  ...  Ontologies are used for asserting constraints in common sense as well as for resolving compatibilities between actions and states.  ...  PDDLS semantics To overcome the limitations with OWL with typical descriptive logic (DL) resolvers, we extend the DL with a powerful role-construction operator.  ... 
arXiv:1912.07834v1 fatcat:t56kuig6yffg5jgtcje46cj4hm

Semantics, Modularity, and Rewriting Logic

Peter D. Mosses
1998 BRICS Report Series  
Providing powerful meta-tools for such semantics-based interpretation<br />is an interesting potential application of rewriting logic;<br />good modularity of the semantic descriptions may be crucial for  ...  A complete formal semantic description of a practical programming language (such as Java) is likely to be a lengthy document, regardless of which semantic framework is being used.  ...  C Action Semantics C.1 Initial Description C.1.1 Abstract Syntax See Appendix A.1.1. C.1.2 Semantic Entities includes: Action Notation [15]. introduces: value, number .  ... 
doi:10.7146/brics.v5i42.19487 fatcat:372gifpinbaltk6i7xan5i323a

Exchanging Policies between Web Service Entities using Rule Languages

Nima Kaviani, Dragan Gasevic, Marek Hatala, Gerd Wagner, Ty Mey Eap
2007 2007 IEEE Congress on Services (Services 2007)  
Following these mappings, we have implemented transformers, which enable us not only to share policies between KAoS and Rei, but also to transform policies onto other rule languages (e.g., F-Logic) for  ...  Combination of these two properties makes Web rule languages an appropriate medium to make a hybrid model of representing both contexts and rules of a policy-aware system, such as a web service.  ...  A derivation rule is a better construct to show the inference capabilities over existing facts to obtain new facts.  ... 
doi:10.1109/services.2007.31 dblp:conf/IEEEscc/KavianiGHWE07 fatcat:jlycsbtomras5j2ijuxdchr7sm
« Previous Showing results 1 — 15 out of 104,315 results