|
|
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 |
22 | Norihiro Ogata |
A Revision System of Circular Objects and Its Applications to Dynamic Semantics of Dialogues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, Third International Conference, LACL'98, Grenoble, France, December 14-16, 1998, Selected Papers, pp. 219-229, 1998, Springer, 3-540-42251-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Gösta Grahne, Nicolas Spyratos, Daniel Stamate |
Semantics and Containment with Internal and External Conjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT '97, 6th International Conference, Delphi, Greece, January 8-10, 1997, Proceedings, pp. 71-82, 1997, Springer, 3-540-62222-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Nadia Busi, G. Michele Pinna |
Non Sequential Semantics for Contextual P/T Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 113-132, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Salvatore Ruggieri |
Decidability of Logic Program Semantics and Applications to Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings, pp. 347-362, 1996, Springer, 3-540-61756-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Carlo Zaniolo |
Active Database Rules with Transaction-Conscious Stable-Model Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings, pp. 55-72, 1995, Springer, 3-540-60608-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Cristian Papp |
A Bottom-Up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings, pp. 230-244, 1994, Springer, 3-540-58216-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Colin O'Halloran |
Evaluation Semantics in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, pp. 502-518, 1994, Springer, 3-540-58555-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Chitta Baral |
Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, pp. 309-319, 1992, Springer, 3-540-55727-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Kyung-Goo Doh, David A. Schmidt |
Extraction of Strong Typing Laws from Action Semantics Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 151-166, 1992, Springer, 3-540-55253-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | François Denis, Jean-Paul Delahaye |
Unfolding, Procedural and Fixpoint Semantics of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings, pp. 511-522, 1991, Springer, 3-540-53709-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Jean-Marie Jacquet, Luís Monteiro |
Extended Horn Clauses: The Framework and Some Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 281-297, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Ryszard Janicki, Maciej Koutny |
Invariant Semantics of Nets with Inhibitor Arcs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 317-331, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Maurizio Gabbrielli, Giorgio Levi |
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings, pp. 204-216, 1990, Springer, 3-540-53162-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Andrea Corradini 0001, Ugo Montanari |
Towards a Process Semantics in the Logic Programming Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 90, 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, Proceedings, pp. 95-108, 1990, Springer, 3-540-52282-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | João Falcão e Cunha |
Compositionality and Omniscience in Situation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAIA ![In: Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings, pp. 206-224, 1990, Springer, 3-540-53678-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Haim Gaifman, Ehud Shapiro |
Fully Abstract Compositional Semantics for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989, pp. 134-142, 1989, ACM Press, 0-89791-294-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | Fangqing Dong, Hiroshi Nakagawa |
Semantics of Non-montonic Reasoning based on Perfect Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 38-53, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Christian Timmerer, Maria Teresa Andrade, Pedro Carvalho, Davide Rogai, Giovanni Cordara |
The semantics of MPEG-21 digital items revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MS ![In: Proceedings of the 2nd ACM Workshop on Multimedia Semantics, MS 2008, Vancouver, British Columbia, Canada, October 31, 2008, pp. 17-23, 2008, ACM, 978-1-60558-316-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
digital items, evaluation, semantics, metadata, mpeg-21 |
21 | Neeharika Adabala |
Towards Semantics for Map Styles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoS ![In: GeoSpatial Semantics, Second International Conference, GeoS 2007, Mexico City, Mexico, November 29-30, 2007, Proceedings, pp. 256-267, 2007, Springer, 978-3-540-76875-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Robert A. Barta |
Towards a Formal TMQL Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TMRA ![In: Leveraging the Semantics of Topic Maps, Second International Conference on Topic Maps Research and Applications, TMRA 2006, Leipzig, Germany, October 11-12, 2006, Revised Selected Papers, pp. 90-106, 2006, Springer, 978-3-540-71944-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Raphaël Troncy, Werner Bailer, Michael Hausenblas, Philip Hofmair, Rudolf Schlatte |
Enabling Multimedia Metadata Interoperability by Defining Formal Semantics of MPEG-7 Profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMT ![In: Semantic Multimedia, First International Conference on Semantics and Digital Media Technologies, SAMT 2006, Athens, Greece, December 6-8, 2006, Proceedings, pp. 41-55, 2006, Springer, 3-540-49335-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Marius Bozga, Radu Iosif, Yassine Lakhnech |
Storeless semantics and alias logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003, pp. 55-65, 2003, ACM, 1-58113-667-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
heap models, weakest precondition, total correctness |
21 | Huibiao Zhu, Jonathan P. Bowen, Jifeng He 0001 |
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 600-612, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Huibiao Zhu, Jonathan P. Bowen, Jifeng He 0001 |
From Operational Semantics to Denotational Semantics for Verilog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, pp. 449-466, 2001, Springer, 3-540-42541-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Christel Baier, Mila E. Majster-Cederbaum |
Metric Semantics from Partial Order Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 34(9), pp. 701-735, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Eike Best, Hans-Günther Linde-Göers |
Compositional Process Semantics of Petri Boxes. ![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. 250-270, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
21 | György E. Révész |
Rule-Based Semantics for an Extended Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings, pp. 43-56, 1987, Springer, 3-540-19020-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Martín Abadi, Gordon D. Plotkin |
A model of cooperative threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 29-40, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
transaction, operational semantics, monad, denotational semantics |
21 | Emmanuel Beffara |
An Algebraic Process Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 130-141, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
testing semantics, pi-calculus, full abstraction, trace semantics, normalisation |
21 | Fairouz Tchier |
Demonic I/O of Compound Diagrams Monotype/Residual Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2003, 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings, pp. 171-178, 2003, Springer, 3-540-20409-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Relational diagrams, compound diagrams, demonic semantics, monotypes, operational semantics, residuals |
21 | Makoto Hamana |
Term rewriting with variable binding: an initial algebra approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 148-159, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
abstract syntax with variable binding, monadic semantics of term rewriting systems, term rewriting systems, higher-order abstract syntax, initial algebra semantics |
21 | WoonKiong Tan |
A semantic model of a small typed functional language using Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 249-257, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
typed functional language, Object-Z notation, object-oriented procedural languages, programming languages, specification languages, specification languages, object-oriented languages, abstract data types, object-oriented methods, functional languages, denotational semantics, semantic model, programming language semantics, meta-language |
21 | Jörg Fischer 0002, Stefan Conrad 0001 |
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings, pp. 45-60, 2000, Springer, 3-540-41196-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
hardware and software design, relational semantics, formal semantics, dynamic logic, timing diagrams, integrated verification, causal dependencies |
21 | Shao-Juen Ho, Tei-Wei Kuo, Aloysius K. Mok |
Similarity-based load adjustment for real-time data-intensive applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 144-153, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
similarity-based load adjustment, real-time data-intensive applications, application semantics, semantics-based concurrency control, read events, write events, system workload, transaction skipping, performance, resource allocation, air traffic control, data consistency, simulation experiments, correctness criteria |
21 | Robert V. Rubin, James Walker II, Eric J. Golin |
Early Experience with the Visual Programmer's WorkBench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(10), pp. 1107-1121, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Visual Programmer's WorkBench, customization of environments, PetriFSA language, abstract structure, formal specification, data structures, specification, synthesis, programming environments, program verification, specification languages, visual programming, visual languages, dynamic semantics, static semantics, distributed programming environment, syntactic structure |
21 | Michael V. Mannino, Injun Choi, Don S. Batory |
The Object-Oriented Functional Data Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(11), pp. 1258-1272, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics |
21 | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi |
A framework for abstract interpretation of timed concurrent constraint programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 207-218, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi |
21 | Karl Krukow, Mogens Nielsen |
Trust structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 6(2-3), pp. 153-181, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Trust structures, Denotational and operational semantics, Trust management, I/O automata, Foundations |
21 | Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander |
Constructing language processors with algebra combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings, pp. 155-164, 2007, ACM, 978-1-59593-855-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
modular monadic semantics, meta-programming |
21 | Jamie Payton, Christine Julien 0001, Gruia-Catalin Roman |
Automatic consistency assessment for query results in dynamic environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 245-254, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
query semantics, mobile computing |
21 | Edward A. Lee, Haiyang Zheng |
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria, pp. 114-123, 2007, ACM, 978-1-59593-825-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
simulation, composition, hybrid systems, operational semantics, model-based design, synchronous languages, discrete events |
21 | Guram Bezhanishvili, Leo Esakia, David Gabelaia |
Some Results on Modal Axiomatization and Definability for Topological Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 81(3), pp. 325-355, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
topological semantics, submaximal spaces, Modal logic |
21 | Yasser Kotb, Katsuhiko Gondow, Takuya Katayama |
Optimizing the Execution Time for Checking the Consistency of XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 22(3), pp. 257-279, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
copy rules, semantics checking, attribute grammars, XML technologies |
21 | Marc-Philippe Huget, Michael J. Wooldridge |
Model checking for ACL compliance verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 1016-1017, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
model checking, verification, agents, semantics, agent communication language |
21 | Graeme Smith 0001, Florian Kammüller, Thomas Santen |
Encoding Object-Z in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 82-99, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
reference semantics, Object-Z, higher-order logic, Isabelle |
21 | Werner Kuhn |
An Algebraic Interpretation of Semantic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings, pp. 331-347, 1999, Springer, 3-540-66365-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Semantics of spatial information, interoperability, visual languages, semantic networks, functional languages, algebraic modeling |
21 | Peter Triantafillou, Carl Neilson |
Achieving Strong Consistency in a Distributed File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(1), pp. 35-55, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
consistency semantics, concurrency, caching, replication, Availability, recovery, distributed file systems |
21 | Alena Griffiths |
'self'-Conscious Objects in Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (25) ![In: TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 24-28 November 1997, Melbourne, Australia, pp. 210-224, 1997, IEEE Computer Society, 0-8186-8485-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
object-oriented formal specification, semantics, Object-Z, self |
20 | Olivier Danvy, Jacob Johannsen |
Inter-deriving Semantic Artifacts for Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings, pp. 1-16, 2008, Springer, 978-3-540-69936-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Foto N. Afrati, Phokion G. Kolaitis |
Answering aggregate queries in data exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada, pp. 129-138, 2008, ACM, 978-1-60558-108-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
data integration, data exchange, aggregate queries |
20 | Edward Hung, Lise Getoor, V. S. Subrahmanian |
Probabilistic interval XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(4), pp. 24, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Semistructured Databases, XML |
20 | Paul-André Melliès |
Asynchronous Games 2: The True Concurrency of Innocence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, pp. 448-465, 2004, Springer, 3-540-22940-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Joël Ouaknine, James Worrell 0001 |
Revisiting Digitization, Robustness, and Decidability for Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings, pp. 198-207, 2003, IEEE Computer Society, 0-7695-1884-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Edward Hung, Lise Getoor, V. S. Subrahmanian |
Probabilistic Interval XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings, pp. 358-374, 2003, Springer, 3-540-00323-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
20 | Phan Minh Dung, Paolo Mancarella, Francesca Toni |
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic: Logic Programming and Beyond ![In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pp. 289-310, 2002, Springer, 3-540-43960-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Beat Wüthrich |
Towards Probabilistic Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, pp. 66-77, 1992, Springer, 3-540-55727-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Jennifer D'Souza 0001, Anisa Rula, David Chaves-Fraga, Mersedeh Sadeghi, Shahrom Hosseini Sohi, Julián Andrés Rojas, Pieter Colpaert, Edlira Vakaj, Sanju Tiwari, Sahar Vahdati, Anna Lisa Gentile (eds.) |
Joint Workshop Proceedings of the 5th International Workshop on A Semantic Data Space For Transport (Sem4Tra) and 2nd NLP4KGC: Natural Language Processing for Knowledge Graph Construction co-located with the 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzig, Germany and Online, 20 September, 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTICS Workshops ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Maribel Acosta, Silvio Peroni, Sahar Vahdati, Anna Lisa Gentile, Tassilo Pellegrini, Jan-Christoph Kalo (eds.) |
Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![IOS Press, 978-1-64368-424-6 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Neha Keshan, Sebastian Neumaier, Anna Lisa Gentile, Sahar Vahdati (eds.) |
Proceedings of the Posters and Demo Track of the 19th International Conference on Semantic Systems co-located with 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzing, Germany, September 20 to 22, 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters & Demos) ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Shams Ghazy, Jing-Ying Wong, Yu Hoe Tang, Pieter Colpaert |
Mobility Profiles: A Taxonomy for the Standardisation of Mobility Data Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTICS Workshops ![In: Joint Workshop Proceedings of the 5th International Workshop on A Semantic Data Space For Transport (Sem4Tra) and 2nd NLP4KGC: Natural Language Processing for Knowledge Graph Construction co-located with the 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzig, Germany and Online, 20 September, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Thom van Gessel, Cornelis Bouter, Wout Hofman |
An Interaction Pattern Ontology for Data Sharing about Logistics Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTICS Workshops ![In: Joint Workshop Proceedings of the 5th International Workshop on A Semantic Data Space For Transport (Sem4Tra) and 2nd NLP4KGC: Natural Language Processing for Knowledge Graph Construction co-located with the 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzig, Germany and Online, 20 September, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Andrija Poleksic, Sanda Martincic-Ipsic |
Effects of Pretraining Corpora on Scientific Relation Extraction using BERT and SciBERT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTICS Workshops ![In: Joint Workshop Proceedings of the 5th International Workshop on A Semantic Data Space For Transport (Sem4Tra) and 2nd NLP4KGC: Natural Language Processing for Knowledge Graph Construction co-located with the 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzig, Germany and Online, 20 September, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Freya Thießen, Jennifer D'Souza 0001, Markus Stocker |
Probing Large Language Models for Scientific Synonyms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTICS Workshops ![In: Joint Workshop Proceedings of the 5th International Workshop on A Semantic Data Space For Transport (Sem4Tra) and 2nd NLP4KGC: Natural Language Processing for Knowledge Graph Construction co-located with the 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzig, Germany and Online, 20 September, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Kanchan Shivashankar, Nadine Steinmetz |
Challenges of Entity Linking in KGQA datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTICS Workshops ![In: Joint Workshop Proceedings of the 5th International Workshop on A Semantic Data Space For Transport (Sem4Tra) and 2nd NLP4KGC: Natural Language Processing for Knowledge Graph Construction co-located with the 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzig, Germany and Online, 20 September, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Tobias Dam, Andreas Krimbacher, Sebastian Neumaier |
Policy Patterns for Usage Control in Data Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTICS Workshops ![In: Joint Workshop Proceedings of the 5th International Workshop on A Semantic Data Space For Transport (Sem4Tra) and 2nd NLP4KGC: Natural Language Processing for Knowledge Graph Construction co-located with the 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzig, Germany and Online, 20 September, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Adrian M. P. Brasoveanu, Lyndon J. B. Nixon, Albert Weichselbraun, Arno Scharl |
Framing Few-Shot Knowledge Graph Completion with Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTICS Workshops ![In: Joint Workshop Proceedings of the 5th International Workshop on A Semantic Data Space For Transport (Sem4Tra) and 2nd NLP4KGC: Natural Language Processing for Knowledge Graph Construction co-located with the 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzig, Germany and Online, 20 September, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Mandeep Singh, Edlira Vakaj, Stamatia Rizou, Wenyan Wu 0002 |
Towards aligning IoT data with domain-specific ontologies through Semantic Web technologies and NLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTICS Workshops ![In: Joint Workshop Proceedings of the 5th International Workshop on A Semantic Data Space For Transport (Sem4Tra) and 2nd NLP4KGC: Natural Language Processing for Knowledge Graph Construction co-located with the 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzig, Germany and Online, 20 September, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Vladyslav Nechakhin, Jennifer D'Souza 0001 |
Similar Papers Recommendation for Research Comparisons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTICS Workshops ![In: Joint Workshop Proceedings of the 5th International Workshop on A Semantic Data Space For Transport (Sem4Tra) and 2nd NLP4KGC: Natural Language Processing for Knowledge Graph Construction co-located with the 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzig, Germany and Online, 20 September, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Sarah Binta Alam Shoilee, Victor de Boer, Jacco van Ossenbruggen |
Polyvocal Knowledge Modelling for Ethnographic Heritage Object Provenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 127-143, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Paula Reyero Lobo, Enrico Daga, Harith Alani, Miriam Fernández |
Knowledge-Grounded Target Group Language Recognition in Hate Speech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 1-18, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Julia Becker, Mario Botsch, Philipp Cimiano, Melanie Derksen, Mohammad Fazleh Elahi, Angelika Maier, Marius Maile, Ingo Oliver Pätzold, Jonas Penningroth, Bettina Reglin, Markus Rothgänger, Silke Schwandt |
Virtual Reality Based Access to Knowledge Graphs for History Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 144-160, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Philip Strömert, Vatsal Limbachia, Pooya Oladazimi, Johannes Hunold, Oliver Koepler |
Towards a Versatile Terminology Service for Empowering FAIR Research Data: Enabling Ontology Discovery, Design, Curation, and Utilization Across Scientific Communities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 53-69, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Abdullah Fathi Ahmed, Mohamed Ahmed Sherif, Axel-Cyrille Ngonga Ngomo |
COBALT: A Content-Based Similarity Approach for Link Discovery over Geospatial Knowledge Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 177-193, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Nikolaos Karalis, Alexander Bigerl, Axel-Cyrille Ngonga Ngomo |
Native Execution of GraphQL Queries over RDF Graphs Using Multi-Way Joins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 77-93, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jeroen Breteler, Thom van Gessel, Giulia Biagioni, Robert van Doesburg |
The FLINT Ontology: An Actor-Based Model of Legal Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 227-234, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Oleksandra Bruns, Tabea Tietz, Sandra Göller, Harald Sack |
TRANSRAZ Data Model: Towards a Geosocial Representation of Historical Cities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 161-176, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Manoé Kieffer, Ginwa Fakih, Patricia Serrano-Alvarado |
Evaluating Reification with Multi-Valued Properties in a Knowledge Graph of Licensed Educational Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 94-109, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Raphaël Conde Salazar, Clément Jonquet, Danai Symeonidou |
Classification of Linking Problem Types for Linking Semantic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 194-209, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Darya Martyniuk, Naouel Karam, Michael Falkenthal, Yufan Dong, Adrian Paschke |
Semantifying the PlanQK Platform and Ecosystem for Quantum Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 235-242, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Hamada M. Zahera, Fedor Vitiugin, Mohamed Ahmed Sherif, Carlos Castillo 0001, Axel-Cyrille Ngonga Ngomo |
Using Pre-Trained Language Models for Abstractive DBPEDIA Summarization: A Comparative Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 19-37, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | J. Nathanael Philipp, Max Kölbl, Yuki Kyogoku, Michael Richter 0004 |
Perplexed by Idioms? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 70-76, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Javier Soruco, Diego Collarana, Andreas Both 0001, Ricardo Usbeck |
QALD-9-ES: A Spanish Dataset for Question Answering Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 38-52, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Leon Martin |
BiPaSs: Further Investigation of Fast Pathfinding in Wikidata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Knowledge Graphs: Semantics, Machine Learning, and Languages - Proceedings of the 19th International Conference on Semantic Systems, 20-22 September 2023, Leipzig, Germany, pp. 110-126, 2023, IOS Press, 978-1-64368-424-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters & Demos) ![In: Proceedings of the Posters and Demo Track of the 19th International Conference on Semantic Systems co-located with 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzing, Germany, September 20 to 22, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Thorsten Liebig, Michael Opitz, Vincent Vialard, Maximilian Wenzel |
Scalable No-Code Knowledge Graph Exploration and Querying with SemSpect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters & Demos) ![In: Proceedings of the Posters and Demo Track of the 19th International Conference on Semantic Systems co-located with 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzing, Germany, September 20 to 22, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Lars-Peter Meyer, Johannes Frey, Kurt Junghanns, Felix Brei, Kirill Bulert, Sabine Gründer-Fahrer, Michael Martin 0001 |
Developing a Scalable Benchmark for Assessing Large Language Models in Knowledge Graph Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters & Demos) ![In: Proceedings of the Posters and Demo Track of the 19th International Conference on Semantic Systems co-located with 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzing, Germany, September 20 to 22, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Liubov Kovriguina, Roman Teucher, Daniil Radyush, Dmitry Mouromtsev |
SPARQLGEN: One-Shot Prompt-based Approach for SPARQL Query Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters & Demos) ![In: Proceedings of the Posters and Demo Track of the 19th International Conference on Semantic Systems co-located with 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzing, Germany, September 20 to 22, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Achim Reiz, Robert Schlücker, Kurt Sandkuhl |
OntoAnon: An Anonymizer For Sharing Ontology Structure Without Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters & Demos) ![In: Proceedings of the Posters and Demo Track of the 19th International Conference on Semantic Systems co-located with 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzing, Germany, September 20 to 22, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Eugeniu Costetchi, Alexandros Vassiliades, Csongor I. Nyulas |
A Mapping Lifecycle for Public Procurement Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters & Demos) ![In: Proceedings of the Posters and Demo Track of the 19th International Conference on Semantic Systems co-located with 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzing, Germany, September 20 to 22, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Thom van Gessel, Giulia Biagioni, Jeroen Breteler, Ioannis Tolios, Erik Boertjes |
A Toolset for Normative Interpretations in FLINT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters & Demos) ![In: Proceedings of the Posters and Demo Track of the 19th International Conference on Semantic Systems co-located with 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzing, Germany, September 20 to 22, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Nikolay T. Garabedian, Ilia Bagov, Malte Flachmann, Nuoyao Ye, Milosz Meller, Floriane Bresser, Christian Greiner |
A Framework Generate, Store, and Publish FAIR Data in Experimental Sciences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters & Demos) ![In: Proceedings of the Posters and Demo Track of the 19th International Conference on Semantic Systems co-located with 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzing, Germany, September 20 to 22, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Ana Iglesias-Molina, Daniel Garijo |
Towards Assessing FAIR Research Software Best Practices in an Organization Using RDF-star. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters & Demos) ![In: Proceedings of the Posters and Demo Track of the 19th International Conference on Semantic Systems co-located with 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzing, Germany, September 20 to 22, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Yashrajsinh Chudasama, Disha Purohit, Philipp D. Rohde, Maria-Esther Vidal |
Enhancing Interpretability of Machine Learning Models over Knowledge Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters & Demos) ![In: Proceedings of the Posters and Demo Track of the 19th International Conference on Semantic Systems co-located with 19th International Conference on Semantic Systems (SEMANTiCS 2023), Leipzing, Germany, September 20 to 22, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Anastasia Dimou, Sebastian Neumaier, Tassilo Pellegrini, Sahar Vahdati (eds.) |
Towards a Knowledge-Aware AI - SEMANTiCS 2022 - Proceedings of the 18th International Conference on Semantic Systems, 13-15 September 2022, Vienna, Austria ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![IOS Press, 978-1-64368-320-1 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Umutcan Simsek, David Chaves-Fraga, Tassilo Pellegrini, Sahar Vahdat (eds.) |
Proceedings of Poster and Demo Track and Workshop Track of the 18th International Conference on Semantic Systems co-located with 18th International Conference on Semantic Systems (SEMANTiCS 2022), Vienna, Austria, September 13th to 15th, 2022. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters & Demos) ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Mario Scrocca, Marco Comerio, Alessio Carenini, Irene Celino |
Modelling Business Agreements in the Multimodal Transportation Domain Through Ontological Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Towards a Knowledge-Aware AI - SEMANTiCS 2022 - Proceedings of the 18th International Conference on Semantic Systems, 13-15 September 2022, Vienna, Austria, pp. 137-151, 2022, IOS Press, 978-1-64368-320-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Aldo Gangemi, Anna Sofia Lippolis, Giorgia Lodi, Andrea Giovanni Nuzzolese |
Automatically Drafting Ontologies from Competency Questions with FrODO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Towards a Knowledge-Aware AI - SEMANTiCS 2022 - Proceedings of the 18th International Conference on Semantic Systems, 13-15 September 2022, Vienna, Austria, pp. 107-121, 2022, IOS Press, 978-1-64368-320-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Adrian Vogel-Fernandez, Pablo Calleja, Mariano Rico |
esT5s: A Spanish Model for Text Summarization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Towards a Knowledge-Aware AI - SEMANTiCS 2022 - Proceedings of the 18th International Conference on Semantic Systems, 13-15 September 2022, Vienna, Austria, pp. 184-190, 2022, IOS Press, 978-1-64368-320-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Maximilian Goisser, Daniel Fiebig, Sebastian Wohlrapp, Georg Rehm |
Plow: A Novel Approach to Interlinking Modular Ontologies Based on Software Package Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Towards a Knowledge-Aware AI - SEMANTiCS 2022 - Proceedings of the 18th International Conference on Semantic Systems, 13-15 September 2022, Vienna, Austria, pp. 122-136, 2022, IOS Press, 978-1-64368-320-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Helena Medková, Ales Horák |
Distinguishing the Types of Coordinated Verbs with a Shared Argument by Means of New ZeugBERT Language Model and ZeugmaDataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Towards a Knowledge-Aware AI - SEMANTiCS 2022 - Proceedings of the 18th International Conference on Semantic Systems, 13-15 September 2022, Vienna, Austria, pp. 206-218, 2022, IOS Press, 978-1-64368-320-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
|
|