Search results for "semantics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
70	Ileana Ober	More Meaningful UML Models.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics
67	Olivier Danvy	Defunctionalized interpreters for programming languages.	ICFP	2008	DBLP DOI BibTeX RDF	big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics
53	Roberto Giacobazzi, Isabella Mastroeni	Non-Standard Semantics for Program Slicing.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, semantics, abstract interpretation, program slicing, compositional semantics, program manipulation
53	Leopoldo E. Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim	Semantics in Databases.	Semantics in Databases	2001	DBLP DOI BibTeX RDF
50	Shan-Li Hu, Chun-Yi Shi	A Multi-subset Possible World Semantics for Intention Operator of Agent.	PRIMA	2006	DBLP DOI BibTeX RDF	multi-subset possible world semantics, Agent, semantics, intention
50	J. W. de Bakker, J. H. A. Warmerdam	Metric Pomset Semantics for a Concurrnt Language with Recursion.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF	pomsets, metric topology, operational semantics, denotational semantics, true concurrency, proof rule
49	Olivier Danvy	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
47	Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen	From algebraic semantics to denotational semantics for Verilog.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Unifying theories of programming, Denotational semantics, Semantic relating, Verilog, Algebraic semantics
47	Ansgar Scherp, Ramesh C. Jain	Towards an ecosystem for semantics.	MS	2007	DBLP DOI BibTeX RDF	semantics, events, multimedia authoring, ecosystem, multimedia semantics
45	Sara Cohen	Equivalence of queries combining set and bag-set semantics.	PODS	2006	DBLP DOI BibTeX RDF	bag semantics, combined semantics, set semantics, Datalog, query equivalence
45	Jianhua Chen 0003, Sukhamay Kundu	The Strong Semantics for Logic Programs.	ISMIS	1991	DBLP DOI BibTeX RDF	GCWA-property, logic program, declarative semantics, Derived rule
45	Stephen D. Brookes	A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
43	Raymond T. Boute	Calculational semantics: Deriving programming theories from equations by functional predicate calculus.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics
43	Mauricio Osorio 0001, Bharat Jayaraman	Integrating the Completion and the Well Founded Semantics.	IBERAMIA	1998	DBLP DOI BibTeX RDF	Stable Semantics, Clark's Completion, Normal Programs, Knowledge Representation, Logic Programming, Non-monotonic Reasoning, Well Founded Semantics
42	Catriel Beeri, Raghu Ramakrishnan 0001, Divesh Srivastava, S. Sudarshan 0001	The Valid Model Semantics for Logic Programs.	PODS	1992	DBLP DOI BibTeX RDF
42	Christiano Braga	A Constructive Semantics for Basic Aspect Constructs.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
42	David A. Watt	Action Semantics in Retrospect.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
42	Yingzhou Zhang, Baowen Xu	A survey of semantic description frameworks for programming languages.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	hybrid semantics, semantic description frameworks, operational semantics, formal semantics, denotational semantics, axiomatic semantics
41	Huibiao Zhu, Yongxin Zhao, Jifeng He 0001	Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
41	Philippe Cudré-Mauroux, Karl Aberer, Alia I. Abdelmoty, Tiziana Catarci, Ernesto Damiani, Arantza Illarramendi, Mustafa Jarrar, Robert Meersman, Erich J. Neuhold, Christine Parent, Kai-Uwe Sattler, Monica Scannapieco, Stefano Spaccapietra, Peter Spyns, Guy De Tré	Viewpoints on Emergent Semantics.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
40	Jules Desharnais, Nazim H. Madhavji	Relation Level Semantics.	FSTTCS	1988	DBLP DOI BibTeX RDF	CR Categories D.1.4 [Programming Techniques] Sequential Programming, D.3.1 [Programming Languages] Formal Definitions and Theory: Semantics, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about programs: Relations, F.3.2 [Logics and Meanings of Programs] Semantics of Programming Languages: Algebraic approaches to semantics, F.3.3 [Logics and Meanings of Programs] Studies of Program Constructs: Control Structures, Expressions, Denotational Semantics, Procedures
40	Simon J. Gay, Rajagopal Nagarajan	Intensional and Extensional Semantics of Dataflow Programs.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Categorical semantics, Interaction categories, Kahn semantics, Synchronous computation, Dataflow
40	Jan J. M. M. Rutten	Correctness and full abstraction of metric semantics for concurrency.	REX Workshop	1988	DBLP DOI BibTeX RDF	complete metric spaces, concurrency, contractions, correctness, operational semantics, compositionality, denotational semantics, full abstraction
40	Juan Carlos Nieves, Mauricio Osorio 0001, Claudia Zepeda	Expressing Extension-Based Semantics Based on Stratified Minimal Models.	WoLLIC	2009	DBLP DOI BibTeX RDF	extension-based argumentation semantics and logic programming, Non-monotonic reasoning
40	Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyratos	Compound Term Composition Algebra: The Semantics.	J. Data Semantics	2005	DBLP DOI BibTeX RDF	Faceted Taxonomies, Semantics, Description Logics
40	Nicola Leone, Francesco Scarcello, V. S. Subrahmanian	Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	computational complexity, knowledge representation, nonmonotonic reasoning, optimization problems, Disjunctive logic programming
40	Luiz Carlos Castro Guedes, Edward Hermann Haeusler	Action Algebras and Model Algebras in Denotational Semantics.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
40	Werner Kuhn	Geospatial Semantics: Why, of What, and How?	J. Data Semantics	2005	DBLP DOI BibTeX RDF
40	Sophia Drossopoulou, Susan Eisenbach	Describing the Semantics of Java and Proving Type Soundness.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
40	Prakash Panangaden, James R. Russell	A Category-theoretic Semantics for Unbounded Indeterminacy.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
40	Naphtali Rishe	On Denotational Semantics of Data Bases.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
39	Michel Bidoit, Rolf Hennicker, Martin Wirsing	Characterizing Behavioural Semantics and Abstractor Semantics.	ESOP	1994	DBLP DOI BibTeX RDF
39	Larry Kerschberg, Hanjo Jeong, Wooju Kim	Emergent Semantics in Knowledge Sifter: An Evolutionary Search Agent Based on Semantic Web Services.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
39	Lei Zhang 0007, Xian Wu, Yong Yu 0001	Emergent Semantics from Folksonomies: A Quantitative Study.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
39	Sara Cohen	Equivalence of queries that are sensitive to multiplicities.	VLDB J.	2009	DBLP DOI BibTeX RDF	Bag semantics, Set semantics, Combined semantics, Datalog, Query equivalence
39	T. S. Jayram, Phokion G. Kolaitis, Erik Vee	The containment problem for REAL conjunctive queries with inequalities.	PODS	2006	DBLP DOI BibTeX RDF	bag semantics, bag-set semantics, conjunctive queries, undecidability, query containment, inequalities
38	Amit P. Sheth	Semantics Scales Up: Beyond Search in Web 3.0.	IEEE Internet Comput.	2011	DBLP DOI BibTeX RDF	scaling semantics, computing for human experience, semantics in Web 3.0, semantics-empowered physical-virtual systems, semantics empowered cyber-physical systems, semantic search
38	Kewen Wang 0001, Lizhu Zhou	Comparisons and computation of well-founded semantics for disjunctive logic programs.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	residual programs, semantics of logic programs and deductive databases, program transformations, argumentation, nonmonotonic reasoning, negation, Disjunctive logic programming, well-founded semantics
38	Ekkart Kindler	A Compositional Partial Order Semantics for Petri Net Components.	ICATPN	1997	DBLP DOI BibTeX RDF	Petri net component, rely-guarantee specification, fully abstract, compositional semantics, partial order semantics
38	Louiqa Raschid, Jorge Lobo 0001	Semantics for Update Rule Programs and Implementations in a Relational Database Management System.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	constant maintenance, deductive database, rule-based systems, fixpoint semantics, update rules, stable model semantics
37	Slavisa Markovic, Thomas Baar	Semantics of OCL specified with QVT.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	OCL Semantics, Graph-transformations, DSL, QVT
37	Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc	Practical weak-atomicity semantics for java stm.	SPAA	2008	DBLP DOI BibTeX RDF	weak atomicity, java, transactional memory, memory models, programming language semantics
37	Yann Loyer, Nicolas Spyratos	Hypothesis-Founded Semantics for Datalog Programs with Negation.	MFCS	2002	DBLP DOI BibTeX RDF	semantics of logic programs, non-monotonic reasoning, hypothesis
37	Yuan An, Alexander Borgida, John Mylopoulos	Discovering the Semantics of Relational Tables Through Mappings.	J. Data Semantics	2006	DBLP DOI BibTeX RDF	ontologies, Semantics, mappings, semantic interoperability
37	Claudia Diamantini, Domenico Potena, Maurizio Panti	KDD Support Services Based on Data Semantics.	J. Data Semantics	2005	DBLP DOI BibTeX RDF	Decision Border, Data Mining, Classification, User Support, Data Semantics
37	Huibiao Zhu, Jifeng He 0001, Jing Li 0062, Jonathan P. Bowen	Algebraic Approach to Linking the Semantics of Web Services.	SEFM	2007	DBLP DOI BibTeX RDF
37	Sergio Greco	Minimal Founded Semantics for Disjunctive Logic Programming.	LPNMR	1999	DBLP DOI BibTeX RDF
37	François Fages, Roberta Gori	A Hierarchy of Semantics for Normal Constraint Logic Programs.	ALP	1996	DBLP DOI BibTeX RDF
37	André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante	An Implementation of Object-Oriented Action Semantics in Maude.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
37	Kyung-Goo Doh, David A. Schmidt	An Action Semantics Based on Two Combinators.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
37	Lawrence S. Moss, Satish R. Thatte	Generalization of Final Algebra Semantics by Relativization.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
36	Olivier Danvy, John Hatcliff	On the Transformation between Direct and Continuation Semantics.	MFPS	1993	DBLP DOI BibTeX RDF
36	Luc Steels, Peter Hanappe	Interoperability Through Emergent Semantics A Semiotic Dynamics Approach.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
36	Zoran Majkic	Intensional Semantics for P2P Data Integration.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
36	David Lorge Parnas	On Iterative Constructs.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
35	Peter D. Mosses	On the Action Semantics of Concurrent Programming Languages.	REX Workshop	1992	DBLP DOI BibTeX RDF	action notation, semantics, concurrency, synchronization, distributed processing, asynchrony, action semantics
35	Bharat Jayaraman	Semantics of EqL.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Correctness theorems, equational programming, equation solving, object refinement, logic programming, functional programming, denotational semantics, reduction semantics
35	Mauricio Osorio 0001, Verónica Borja Macías, José Arrazola	Closing the Gap between the Stable Semantics and Extensions of WFS.	MICAI	2004	DBLP DOI BibTeX RDF	Stable semantics, FOUR, Modal logics, WFS
35	Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager	Operational and Logical Semantics for Polling Real-Time Systems.	FTRTFT	1998	DBLP DOI BibTeX RDF
35	Malgorzata Biernacka, Olivier Danvy	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
35	Guizhen Yang, Michael Kifer	Inheritance in Rule-Based Frame Systems: Semantics and Inference.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
35	Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing	An Event-Based Structural Operational Semantics of Multi-Threaded Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
35	Geoff Barrett	The Semantics of Priority and Fairness in occam.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
34	Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen	Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.	SEW	2007	DBLP DOI BibTeX RDF
34	Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy	An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language.	MFPS	1993	DBLP DOI BibTeX RDF
34	Jörg Unbehauen, Andreas Nareike, Johannes Schmidt 0003	Adding Semantics to Model Driven ApplicationDevelopment with CVtec and SparqlMap.	SEMANTiCS (Posters, Demos, SuCCESS)	2016	DBLP BibTeX RDF
34	Mónica Posada-Sánchez, Stefan Bischof 0002, Axel Polleres	Extracting Geo-Semantics About Cities From OpenStreetMap.	SEMANTiCS (Posters, Demos, SuCCESS)	2016	DBLP BibTeX RDF
34	Stefan Kahrs, Donald Sannella, Andrzej Tarlecki	The Semantics of Extended ML: A Gentle Introduction.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
34	David Chaves-Fraga, Pieter Colpaert, Mersedeh Sadeghi, Mario Scrocca, Marco Comerio (eds.)	Proceedings of the 3rd International Workshop Semantics And The Web For Transport co-located with Semantics Conference (SEMANTiCS 2021), Online, September 6, 2021.	Sem4Tra@SEMANTiCS	2021	DBLP BibTeX RDF
34	Nicolò Oreste Pinciroli Vago, Mario Sacaj, Mersedeh Sadeghi, Safia Kalwar, Andreas Vogelsang, Matteo G. Rossi	On the Visualization of Semantic-based Mappings.	Sem4Tra@SEMANTiCS	2021	DBLP BibTeX RDF
34	Shams Ghazy, Jing-Ying Wong, Pieter Colpaert, Yu Hoe Tang, Andy Chan	Linked MaaS: A Vision for Leveraging Semantic Web Technologies for Mobility as a Service.	Sem4Tra@SEMANTiCS	2021	DBLP BibTeX RDF
34	Mario Scrocca, Marco Comerio, Damiano Scandolari, Irene Celino	Towards a More Informed Multimodal Travel Shopping.	Sem4Tra@SEMANTiCS	2021	DBLP BibTeX RDF
34	Alessio Carenini, Andrea Fiano, Mario Scrocca, Marco Comerio, Irene Celino	Enabling Cross-Border Travel Offers Through National Access Point Federation via Metadata Harmonisation.	Sem4Tra@SEMANTiCS	2021	DBLP BibTeX RDF
34	Mario Scrocca, Alessio Carenini, Marco Comerio, Irene Celino	Semantic Conversion of Transport Data Adopting Declarative Mappings: An Evaluation of Performance and Scalability.	Sem4Tra@SEMANTiCS	2021	DBLP BibTeX RDF
34	Brecht Van de Vyvere, Tim Asperges, Pieter Colpaert, Ruben Verborgh	Third-party Payment Specification for Mobility as a Service.	Sem4Tra@SEMANTiCS	2021	DBLP BibTeX RDF
34	Lucie-Aimée Kaffee, Kemele M. Endris, Maria-Esther Vidal, Marco Comerio, Mersedeh Sadeghi, David Chaves-Fraga, Pieter Colpaert (eds.)	Joint Proceedings of the 1st International Workshop On Semantics For Transport and the 1st International Workshop on Approaches for Making Data Interoperable co-located with 15th Semantics Conference (SEMANTiCS 2019), Karlsruhe, Germany, September 9, 2019.	SEM4TRA-AMAR@SEMANTiCS	2019	DBLP BibTeX RDF
34	André Langer, Ellen Bilz, Martin Gaedke	Analysis of Current RDM Applications for the Interdisciplinary Publication of Research Data.	SEM4TRA-AMAR@SEMANTiCS	2019	DBLP BibTeX RDF
34	Harm Delva, Julián Andrés Rojas Meléndez, Pieter Colpaert, Ruben Verborgh	Decentralized Publication and Consumption of Transfer Footpaths.	SEM4TRA-AMAR@SEMANTiCS	2019	DBLP BibTeX RDF
34	Marjan Hosseini, Safia Kalwar, Matteo G. Rossi, Mersedeh Sadeghi	Automated Mapping for Semantic-based Conversion of Transportation Data Formats.	SEM4TRA-AMAR@SEMANTiCS	2019	DBLP BibTeX RDF
34	Brecht Van de Vyvere, Karel D'haene, Kurt D'haene, Pieter Colpaert, Ruben Verborgh	Predicting Phase Durations of Traffic Lights Using Live Open Traffic Lights Data.	SEM4TRA-AMAR@SEMANTiCS	2019	DBLP BibTeX RDF
34	Ademar Crotti Junior, Jeremy Debattista, Declan O'Sullivan	Assessing the Quality of R2RML Mappings.	SEM4TRA-AMAR@SEMANTiCS	2019	DBLP BibTeX RDF
34	Marco Comerio, Alessio Carenini, Mario Scrocca, Irene Celino	Turn Transportation Data into EU Compliance through Semantic Web-based Solutions.	SEM4TRA-AMAR@SEMANTiCS	2019	DBLP BibTeX RDF
34	Olaf Hartig	Foundations to Query Labeled Property Graphs using SPARQL.	SEM4TRA-AMAR@SEMANTiCS	2019	DBLP BibTeX RDF
34	David Chaves-Fraga, Adolfo Antón, Jhon Toledo, Óscar Corcho	ONETT: Systematic Knowledge Graph Generation for National Access Points.	SEM4TRA-AMAR@SEMANTiCS	2019	DBLP BibTeX RDF
34	Seiki Akama	Three-Valued Constructive Logic and Logic Programs.	ISMVL	1995	DBLP DOI BibTeX RDF	three-valued constructive logic, three valued constructive logic, strong negation 3N, N completion, intuitive semantics, N completion semantics, computational complexity, semantics, logic programming, logic programs, ternary logic, model theory, strong negation, negation as failure
33	Guizhen Yang, Michael Kifer	Reasoning about Anonymous Resources and Meta Statements on the Semantic Web.	J. Data Semantics	2003	DBLP DOI BibTeX RDF
33	Ruy J. G. B. de Queiroz	On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics.	Stud Logica	2008	DBLP DOI BibTeX RDF	reduction rules, proof-terms, proof-theoretic semantics, game-theoretic semantics, dialogue semantics, natural deduction
32	Zhihu Zhang, Zuoquan Lin, Shuang Ren	Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach.	ISMIS	2009	DBLP DOI BibTeX RDF	Quasi-classical logic, paraconsistent semantics, fixpoint semantics, disjunctive logic program
32	Ekaterina Komendantskaya, John Power	Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness.	JELIA	2008	DBLP DOI BibTeX RDF	Many-valued logic programs, categorical logic, fibrational semantics, ground semantics, SLD-resolution
32	James Farrugia	Model-theoretic semantics for the web.	WWW	2003	DBLP DOI BibTeX RDF	web markup languages, semantics, model-theoretic semantics
32	Luis Carlos de Sousa Menezes, Geber L. Ramalho, Hermano Perrelli de Moura	Modular definition of agent-oriented languages using action semantics.	AAMAS	2002	DBLP DOI BibTeX RDF	agent programming languages and environments, formal methods, programming languages, formal semantics, action semantics
32	Kevin Lano	A compositional semantics of UML-RSDS.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	UML semantics, UML-RSDS, Model transformations
32	Daniel von Dincklage, Amer Diwan	Optimizing programs with intended semantics.	OOPSLA	2009	DBLP DOI BibTeX RDF	intended semantics, optimization
32	Christian Soltenborn, Gregor Engels	Towards Test-Driven Semantics Specification.	MoDELS	2009	DBLP DOI BibTeX RDF	Semantics specification, model checking, testing
32	Olivier Tardieu	A deterministic logical semantics for pure Esterel.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Synchronous languages, structural operational semantics
32	Hans Svensson, Lars-Åke Fredlund	A more accurate semantics for distributed Erlang.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	distributed systems, model checking, verification, semantics, erlang
32	José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite	The Refined Extension Principle for Semantics of Dynamic Logic Programming.	Stud Logica	2005	DBLP DOI BibTeX RDF	Dynamic Logic Programming, Logic Programming, Updates, Answer-set Programming, Non-monotonic Reasoning, Belief Change, Stable Model Semantics
32	Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day	Template Semantics for Model-Based Notations.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Model-based specification notations, automated generation of analysis tools, semantics, concurrency, composition
32	Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm	A Semantics for Distributed Execution of Statemate.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Distributed systems, Semantics, Statemate
32	Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day	Composable semantics for model-based notations.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	model-based notations, communication, concurrency, composition, operational semantics, formal analysis