|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18708 occurrences of 5441 keywords
|
|
|
Results
Found 36096 publication records. Showing 36096 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
70 | Ileana Ober |
More Meaningful UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 146-157, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 131-142, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 16(4), pp. 297-339, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics in Databases ![In: Semantics in Databases, Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers, pp. 1-6, 2001, Springer, 3-540-00957-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
50 | Shan-Li Hu, Chun-Yi Shi |
A Multi-subset Possible World Semantics for Intention Operator of Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings, pp. 484-489, 2006, Springer, 3-540-36707-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 21-49, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 162-185, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen |
From algebraic semantics to denotational semantics for Verilog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(4), pp. 341-360, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MS ![In: Proceedings of the 1st ACM Workshop on The Many Faces of Multimedia Semantics, MS 2007, Augsburg, Bavaria, Germany, September 28, 2007, pp. 3-12, 2007, ACM, 978-1-59593-782-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
semantics, events, multimedia authoring, ecosystem, multimedia semantics |
45 | Sara Cohen |
Equivalence of queries combining set and bag-set semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, USA, pp. 70-79, 2006, ACM, 1-59593-318-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, pp. 490-499, 1991, Springer, 3-540-54563-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings, pp. 59-100, 1985, Springer, 3-540-16816-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
43 | Raymond T. Boute |
Calculational semantics: Deriving programming theories from equations by functional predicate calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(4), pp. 747-793, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Progress in Artificial Intelligence - IBERAMIA 98, 6th Ibero-American Conference on AI, Lisbon, Portugal, October 5-9, 1998, Proceedings., pp. 230-241, 1998, Springer, 3-540-64992-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California, USA, pp. 91-104, 1992, ACM Press, 0-89791-519-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
42 | Christiano Braga |
A Constructive Semantics for Basic Aspect Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 106-120, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | David A. Watt |
Action Semantics in Retrospect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 4-20, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Yingzhou Zhang, Baowen Xu |
A survey of semantic description frameworks for programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 39(3), pp. 14-30, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Gold Cost, Australia, pp. 297-306, 2009, IEEE Computer Society, 978-0-7695-3599-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics VI: Special Issue on Emergent Semantics, pp. 1-27, 2006, Springer, 3-540-36712-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Jules Desharnais, Nazim H. Madhavji |
Relation Level Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings, pp. 304-328, 1988, Springer, 3-540-50517-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(4), pp. 299-318, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 628-659, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 305-319, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics II, pp. 58-84, 2005, Springer, 3-540-24208-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 16(4), pp. 487-503, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 227-249, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Werner Kuhn |
Geospatial Semantics: Why, of What, and How? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics III, pp. 1-24, 2005, Springer, 3-540-26225-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Sophia Drossopoulou, Susan Eisenbach |
Describing the Semantics of Java and Proving Type Soundness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Syntax and Semantics of Java ![In: Formal Syntax and Semantics of Java, pp. 41-82, 1999, Springer, 3-540-66158-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
40 | Prakash Panangaden, James R. Russell |
A Category-theoretic Semantics for Unbounded Indeterminacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings, pp. 319-332, 1989, Springer, 3-540-97375-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
40 | Naphtali Rishe |
On Denotational Semantics of Data Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings, pp. 249-274, 1985, Springer, 3-540-16816-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
39 | Michel Bidoit, Rolf Hennicker, Martin Wirsing |
Characterizing Behavioural Semantics and Abstractor Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 105-119, 1994, Springer, 3-540-57880-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics VI: Special Issue on Emergent Semantics, pp. 187-209, 2006, Springer, 3-540-36712-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Lei Zhang 0007, Xian Wu, Yong Yu 0001 |
Emergent Semantics from Folksonomies: A Quantitative Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics VI: Special Issue on Emergent Semantics, pp. 168-186, 2006, Springer, 3-540-36712-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Sara Cohen |
Equivalence of queries that are sensitive to multiplicities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 18(3), pp. 765-785, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, USA, pp. 80-89, 2006, ACM, 1-59593-318-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 15(6), pp. 3-6, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(2), pp. 295-327, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, pp. 235-252, 1997, Springer, 3-540-63139-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 21(4), pp. 526-571, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(4), pp. 399-422, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Munich, Germany, June 14-16, 2008, pp. 314-325, 2008, ACM, 978-1-59593-973-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, pp. 483-494, 2002, Springer, 3-540-44040-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics VII, pp. 1-32, 2006, Springer, 3-540-46329-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
ontologies, Semantics, mappings, semantic interoperability |
37 | Claudia Diamantini, Domenico Potena, Maurizio Panti |
KDD Support Services Based on Data Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics IV, pp. 280-303, 2005, Springer, 3-540-31001-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 315-328, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Sergio Greco |
Minimal Founded Semantics for Disjunctive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings, pp. 221-235, 1999, Springer, 3-540-66749-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | François Fages, Roberta Gori |
A Hierarchy of Semantics for Normal Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings, pp. 77-91, 1996, Springer, 3-540-61735-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
37 | André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante |
An Implementation of Object-Oriented Action Semantics in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 81-105, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Kyung-Goo Doh, David A. Schmidt |
An Action Semantics Based on Two Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 274-296, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Lawrence S. Moss, Satish R. Thatte |
Generalization of Final Algebra Semantics by Relativization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings, pp. 284-300, 1989, Springer, 3-540-97375-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
36 | Olivier Danvy, John Hatcliff |
On the Transformation between Direct and Continuation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 627-648, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
36 | Luc Steels, Peter Hanappe |
Interoperability Through Emergent Semantics A Semiotic Dynamics Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics VI: Special Issue on Emergent Semantics, pp. 143-167, 2006, Springer, 3-540-36712-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Zoran Majkic |
Intensional Semantics for P2P Data Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics VI: Special Issue on Emergent Semantics, pp. 47-66, 2006, Springer, 3-540-36712-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | David Lorge Parnas |
On Iterative Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 12(1), pp. 139-141, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
35 | Peter D. Mosses |
On the Action Semantics of Concurrent Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 398-424, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
action notation, semantics, concurrency, synchronization, distributed processing, asynchrony, action semantics |
35 | Bharat Jayaraman |
Semantics of EqL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(4), pp. 472-480, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2004: Advances in Artificial Intelligence, Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings, pp. 202-211, 2004, Springer, 3-540-21459-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings, pp. 29-40, 1998, Springer, 3-540-65003-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 186-206, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Guizhen Yang, Michael Kifer |
Inheritance in Rule-Based Frame Systems: Semantics and Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics VII, pp. 79-135, 2006, Springer, 3-540-46329-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing |
An Event-Based Structural Operational Semantics of Multi-Threaded Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Syntax and Semantics of Java ![In: Formal Syntax and Semantics of Java, pp. 157-200, 1999, Springer, 3-540-66158-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Geoff Barrett |
The Semantics of Priority and Fairness in occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings, pp. 194-208, 1989, Springer, 3-540-97375-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA, pp. 131-143, 2007, IEEE Computer Society, 0-7695-2862-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 603-626, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
34 | Jörg Unbehauen, Andreas Nareike, Johannes Schmidt 0003 |
Adding Semantics to Model Driven ApplicationDevelopment with CVtec and SparqlMap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters, Demos, SuCCESS) ![In: Joint Proceedings of the Posters and Demos Track of the 12th International Conference on Semantic Systems - SEMANTiCS2016 and the 1st International Workshop on Semantic Change & Evolving Semantics (SuCCESS'16) co-located with the 12th International Conference on Semantic Systems (SEMANTiCS 2016), Leipzig, Germany, September 12-15, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Mónica Posada-Sánchez, Stefan Bischof 0002, Axel Polleres |
Extracting Geo-Semantics About Cities From OpenStreetMap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters, Demos, SuCCESS) ![In: Joint Proceedings of the Posters and Demos Track of the 12th International Conference on Semantic Systems - SEMANTiCS2016 and the 1st International Workshop on Semantic Change & Evolving Semantics (SuCCESS'16) co-located with the 12th International Conference on Semantic Systems (SEMANTiCS 2016), Leipzig, Germany, September 12-15, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Stefan Kahrs, Donald Sannella, Andrzej Tarlecki |
The Semantics of Extended ML: A Gentle Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 186-215, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sem4Tra@SEMANTiCS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sem4Tra@SEMANTiCS ![In: Proceedings of the 3rd International Workshop Semantics And The Web For Transport co-located with Semantics Conference (SEMANTiCS 2021), Online, September 6, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sem4Tra@SEMANTiCS ![In: Proceedings of the 3rd International Workshop Semantics And The Web For Transport co-located with Semantics Conference (SEMANTiCS 2021), Online, September 6, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
34 | Mario Scrocca, Marco Comerio, Damiano Scandolari, Irene Celino |
Towards a More Informed Multimodal Travel Shopping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sem4Tra@SEMANTiCS ![In: Proceedings of the 3rd International Workshop Semantics And The Web For Transport co-located with Semantics Conference (SEMANTiCS 2021), Online, September 6, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sem4Tra@SEMANTiCS ![In: Proceedings of the 3rd International Workshop Semantics And The Web For Transport co-located with Semantics Conference (SEMANTiCS 2021), Online, September 6, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sem4Tra@SEMANTiCS ![In: Proceedings of the 3rd International Workshop Semantics And The Web For Transport co-located with Semantics Conference (SEMANTiCS 2021), Online, September 6, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
34 | Brecht Van de Vyvere, Tim Asperges, Pieter Colpaert, Ruben Verborgh |
Third-party Payment Specification for Mobility as a Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sem4Tra@SEMANTiCS ![In: Proceedings of the 3rd International Workshop Semantics And The Web For Transport co-located with Semantics Conference (SEMANTiCS 2021), Online, September 6, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEM4TRA-AMAR@SEMANTiCS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
34 | André Langer, Ellen Bilz, Martin Gaedke |
Analysis of Current RDM Applications for the Interdisciplinary Publication of Research Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEM4TRA-AMAR@SEMANTiCS ![In: 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., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEM4TRA-AMAR@SEMANTiCS ![In: 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., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
34 | Marjan Hosseini, Safia Kalwar, Matteo G. Rossi, Mersedeh Sadeghi |
Automated Mapping for Semantic-based Conversion of Transportation Data Formats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEM4TRA-AMAR@SEMANTiCS ![In: 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., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEM4TRA-AMAR@SEMANTiCS ![In: 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., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
34 | Ademar Crotti Junior, Jeremy Debattista, Declan O'Sullivan |
Assessing the Quality of R2RML Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEM4TRA-AMAR@SEMANTiCS ![In: 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., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
34 | Marco Comerio, Alessio Carenini, Mario Scrocca, Irene Celino |
Turn Transportation Data into EU Compliance through Semantic Web-based Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEM4TRA-AMAR@SEMANTiCS ![In: 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., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
34 | Olaf Hartig |
Foundations to Query Labeled Property Graphs using SPARQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEM4TRA-AMAR@SEMANTiCS ![In: 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., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
34 | David Chaves-Fraga, Adolfo Antón, Jhon Toledo, Óscar Corcho |
ONETT: Systematic Knowledge Graph Generation for National Access Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEM4TRA-AMAR@SEMANTiCS ![In: 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., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
34 | Seiki Akama |
Three-Valued Constructive Logic and Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 276-283, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics I, pp. 69-97, 2003, Springer, 3-540-20407-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Ruy J. G. B. de Queiroz |
On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 90(2), pp. 211-247, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings, pp. 181-190, 2009, Springer, 978-3-642-04124-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, pp. 258-271, 2008, Springer, 978-3-540-87802-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, Budapest, Hungary, May 20-24, 2003, pp. 29-38, 2003, ACM, 1-58113-680-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 948-949, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(1), pp. 85-116, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML semantics, UML-RSDS, Model transformations |
32 | Daniel von Dincklage, Amer Diwan |
Optimizing programs with intended semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 409-424, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
intended semantics, optimization |
32 | Christian Soltenborn, Gregor Engels |
Towards Test-Driven Semantics Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 378-392, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Semantics specification, model checking, testing |
32 | Olivier Tardieu |
A deterministic logical semantics for pure Esterel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(2), pp. 8, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Synchronous languages, structural operational semantics |
32 | Hans Svensson, Lars-Åke Fredlund |
A more accurate semantics for distributed Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, pp. 43-54, 2007, ACM, 978-1-59593-675-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 79(1), pp. 7-32, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(10), pp. 866-882, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(4), pp. 390-405, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002, pp. 149-158, 2002, ACM, 1-58113-514-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
model-based notations, communication, concurrency, composition, operational semantics, formal analysis |
Displaying result #1 - #100 of 36096 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|