English
Related papers

Related papers: Towards Ideal Semantics for Analyzing Stream Reaso…

200 papers

As a contribution to the challenge of building game-playing AI systems, we develop and analyse a formal language for representing and reasoning about strategies. Our logical language builds on the existing general Game Description Language…

Artificial Intelligence · Computer Science 2014-07-22 Dongmo Zhang , Michael Thielsher

The growing proliferation of distributed information systems, allows organizations to offer their business processes to a worldwide audience through Web services. Semantic Web services have emerged as a means to achieve the vision of…

Software Engineering · Computer Science 2012-10-12 Keyvan Mohebbi , Suhaimi Ibrahim , Norbik Bashah Idris

The amount of information produced, whether by newspapers, blogs and social networks, or by monitoring systems, is increasing rapidly. Processing all this data in real-time, while taking into consideration advanced knowledge about the…

Artificial Intelligence · Computer Science 2021-07-19 Ricardo Ferreira , Carolina Lopes , Ricardo Gonçalves , Matthias Knorr , Ludwig Krippahl , João Leite

Part of the theory of logic programming and nonmonotonic reasoning concerns the study of fixed-point semantics for these paradigms. Several different semantics have been proposed during the last two decades, and some have been more…

Artificial Intelligence · Computer Science 2007-05-23 Pascal Hitzler , Matthias Wendt

Stream computing is the use of multiple autonomic and parallel modules together with integrative processors at a higher level of abstraction to embody "intelligent" processing. The biological basis of this computing is sketched and the…

Artificial Intelligence · Computer Science 2008-01-10 Subhash Kak

Data Scientists leverage common sense reasoning and domain knowledge to understand and enrich data for building predictive models. In recent years, we have witnessed a surge in tools and techniques for {\em automated machine learning}.…

Artificial Intelligence · Computer Science 2022-05-18 Udayan Khurana , Kavitha Srinivas , Horst Samulowitz

Argumentation is a process of evaluating and comparing a set of arguments. A way to compare them consists in using a ranking-based semantics which rank-order arguments from the most to the least acceptable ones. Recently, a number of such…

Artificial Intelligence · Computer Science 2016-02-03 Elise Bonzon , Jérôme Delobelle , Sébastien Konieczny , Nicolas Maudet

This note clarifies the concept of syntax and semantics and their relationships. Today, a lot of confusion arises from the fact that the word "semantics" is used in different meanings. We discuss a general approach at defining semantics…

Software Engineering · Computer Science 2014-09-25 Bernhard Rumpe

An increasing number of use cases require a timely extraction of non-trivial knowledge from semantically annotated data streams, especially on the Web and for the Internet of Things (IoT). Often, this extraction requires expressive…

Logic in Computer Science · Computer Science 2017-07-31 Hamid R. Bazoobandi , Harald Beck , Jacopo Urbani

The following work addresses the problem of frameworks for data stream processing that can be used to evaluate the solutions in an environment that resembles real-world applications. The definition of structured frameworks stems from a need…

Machine Learning · Computer Science 2025-09-30 Joanna Komorniczak , Paweł Ksieniewicz , Paweł Zyblewski

Based on integrated infrastructure of resource sharing and computing in distributed environment, cloud computing involves the provision of dynamically scalable and provides virtualized resources as services over the Internet. These…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-05-21 Wei Yu , Junpeng Chen

Advances in machine learning technology have enabled real-time extraction of semantic information in signals which can revolutionize signal processing techniques and improve their performance significantly for the next generation of…

Signal Processing · Electrical Eng. & Systems 2021-09-27 Mert Kalfa , Mehmetcan Gok , Arda Atalik , Busra Tegin , Tolga M. Duman , Orhan Arikan

Typically, for analysing and modelling social phenomena, networks are a convenient framework that allows for the representation of the interconnectivity of individuals. These networks are often considered transmission structures for…

Social and Information Networks · Computer Science 2025-03-31 Damian Serwata , Mateusz Nurek , Radoslaw Michalski

The shift toward IoT-enabled, sensor-driven systems has transformed how operational data is generated, favoring continuous, real-time event streams (ES) over static event logs. This evolution presents new challenges for Streaming Process…

Number of connected devices is steadily increasing and these devices continuously generate data streams. Real-time processing of data streams is arousing interest despite many challenges. Clustering is one of the most suitable methods for…

Machine Learning · Computer Science 2020-07-22 Alaettin Zubaroğlu , Volkan Atalay

Reasoning is a fundamental substrate for solving novel and complex problems. Deliberate efforts in learning and developing frameworks around System 2 reasoning have made great strides, yet problems of sufficient complexity remain largely…

Computation and Language · Computer Science 2024-10-18 Matthew Ho , Vincent Zhu , Xiaoyin Chen , Moksh Jain , Nikolay Malkin , Edwin Zhang

In this paper, we propose a fresh perspective on argumentation semantics, to view them as a relational database. It offers encapsulation of the underlying argumentation graph, and allows us to understand argumentation semantics under a…

Artificial Intelligence · Computer Science 2021-04-27 Ryuta Arisaka , Takayuki Ito

The paper investigates the relative expressiveness of two logic-based languages for reasoning over streams, namely LARS Programs -- the language of the Logic-based framework for Analytic Reasoning over Streams called LARS -- and LDSR -- the…

Artificial Intelligence · Computer Science 2022-08-29 Nicola Leone , Marco Manna , Maria Concetta Morelli , Simona Perri

Data stream learning has been largely studied for extracting knowledge structures from continuous and rapid data records. In the semantic Web, data is interpreted in ontologies and its ordered sequence is represented as an ontology stream.…

Artificial Intelligence · Computer Science 2017-04-26 Freddy Lecue , Jiaoyan Chen , Jeff Pan , Huajun Chen

Reasoning over semantically annotated data is an emerging trend in stream processing aiming to produce sound and complete answers to a set of continuous queries. It usually comes at the cost of finding a trade-off between data throughput…

Databases · Computer Science 2017-08-23 Xiangnan Ren , Olivier Curé , Hubert Naacke , Li Ke