Search results for "semantics"

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.	LACL	1998	DBLP DOI BibTeX RDF
22	Gösta Grahne, Nicolas Spyratos, Daniel Stamate	Semantics and Containment with Internal and External Conjunctions.	ICDT	1997	DBLP DOI BibTeX RDF
22	Nadia Busi, G. Michele Pinna	Non Sequential Semantics for Contextual P/T Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
22	Salvatore Ruggieri	Decidability of Logic Program Semantics and Applications to Testing.	PLILP	1996	DBLP DOI BibTeX RDF
22	Carlo Zaniolo	Active Database Rules with Transaction-Conscious Stable-Model Semantics.	DOOD	1995	DBLP DOI BibTeX RDF
22	Cristian Papp	A Bottom-Up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs.	LPAR	1994	DBLP DOI BibTeX RDF
22	Colin O'Halloran	Evaluation Semantics in Z.	FME	1994	DBLP DOI BibTeX RDF
22	Chitta Baral	Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs.	LPAR	1992	DBLP DOI BibTeX RDF
22	Kyung-Goo Doh, David A. Schmidt	Extraction of Strong Typing Laws from Action Semantics Definitions.	ESOP	1992	DBLP DOI BibTeX RDF
22	François Denis, Jean-Paul Delahaye	Unfolding, Procedural and Fixpoint Semantics of Logic Programs.	STACS	1991	DBLP DOI BibTeX RDF
22	Jean-Marie Jacquet, Luís Monteiro	Extended Horn Clauses: The Framework and Some Semantics.	CONCUR	1991	DBLP DOI BibTeX RDF
22	Ryszard Janicki, Maciej Koutny	Invariant Semantics of Nets with Inhibitor Arcs.	CONCUR	1991	DBLP DOI BibTeX RDF
22	Maurizio Gabbrielli, Giorgio Levi	Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.	ALP	1990	DBLP DOI BibTeX RDF
22	Andrea Corradini 0001, Ugo Montanari	Towards a Process Semantics in the Logic Programming Style.	STACS	1990	DBLP DOI BibTeX RDF
22	João Falcão e Cunha	Compositionality and Omniscience in Situation Semantics.	EAIA	1990	DBLP DOI BibTeX RDF
22	Haim Gaifman, Ehud Shapiro	Fully Abstract Compositional Semantics for Logic Programs.	POPL	1989	DBLP DOI BibTeX RDF
22	Fangqing Dong, Hiroshi Nakagawa	Semantics of Non-montonic Reasoning based on Perfect Model.	LP	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.	MS	2008	DBLP DOI BibTeX RDF	digital items, evaluation, semantics, metadata, mpeg-21
21	Neeharika Adabala	Towards Semantics for Map Styles.	GeoS	2007	DBLP DOI BibTeX RDF
21	Robert A. Barta	Towards a Formal TMQL Semantics.	TMRA	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.	SAMT	2006	DBLP DOI BibTeX RDF
21	Marius Bozga, Radu Iosif, Yassine Lakhnech	Storeless semantics and alias logic.	PEPM	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.	ICFEM	2002	DBLP DOI BibTeX RDF
21	Huibiao Zhu, Jonathan P. Bowen, Jifeng He 0001	From Operational Semantics to Denotational Semantics for Verilog.	CHARME	2001	DBLP DOI BibTeX RDF
21	Christel Baier, Mila E. Majster-Cederbaum	Metric Semantics from Partial Order Semantics.	Acta Informatica	1997	DBLP DOI BibTeX RDF
21	Eike Best, Hans-Günther Linde-Göers	Compositional Process Semantics of Petri Boxes.	MFPS	1993	DBLP DOI BibTeX RDF
21	György E. Révész	Rule-Based Semantics for an Extended Lambda-Calculus.	MFPS	1987	DBLP DOI BibTeX RDF
21	Martín Abadi, Gordon D. Plotkin	A model of cooperative threads.	POPL	2009	DBLP DOI BibTeX RDF	transaction, operational semantics, monad, denotational semantics
21	Emmanuel Beffara	An Algebraic Process Calculus.	LICS	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.	ISCIS	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.	PPDP	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.	APSEC	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.	IFM	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.	RTSS	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.	IEEE Trans. Software Eng.	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.	IEEE Trans. Software Eng.	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.	PPDP	2009	DBLP DOI BibTeX RDF	timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
21	Karl Krukow, Mogens Nielsen	Trust structures.	Int. J. Inf. Sec.	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.	GPCE	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.	ESEC/SIGSOFT FSE	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.	EMSOFT	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.	Stud Logica	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.	J. Intell. Inf. Syst.	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.	AAMAS	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.	ZB	2002	DBLP DOI BibTeX RDF	reference semantics, Object-Z, higher-order logic, Isabelle
21	Werner Kuhn	An Algebraic Interpretation of Semantic Networks.	COSIT	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.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	consistency semantics, concurrency, caching, replication, Availability, recovery, distributed file systems
21	Alena Griffiths	'self'-Conscious Objects in Object-Z.	TOOLS (25)	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.	WoLLIC	2008	DBLP DOI BibTeX RDF
20	Foto N. Afrati, Phokion G. Kolaitis	Answering aggregate queries in data exchange.	PODS	2008	DBLP DOI BibTeX RDF	data integration, data exchange, aggregate queries
20	Edward Hung, Lise Getoor, V. S. Subrahmanian	Probabilistic interval XML.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Semistructured Databases, XML
20	Paul-André Melliès	Asynchronous Games 2: The True Concurrency of Innocence.	CONCUR	2004	DBLP DOI BibTeX RDF
20	Joël Ouaknine, James Worrell 0001	Revisiting Digitization, Robustness, and Decidability for Timed Automata.	LICS	2003	DBLP DOI BibTeX RDF
20	Edward Hung, Lise Getoor, V. S. Subrahmanian	Probabilistic Interval XML.	ICDT	2003	DBLP BibTeX RDF
20	Phan Minh Dung, Paolo Mancarella, Francesca Toni	Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
20	Beat Wüthrich	Towards Probabilistic Knowledge Bases.	LPAR	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.	SEMANTICS Workshops	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	SEMANTiCS	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.	SEMANTiCS (Posters & Demos)	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.	SEMANTICS Workshops	2023	DBLP BibTeX RDF
20	Thom van Gessel, Cornelis Bouter, Wout Hofman	An Interaction Pattern Ontology for Data Sharing about Logistics Activities.	SEMANTICS Workshops	2023	DBLP BibTeX RDF
20	Andrija Poleksic, Sanda Martincic-Ipsic	Effects of Pretraining Corpora on Scientific Relation Extraction using BERT and SciBERT.	SEMANTICS Workshops	2023	DBLP BibTeX RDF
20	Freya Thießen, Jennifer D'Souza 0001, Markus Stocker	Probing Large Language Models for Scientific Synonyms.	SEMANTICS Workshops	2023	DBLP BibTeX RDF
20	Kanchan Shivashankar, Nadine Steinmetz	Challenges of Entity Linking in KGQA datasets.	SEMANTICS Workshops	2023	DBLP BibTeX RDF
20	Tobias Dam, Andreas Krimbacher, Sebastian Neumaier	Policy Patterns for Usage Control in Data Spaces.	SEMANTICS Workshops	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.	SEMANTICS Workshops	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.	SEMANTICS Workshops	2023	DBLP BibTeX RDF
20	Vladyslav Nechakhin, Jennifer D'Souza 0001	Similar Papers Recommendation for Research Comparisons.	SEMANTICS Workshops	2023	DBLP BibTeX RDF
20	Sarah Binta Alam Shoilee, Victor de Boer, Jacco van Ossenbruggen	Polyvocal Knowledge Modelling for Ethnographic Heritage Object Provenance.	SEMANTiCS	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.	SEMANTiCS	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.	SEMANTiCS	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.	SEMANTiCS	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.	SEMANTiCS	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.	SEMANTiCS	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.	SEMANTiCS	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.	SEMANTiCS	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.	SEMANTiCS	2023	DBLP DOI BibTeX RDF
20	Raphaël Conde Salazar, Clément Jonquet, Danai Symeonidou	Classification of Linking Problem Types for Linking Semantic Data.	SEMANTiCS	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.	SEMANTiCS	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.	SEMANTiCS	2023	DBLP DOI BibTeX RDF
20	J. Nathanael Philipp, Max Kölbl, Yuki Kyogoku, Michael Richter 0004	Perplexed by Idioms?	SEMANTiCS	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.	SEMANTiCS	2023	DBLP DOI BibTeX RDF
20	Leon Martin	BiPaSs: Further Investigation of Fast Pathfinding in Wikidata.	SEMANTiCS	2023	DBLP DOI BibTeX RDF
20		Preface.	SEMANTiCS (Posters & Demos)	2023	DBLP BibTeX RDF
20	Thorsten Liebig, Michael Opitz, Vincent Vialard, Maximilian Wenzel	Scalable No-Code Knowledge Graph Exploration and Querying with SemSpect.	SEMANTiCS (Posters & Demos)	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.	SEMANTiCS (Posters & Demos)	2023	DBLP BibTeX RDF
20	Liubov Kovriguina, Roman Teucher, Daniil Radyush, Dmitry Mouromtsev	SPARQLGEN: One-Shot Prompt-based Approach for SPARQL Query Generation.	SEMANTiCS (Posters & Demos)	2023	DBLP BibTeX RDF
20	Achim Reiz, Robert Schlücker, Kurt Sandkuhl	OntoAnon: An Anonymizer For Sharing Ontology Structure Without Data.	SEMANTiCS (Posters & Demos)	2023	DBLP BibTeX RDF
20	Eugeniu Costetchi, Alexandros Vassiliades, Csongor I. Nyulas	A Mapping Lifecycle for Public Procurement Data.	SEMANTiCS (Posters & Demos)	2023	DBLP BibTeX RDF
20	Thom van Gessel, Giulia Biagioni, Jeroen Breteler, Ioannis Tolios, Erik Boertjes	A Toolset for Normative Interpretations in FLINT.	SEMANTiCS (Posters & Demos)	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.	SEMANTiCS (Posters & Demos)	2023	DBLP BibTeX RDF
20	Ana Iglesias-Molina, Daniel Garijo	Towards Assessing FAIR Research Software Best Practices in an Organization Using RDF-star.	SEMANTiCS (Posters & Demos)	2023	DBLP BibTeX RDF
20	Yashrajsinh Chudasama, Disha Purohit, Philipp D. Rohde, Maria-Esther Vidal	Enhancing Interpretability of Machine Learning Models over Knowledge Graphs.	SEMANTiCS (Posters & Demos)	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	SEMANTiCS	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.	SEMANTiCS (Posters & Demos)	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.	SEMANTiCS	2022	DBLP DOI BibTeX RDF
20	Aldo Gangemi, Anna Sofia Lippolis, Giorgia Lodi, Andrea Giovanni Nuzzolese	Automatically Drafting Ontologies from Competency Questions with FrODO.	SEMANTiCS	2022	DBLP DOI BibTeX RDF
20	Adrian Vogel-Fernandez, Pablo Calleja, Mariano Rico	esT5s: A Spanish Model for Text Summarization.	SEMANTiCS	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.	SEMANTiCS	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.	SEMANTiCS	2022	DBLP DOI BibTeX RDF